摘要
构件组合的一致性验证和冗余行为的去除是基于构件的软件开发领域的重要问题。基于此,通过把组合接口自动机看作从初始状态出发,经过由2个构件的交替动作重新回到初始状态的过程,用更直观的方法表示构件组合中的非法状态。以场景规范的形式化方法为基础,利用接口自动机的过程性质给出构件组合的一致性检查的算法及去除冗余行为的方法。
The consistency verification and removal of redundancy behavior of composite component is an important issue in the field of Component Based Software Development（CBSD）. The theory of interface automata is analyzed, and a more visualized presentation method of illegal state is presented by viewing composed component as a cycle process of initial state to itself. With scenario based requirement specification can always he modeled as sequence of events, digraph is used to model composed interface automata to give an algorithm of consistency verification. With the results of consistency checking, a method to remove redundancy behavior is also discussed.
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第24期54-56,共3页
Computer Engineering
基金
陕西省科技基金资助项目(2007F51
2008K4-11)
西安市创新支持计划基金资助重点项目(XY080030)
关键词
基于构件的软件开发
接口自动机
非法状态
一致性验证
冗余行为
Component Based Software Development（CBSD）
interface automata
illegal state
consistency verification
redundancy behavior
