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

Research on Pi-calculus-based behavioral compatibility of components

作　　者：赵春波[1] 吴卿[1] 胡维华[1] 

机构地区：[1]杭州电子科技大学计算机学院,杭州310018

出　　处：《计算机应用研究》2010年第2期537-540,共4页Application Research of Computers

基　　金：国家自然科学基金资助项目(60703088)

摘　　要：构件行为的兼容性分析是研究构件动态交互过程中的重要问题,其研究结果可应用于构件替换、迁移、动态自适应演化等研究。为了保证构件在替换或组合之后系统仍能正常稳定运行,利用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.

关 键 词：PI演算 构件行为 行为交互 兼容性 兼容度 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]