基于Pi演算的构件行为兼容性研究

Research on Pi-calculus-based behavioral compatibility of components

构件行为的兼容性分析是研究构件动态交互过程中的重要问题,其研究结果可应用于构件替换、迁移、动态自适应演化等研究。为了保证构件在替换或组合之后系统仍能正常稳定运行,利用Pi演算对构件行为进行建模,并对多个构件行为间的兼容性进行验证,提出了绝对兼容、相对兼容等理论,并运用兼容度来判定构件行为兼容性强弱,且通过实例进行分析说明。

Making research on behavioral compatibility of components is an important issue when studing the dynamic interaction of them. The research result could be applied to the research of component replacement, migration, dynamic adaptive evolution and so on. In order to ensure the stability of the whole system after replacement or combination of component,this paper used Pi-calculus to model the component behavior, and verified the compatibility between two component behaviors. Besides, gave some definitions, such as absolute compatibility, relative compatibility and compatible degree which could be used to judge the compatibility strength. At last, made a concrete example to analyse the behavioral compatibility of components.