基于Pi演算的构件演化研究.pdfVIP

电 子 学 报 VoI．32 No．12A 第 12A期 ACTA Ⅱ 姗 0NICA SINICA Dec． 20o4 20O4年 l2月 基于Pi演算的构件演化研究 龚洪泉，赵文耘，徐如志，钱乐秋 (复旦大学计算机科学与工程系，上海 200433) 摘 要： 确保构件系统的一致性是构件演化的根本 目标．根据构件交互过程，借鉴Pi演算的类型系统和进程构 造方法，提出构件交互的类型系统和基于交互的构件模型．为确保构件服务端 口和交互通道的正确行为，给出服务的 端 口类型和通道类型．以此为基础，结合Pi演算中良类型的思想 ，提出一致性构件系统的概念．然后 ，结合构件演化的 特点，给出能保持系统一致性的构件静态演化和动态演化规则 ．最后，给出非一致演化的恢复方法． 关键词： 构件系统维护；构件交互；构件演化；Pi演算 中图分类号： TP311 文献标识码 ： A 文章编号： 0372—2112(2OO4)12A-238—05 A ResearchonPi—CalculusBasedComponentEvolution GONGHong-quan，ZHAOWen—yun，XURu—zhi，QIANLe—qiu (姊 ．ofComputer ＆ 驴咖 ，FudanUniversity，Shanghai200433，‰ ) Ab蚰 d： PI rvati0nofconsistencyistheultimatecriterionofcomponentevolution．Withcomponentinteractionprocesses andinspiredbytypingsystem andprocessconstructionmethodsofPi—calculus，componentinteractiontypingsystem andinteraction— basedetmaptmentmodela proo,~ ．ToellsUi~correctinteractionbehaviorsofcomponentportsandchannels，serviceporttypeand channeltypeareintroduced．Atthesillnetime，consistentcomponentsystem isdefinedbasedonthenotionofwell—tyl~dne88inPi—cal— cullIs．Then，basedonthepeculiarityofcom ponentevolution，staticanddynamicevolutionrulesa陀 pfop0sed．Atlast，methodforre— coveringfrom inconsistentstateisintroduced． eywD-ds： componentsystemmainterumee；componentinteraction；componentevolution；Pi—calculus 上，提出一致性构件系统的概念．然后，结合构件演化的特点， 1 引言 给出构件静态演化和动态演化规则．最后，对非一致演化所带 基于构件的软件工程 (CBSE)可有效地提高软件开发质 来的影响进行分析，并提出恢复系统一致性的方法． 量和效率，降低开发及维护成本．构件演化是构件系统维护的