构件演化的交互行为一致性研究

Research on Interactive Behavior's Consistency of Component Evolution

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

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 tulfill 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.