基于行为自动机的构件可替换性分析与验证

• 作者: 任洪敏 宗宇伟 张敬周 朱三元 钱乐秋
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 基于构件的软件工程 构件可替换性 交互兼容性 构件行为自动机 软件演化
• 年，卷（期）: 2010,（11）
• 页码范围: 2768-2781
• 分类号: TP311
• 字数: 11666字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2010.03780

摘要

在交互协议层面讨论构件的可替换性,采用非确定性有限状态自动机(nondeterministic finite automata,简称NFA)来建模构件的交互行为,在保证交互兼容性的前提下,提出了按构件环境的透明度和构件交互的变化度两维划分的可替换性模型,给出了4类可替换性的形式化定义及其之间的关系,并基于NFA理论给出了相关的验证算法.另外,该模型以构件的替换行为而不是其全部行为作为构件替换的参照,从而使替换时有更多的候选构件可供使用,提高了构件复用的几率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱三元		3	156	3.0	3.0
3	钱乐秋	复旦大学计算机与信息技术系	61	1658	21.0	39.0
4	宗宇伟		10	103	6.0	10.0
5	张敬周		11	189	6.0	11.0
8	任洪敏	上海海事大学计算机科学与技术系	32	122	7.0	8.0