面向服务体系结构的连接器规约及其验证 specifying and verifying service-oriented architectural connectors.pdfVIP

第19卷 第8期 电子设计工程 2011年4月 V01．19 No．8 Electronic Design Engineering Apr．2011 面向服务体系结构的连接器规约及其验证 曹晟I2。胡瑞敏1 (1．武汉大学国家多媒体软件工程中心，湖北武汉130079；2．中国电信湖北分公司湖北武汉430023) 摘要：连接器建模是软件体系结构设计中研究的重要问题之一。同样，考虑到面向服务体系结构松散耦合的特性，对 其所涉及的连接独立于服务的设计进行规约也是一个关键问题。本文将SOA中的服务连接抽象为面向服务设计中 的第一类实体—．面向服务体系结构的连接器。给出了SOA的连接器模型的规约，并采用竹演算作为文中方法的形式 化基础以实现对其特性的分析与推理。结合实例给出了SOA连接器的连接语义。并定义了一系列操作原语以规约 SOA中与连接器相关的动态重配置和连接器组合。同时。文章用实例展示了文中方法的应用。最后，利用叮r演算的等 价理论及其形式化工具验证了文中方法的正确性。 关键词：面向服务体系结构；连接器；连接器组合；ff演算 中图分类号：TP311 文献标识码：A and Service-OrientedArchitecturalconnectors Specifyingverifying CAO Rui-minl Shen91。2。HU Resemch Multimedia (1．NationalEngineeringCenterfor University。Wuhan430079，China； Software，Wuhan 2．Hubei Telecom，Wuhan430023，China) branch旷China Abstract：Architecturalconnector isoneofthemost insoftwarearchitecture modeling importantproblems design． forService-Oriented criticalissueistodescribeitsconnectionsinconsideration Similarly，as Architecture(SOA)design，a ofitsloose sametime。 1r—calculusis astheformalbasisof inorderto ire．．删sonaboutthe ofthe and adopted 0111approachanalyze keypmporties model．Theconnectionsemanticis andsome a弛definedto the given operationalprimitives capturedynamic relatedtoconnectorsaswell鹊connector and theconnectormodel reconfignrations