摘要
多个构件的组合可以解决单个构件的行为不能完全满足用户需求的问题。构件组合的关键是检查组合后复合构件的行为是否完全满足用户的需求。针对上述问题,提出一个基于行为的构件组合方法。该方法采用具有终止状态的接口自动机描述构件行为和用户需求。为了检查组合后复合构件的行为是否满足用户需求,提出基于行为映射图的组合存在性检查方法,给出从复合构件中提取用户所需行为的方法。
If the individual component can not completely meet users＇ needs, the method of components composition can be used to solve this problem. Checking whether the behaviors of combined component completely meet users＇ needs is a key problem of components composition. Aiming at this problem, components composition approach based on behavior is proposed. It uses interface automaton to describe the behavior of components. To check whether the behaviors of combined component meet the users＇ needs, a check method of composition existence based on behavior mapping graph is proposed. It gives the method of extracting users＇ needs from the combined component.
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第15期41-43,46,共4页
Computer Engineering
基金
国家自然科学基金资助项目(60673025)
国家"863"计划基金资助项目(2006AA04Z150
2008AA04Z101)
山东省自然科学基金资助项目(2007ZRA10003)
山东省科学技术发展计划基金资助项目(2008GG10004010)
关键词
接口自动机
构件组合
行为映射图
interface automaton
components composition
behavior mapping graph
