摘要
构件行为的兼容性分析是研究构件动态交互过程中的重要问题,其研究结果可应用于构件替换、迁移、动态自适应演化等研究。为了保证构件在替换或组合之后系统仍能正常稳定运行,利用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.
出处
《计算机应用研究》
CSCD
北大核心
2010年第2期537-540,共4页
Application Research of Computers
基金
国家自然科学基金资助项目(60703088)
关键词
PI演算
构件行为
行为交互
兼容性
兼容度
Pi-calculus
component behavior
behavioral interaction
compatibility
compatible degree