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

基于Pi演算构件行为兼容性研究 　　摘 要:构件行为的兼容性分析是研究构件动态交互过程中的重要问题,其研究结果可应用于构件替换、迁移、动态自适应演化等研究。为了保证构件在替换或组合之后系统仍能正常稳定运行,利用Pi演算对构件行为进行建模,并对多个构件行为间的兼容性进行验证,提出了绝对兼容、相对兼容等理论,并运用兼容度来判定构件行为兼容性强弱,且通过实例进行分析说明。 　　关键词:Pi演算; 构件行为; 行为交互; 兼容性; 兼容度 　　中图分类号:TP311 　　文献标志码:A 　　 　　文章编号:1001-3695(2010)02-0537-04 　　doi:10.3969/j.issn.1001-3695.2010.02.037 　　 　　Research on Pi-calculus-based behavioral compatibility of components 　　 　　ZHAO Chun-bo, WU Qing, HU Wei-hua 　　 　　(College of Computer, Hangzhou Dianzi University, Hangzhou 310018, China) 　　 　　Abstract: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. 　　Key words:Pi-calculus; component behavior; behavioral interaction; compatibility; compatible degree 　　 　　0 引言 　　目前,构件技术[1]已经成为软件产业发展的关键技术之一,推行基于构件的软件开发技术是当前软件生产的世界潮流。其中,对于构件动态交互行为模型以及构件动态自适应组装与演化的研究在基于构件的软件开发领域中十分活跃。近年来,对于构件行为的形式化描述,以及在构件交互行为的一致性、相容性[2]等方面取得了一定的研究成果。仲辉等人[3]通过运用Pi演算来对行为进行形式化建模,但却无法为两个行为之间的等价性验证提供支持。申利民等人[4]对构件动态演化行为一致性方面进行了一些研究,但是不能保证构件组合内部流程结构是否正确,交互过程中是否存在死锁或不可达状态,对构件行为兼容性的验证工作存在不足。在对构件进行增加、删除、替换、重组之后,为了确保系统的正常稳定运行,提高构件动态演化的自适应性,必须保证构件之间动态交互行为的兼容性。那些交互行为兼容性不高的构件很有可能导致整个系统出错或崩溃等后果。针对这一问题,本文着重阐述了构件实体间交互行为的兼容性验证。 　　本文的主要工作就是在汲取现有理论研究成果的基础上,首先基于Pi演算这一进程代数来形式化地描述与定义了构件行为以及构件交互行为[5~7],之后给出了组装交互的两构件在请求/提供接口上行为兼容的验证规则及定理。根据构件交互行为兼容性的强弱将其划分为绝对兼容与相对兼容,前者要求交互行为能够在每条可能的交互路径上均能正常完成任务,后者要求至少存在一条可行交互路径。在此基础上,基于