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

Vol. 27 No.2 第 27 卷第 2 期 外算机应用研究 2010 年2 月 Application Research of Computers Feb. 2010 基于 Pi 演算的构件行为兼容性研究* 赵春波，吴卿，胡维华 (杭州电子科技大学计算机学院，杭州 31∞18) 摘 要:构件行为的兼容性分析是研究构件动态交互过程中的重要问题，其研究结果可应用于构件替换、迁移、 动态自适应演化等研究。为了保证构件在替换或组合之后系统仍能正常稳定运行，利用Pi ì寅算对构件行为进 行建模，并对多个构件行为间的兼容性进行验证，提出了绝对兼容、相对兼容等理论，并运用兼容度来判定构件 行为兼容性强弱，且通过实例进行分析说明。 关键词: Pii寅算:构件行为:行为交互;兼容性;兼容度 中图分类号:T凹11 文献标志码:A 文章编号: 1∞1-3695(2010)02-0537-04 doi: 10. 3969/j. issn. 1∞1 剖95.2010.02.037 Research on Pi -calcuhls-based behavíoral compatíbílíty of components ZHAO Chun-bo , WU Qing , HU Wei-hua ( Cnllege 01 Co.呻Uler， Ha略统ou Dian.zi Uni阳Jity ， Ha咆动ou 31∞18 ， China.) Abstract: Making research on behavioral compatibility of components is an important issue when studing the dynamic interac- tion of them.ηle research result could be applied to the research of component replacement , migration , dynamic adaptive evo国 lution and 50 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 四me definitions , such as absolute compatibility , relative compatibility and compatible degree which could be used ω judge the compatibility 由ength. At 1脯， made a concrete example to analy盹 the behavioral compatibility of com阴阳nts. Key words: Pi-calculus; component behavior; behavioral interaction; compatibility; compatible degree 行为兼容性的强弱将其划分为绝对兼容与相对兼容，前者要求 。 引言