面向服务体系结构连接器规约及其验证.pdfVIP

第19卷 第8期 电子设计工程 2011年4月 V01．19 No．8 Electronic Design Engineering Apr．2011 面向服务体系结构的连接器规约及其验证 曹晟I2。胡瑞敏1 (1．武汉大学国家多媒体软件工程中心，湖北武汉130079；2．中国电信湖北分公司湖北武汉430023) 摘要：连接器建模是软件体系结构设计中研究的重要问题之一。同样，考虑到面向服务体系结构松散耦合的特性，对 其所涉及的连接独立于服务的设计进行规约也是一个关键问题。本文将SOA中的服务连接抽象为面向服务设计中 的第一类实体—．面向服务体系结构的连接器。给出了SOA的连接器模型的规约，并采用竹演算作为文中方法的形式 化基础以实现对其特性的分析与推理。结合实例给出了SOA连接器的连接语义。并定义了一系列操作原语以规约 SOA中与连接器相关的动态重配置和