摘要：

构件演化前后的交互行为执行序列不一致，会导致系统行为偏离系统的功能目标。针对该问题，基于进程代数描述构件间的交互行为，归纳交互行为一致性的定义，给出交互行为一致性所需满足的约束条件，提出一种保证交互行为一致性的方法。实例分析结果证明了该方法的可行性和正确性。

关键词: 构件, 演化, 交互行为一致性, 进程代数, 行为迹

Abstract:

The inconsistency of interactive behavior’s sequence before and after component evolution will cause system behavior deviates from its goal. Interactive behavior between components is described based on Process Algebra(PA) and interactive behavior’s consistency is defined. The restriction which interactive behavior’s consistency will fulfill is epurated, and an approach to ensure consistency of interactive behavior is presented. An example is presented to illustrate the feasibility and validity of the approach.

Key words: component, evolution, interactive behavior’s consistency, Process Algebra(PA), behavior trace

中图分类号: 

• TP311.5