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.