一种面向构件的行为语义模型及其应用研究.pdfVIP

第29卷第5期 计 算 机 应 用 研 究 Vo1．29No．5 2012年 5月 ApplicationResearchofComputers Mav2012 一 种面 向构件的行为语义模型及其应用研究 岳 洋 。，曾广平 (1．北京科技大学计算机与通信工程学院，北京 100083；2．武警北京指挥学院，北京 100012) 摘 要：以SOFA／CDL作为刻画动态行为的形式化语义基础，从交互语义层面入手 ，提 出面向SMC(softMan component)构件的行为描述语言(BDL)；同时，针对 CDL在行为刻画上的不足进行扩展，给出了针对SMC的行 为描述框架。在此基础上，选取典型的构件动态替换作为应用背景，得到基于BDL表达的构件上下文无关替换 定义及其判定定理 ，验证 了上述模型在构件行为语义抽象中的有效性和正确性。 关键词 ：构件 ；动态行为；行为描述语言；替换性 中图分类号 ：TP311．5 文献标志码 ：A 文章编号：1001—3695(2012)05—1751—05 doi：10．3969／j．issn．1001—3695．2012．05．040 Researchonbehaviorsemanticmodelingorientedcomponentanditsapplication YUE Yang一．ZENG Guang—ping (1SchoolofComputerCommMicationEngineering，UniversityofScience＆TechnologyBeing，Beijing100083，China；2．BejiingCom— mandCollegeofCAPF，Bejiing100012，China) Abstract：TakingtheSOFA／CDLasthebaseofformalizedsemanticstodepictcomponent’sdynamicbehavior，throughanal— ysisfortheinteractionsemanticsamongcomponents，thispaperputforwardabehaviordescriptionlanguage(BDL)ofrthe SMC (soflMancomponent)．AnditproposedabehaviordescriptionframeworktoextendsomepropertiesinCDLofroverco— mingtheweakness．Basedonthis，bychoosingtypicalcomponentsubstitutionastheapplicationbackground，thispapergot thedefinitionsandtheorem relatedtocontext—freesubstitutionexpressedbyBDLandcertifiedthevalidityandcorrectnessof themodelworkingondynamicbehaviorsemanticabstraction． Keywords：component；dynamicbehavior；behaviordescriptionlanguage；substitution 现阶段，动态 、开放、可演化 的复杂软件系统研究受到 替换性分析框架。此外，Allen123采用CSP、Arbaba31运用抽象 CBSE(componentbasedsoftwareengineering)领域 的广泛关 行为类型 (abstractbehaviortype)、Magee等人 基于 演算、 注 l2』。从现有的技术角度来看，软件构件及其技术体系仍是 Vallecillo等人 利用 sessiontype语言等多种形式化机制，分 构造开放应用的主流方案