基于构件的服务模型形式化语义描述

Formal semantics of component-based service specification

为解决服务系统描述和构建过程中服务的组合和验证等方面的问题,以范畴理论为基础,引入进程代数,为服务系统的架构模型提出了一种形式化的语义描述方法.整个服务结构模型通过由服务标志和标志态射构成的范畴图表来描述,态射用来表示服务规范之间的关系,余极限用来描述服务的层次组合.以此为基础,进一步从服务端口、结构和行为等方面对服务的组合、分解以及精化过程所中应保持的语义特性进行了分析.实例研究表明:该框架不仅能在抽象层次上支持服务系统的建模和分析,而且还可通过映射抽象模型到实现技术来支持服务组合,可以很好地分析需求分解和服务组合的正确性,可用于指导服务系统的描述和构建.

To resolve the problems of service composition and verification of the process of service system description and construction,a semantic description framework for component-based service specification was proposed based on category theory and process algebras.The structural semantics of service-oriented architecture was described within category diagrams,and the relations between service specifications were formally described by morphisms,and service composition was represented by colimit.On this basis,the semantic properties which should be preserved through the process of service composition,decomposition and refinement,were further analyzed and discussed from the viewpoint of service port,structure and behavior.The application research shows that,the framework can not only support service system modeling and analysis on the level of abstraction,but also support service composition by mapping abstract specifications to implemental techniques.It can be used to make a good analysis of the correctness of requirement decomposition and services composition,and thus can be used as a new guidance for the description and construction of service system.