-
题名基于行为自动机的构件可替换性分析与验证
被引量：7
- 1
-
-
作者
张敬周
任洪敏
宗宇伟
钱乐秋
朱三元
-
机构
上海计算机软件技术开发中心
复旦大学计算机与信息技术系
上海软件构件化服务中心
上海海事大学计算机科学与技术系
-
出处
《软件学报》
EI
CSCD
北大核心
2010年第11期2768-2781,共14页
-
基金
国家高技术研究发展计划(863)No.2006AA012191
上海市科技计划No.07DZ22924~~
-
文摘
在交互协议层面讨论构件的可替换性,采用非确定性有限状态自动机(nondeterministic finite automata,简称NFA)来建模构件的交互行为,在保证交互兼容性的前提下,提出了按构件环境的透明度和构件交互的变化度两维划分的可替换性模型,给出了4类可替换性的形式化定义及其之间的关系,并基于NFA理论给出了相关的验证算法.另外,该模型以构件的替换行为而不是其全部行为作为构件替换的参照,从而使替换时有更多的候选构件可供使用,提高了构件复用的几率.
-
关键词
基于构件的软件工程
构件可替换性
交互兼容性
构件行为自动机
软件演化
-
Keywords
component-based software engineering； component substitutability； interaction compatibility； component behavior automata； software evolving；
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
