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

摘要：

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

关键词：接口自动机、构件组合、行为映射图

所属期刊栏目：35

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60673025;国家"863"计划基金资助项目2006AA04Z150,2008AA042101;山东省自然科学基金资助项目2007ZRA10003;山东省科学技术发展计划基金资助项目2008GG10004010

在线出版日期：2009-08-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：41-43,46