摘要:
构件组合的一致性验证和冗余行为的去除是基于构件的软件开发领域的重要问题。基于此,通过把组合接口自动机看作从初始状态出发,经过由2个构件的交替动作重新回到初始状态的过程,用更直观的方法表示构件组合中的非法状态。以场景规范的形式化方法为基础,利用接口自动机的过程性质给出构件组合的一致性检查的算法及去除冗余行为的方法。
关键词:
基于构件的软件开发,
接口自动机,
非法状态,
一致性验证,
冗余行为
Abstract:
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 be 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.
Key words:
Component Based Software Development(CBSD),
interface automata,
illegal state,
consistency verification,
redundancy behavior
中图分类号:
杨春霞, 王映辉, 王宏涛. 构件组合的一致性验证和冗余行为去除[J]. 计算机工程, 2010, 36(24): 54-56.
YANG Chun-Xia, WANG Yang-Hui, WANG Hong-Chao. Consistency Verification and Redundancy Behavior Removal of Component Composition[J]. Computer Engineering, 2010, 36(24): 54-56.