论文部分内容阅读
构件组合的一致性验证和冗余行为的去除是基于构件的软件开发领域的重要问题。基于此，通过把组合接口自动机看作从初始状态出发，经过由2个构件的交替动作重新回到初始状态的过程，用更直观的方法表示构件组合中的非法状态。以场景规范的形式化方法为基础，利用接口自动机的过程性质给出构件组合的一致性检查的算法及去除冗余行为的方法。