-
题名一种基于线性逻辑的构件组装方法研究
被引量：3
- 1
-
-
作者
谢兄
张维石
-
机构
大连海事大学计算机科学与技术学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2008年第5期797-800,共4页
-
基金
国家自然科学基金项目(60573087)资助
-
文摘
构件组装是基于构件的软件开发中的一个重要环节.本文利用线性逻辑描述了具有语义信息的构件结构,描述了独立于具体的计算环境、具有普遍适用性的三种构件组装关系,利用定理证明的方法,根据现存构件的描述和构件组装关系自动生成构件组装的方案,并从被适应的构件描述中推导出复合构件的描述,以提高对构件适应过程的描述和分析能力,为构件组装形式化分析、组装正确性的检验提供了保证,并列出了一些值得进一步研究的问题.
-
关键词
基于构件的软件工程
软件构件
构件组装
构件适应
形式化描述
-
Keywords
component-based software engineering
software component
component composition
component adaptatlon
formal specification
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名构件适应和组装的形式化语义描述
被引量：1
- 2
-
-
作者
谢兄
张维石
-
机构
大连海事大学计算机科学与技术学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2007年第21期36-39,45,共5页
-
基金
国家自然科学基金(the National Natural Science Foundation of China under Grant No.60573087)。
-
文摘
构件适应技术是基于构件的软件工程中一个很难解决的问题,分析了三种构件适应结构的应用条件,采用了形式化语义的方法描述和推导了与构件以及构件适应相关的问题,根据构件描述与应用需求描述动态地选择不同的适应层次来适应构件,从被适应的构件描述中推导出复合构件的描述,为构件适应的形式化分析、组装正确性检验提供了保证,并列出了一些值得进一步研究的问题。
-
关键词
基于构件的软件工程
软件构件
构件组装
构件适应
软件复用
形式化描述
-
Keywords
component -based software engineering
software component
component composition
component adaptation
software reuse
formal specification
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名软构件行为适应的Petri网方法研究
被引量：1
- 3
-
-
作者
谢兄
张维石
-
机构
大连海事大学计算机科学与技术学院
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2007年第A01期79-83,共5页
-
基金
国家自然科学基金(60573087)
-
文摘
构件适应技术是基于构件的软件工程中一个很难解决的问题。分析了软构件行为描述及行为关系,提出了构件行为的进程代数描述转换为Petri网描述的转换规则及转换算法,根据Petri网的同步距离性质计算交互的软构件行为之间的匹配关系,自动生成行为适配器的描述,提出了一种解决软构件交互过程中产生的行为不匹配问题的形式化方法,并列出了一些值得进一步研究的问题。
-
关键词
基于构件的软件工程
软构件
构件适应
形式化方法
PETRI网
-
Keywords
component-based software engineer
component
component adaptation
formal method
Petri Nets
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名智能家居平台构件适应与协同模型及形式化分析
- 4
-
-
作者
李爱萍
马俊伟
段利国
-
机构
太原理工大学计算机科学与技术学院
-
出处
《太原理工大学学报》
CAS
北大核心
2016年第2期212-217,共6页
-
基金
山西省科技攻关资助项目(工业):遗留软件再工程的研究与实现(20120321030)
太原理工大学校科技发展基金资助项目(2012L067)
-
文摘
以解决智能家居平台运行过程中的构件适应与协同问题为目的,保证设备独立性与数据一致性为特点,提出一种基于构件适应与协同的智能家居平台逻辑模型,对平台及各构件进行形式化描述与建模,并结合平台功能需求对模型性质进行分析与验证。实验表明,在本模型下平台构件的适应与协同满足不死锁、不中止、不发散的必要性质,且在并行处理多用户请求的条件下能够实现数据一致性与操作有效性。本研究对智能家居平台的研发与验证有一定意义。
-
关键词
智能家居平台
构件适应
构件协同
形式化
-
Keywords
sart home frameworks
component adaptation
component interaction
formal methods
-
分类号
TP399
[自动化与计算机技术—计算机应用技术]
-
-
题名一种基于多Agent适配器的构件重用方法(英文)
被引量：7
- 5
-
-
作者
迟忠先
阿不都.克里木
高永强
王忠
-
机构
大连理工大学计算机科学系
-
出处
《大连理工大学学报》
CAS
CSCD
北大核心
2002年第1期104-109,共6页
-
文摘
首先提出一种构件适应方法——通过为构件外挂适配器——来解决构件重用中的“接口匹配、消息处理、状态监控和环境模拟”等问题 .并采用多 Agent适配器来建立一个可适应机制 .然后讨论基于这种多 Agent适配器的构件适应技术的体系结构和建模方法 .
-
关键词
组合软件
构件重用
多agent适配器
可适应机制
构件适应方法
建模方法
-
Keywords
component software
modeling
adapter/component adaptation
agent
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
TP182
[自动化与计算机技术—计算机科学与技术]
-
-
题名通用构件行为适应方法研究
- 6
-
-
作者
谢兄
张维石
-
机构
大连海事大学信息科学技术学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2009年第10期1936-1939,共4页
-
基金
国家自然科学基金项目(60573087)资助
-
文摘
基于构件的软件工程中,构件行为适应是一个关键的问题.目的是为了解决构件交互过程中由于行为不兼容而引起的各种不匹配问题.给出了解决构件行为不匹配的一种通用的方法.该方法首先根据给定的构件接口的行为协议描述计算构件行为之间的同步关系,得到适配器的描述.然后在构件的同步产品中,利用死锁来检测具有同步行为关系的行为之间的不匹配.利用构件及适配器描述计算同步矢量产品的过程中,根据同步矢量来计算适配器的行为协议,适配器通过一对互补事件与被适应构件进行交互.适配器适应交互的构件行为,使得构件交互过程中没有死锁发生,实现对消息顺序的重新排序,解决了具有数据传递的构件行为之间的不匹配问题.最后,用一个实例对文中所述方法进行了说明.
-
关键词
构件行为适应
符号转换系统
同步矢量
适配器
无死锁
-
Keywords
component bahaviore adaptation
symbolic transition system
synchronous vector
adaptor
dead-lock free
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
