构件组合的一致性验证和冗余行为去除  

Consistency Verification and Redundancy Behavior Removal of Component Composition

作　　者：杨春霞[1] 王映辉[1] 王宏涛[2] 

机构地区：[1]西安理工大学计算机科学与工程学院,西安710048 [2]西安理工大学印刷包装工程学院,西安710048

出　　处：《计算机工程》2010年第24期54-56,共3页Computer Engineering

基　　金：陕西省科技基金资助项目(2007F51;2008K4-11);西安市创新支持计划基金资助重点项目(XY080030)

摘　　要：构件组合的一致性验证和冗余行为的去除是基于构件的软件开发领域的重要问题。基于此,通过把组合接口自动机看作从初始状态出发,经过由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.

关 键 词：基于构件的软件开发 接口自动机 非法状态 一致性验证 冗余行为 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]