基于行为的构件组合及存在性检查

• 作者: 初佃辉 孟凡超 战德臣
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 接口自动机 构件组合 行为映射图
• 年，卷（期）: 2009,（15）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 41-43,46
• 页数: 4页
• 分类号: TP311
• 字数: 5018字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2009.15.014

摘要

多个构件的组合可以解决单个构件的行为不能完全满足用户需求的问题.构件组合的关键是检查组合后复合构件的行为是否完全满足用户的需求.针对上述问题,提出一个基于行为的构件组合方法.该方法采用具有终止状态的接口自动机描述构件行为和用户需求.为了检查组合后复合构件的行为是否满足用户需求,提出基十行为映射图的组合存在性检查方法,给出从复合构件中提取用户所需行为的方法.