论文部分内容阅读
连接器建模是软件体系结构设计中研究的重要问题之一。同样，考虑到面向服务体系结构松散耦合的特性．对其所涉及的连接独立于服务的设计进行规约也是一个关键问题。本文将SOA中的服务连接抽象为面向服务设计中的第一类实体——面向服务体系结构的连接器。给出了SOA的连接器模型的规约。并采用订演算作为文中方法的形式化基础以实现对其特性的分析与推理。结合实例给出了SOA连接器的连接语义，并定义了一系列操作原语以规约SOA中与连接器相关的动态重配置和连接器组合。同时，文章用实例展示了文中方法的应用。最后，利用π演算的等价理论