【作者】 张秀国；

【导师】 张维石；

【作者基本信息】 大连海事大学 ， 交通信息工程及控制， 2006， 博士

【摘要】 面向服务的体系结构(Service-Oriented Architecture，SOA)是一种新的分布式应用程序体系结构，它是构件重用技术和分布式技术发展的结果，业界提出将面向服务的体系结构作为软件体系结构下一个发展阶段来帮助IT组织应对所面临的越来越多的复杂性挑战。在这种体系结构中，所有功能都定义为独立的服务，这些服务带有定义明确的可调用接口，可以以预先定义的顺序调用这些服务来组装业务应用。服务是平台独立的、松散耦合的、具有良好定义功能的、分布在Internet网络上的软件模块。服务计算(Service-Oriented Computing，SOC)是一种新的计算范型，它使用服务作为基础构造去支持快速、低成本软件开发和简易组装等分布式应用。总结当前主流的服务计算模型，其服务计算方法主要分为语法方法、语义方法和形式化方法三类，其中语法方法强调的是服务组装中的工作流过程，语义方法旨在自动化服务组装全过程，形式化方法侧重于服务组装的正确性验证。 本文在对当前主流服务计算方法进行分析比较的基础上提出了一个基于过程网络的服务协同计算模型CCM。一方面，该模型继承了语法方法强调工作流组装过程的优点，采用基于工作流的语法方法来描述和组装服务；另一方面，该模型借用了形式化方法在服务组装正确性验证方面的优势，采用CCS进程代数提供的形式化验证机制来验证服务组装的正确性。Kahn过程网络(KPN)模型是一个基于数据流的计算模型，用于描述通过数据流进行通信的一系列协作过程。KPN的基本属性，包括并发性、可调度性、确定性、层级性和可实现性使它成为一个理想的服务计算理论模型，但KPN在非确定性系统建模方面的不足限制了它的实际应用，同时该模型仅提供了两个通信事件和一个计算事件，三个事件不足以描述复杂的服务交互。本文针对KPN过程网络模型在非确定性事件建模方面以及在服务交互建模方面的不足，增加了不确定性选择结构，扩充了KPN的三个基本事件，使之更适合建立复杂的服务交互模型。 在给出的CCM服务协同计算模型的基础上，本文设计了CCML服务协同计算建模语言并描述了其操作语义。CCML语言是一种语法层次的服务组装描述语更多还原

【Abstract】 Recently, Service-Oriented Architecture (SOA) has drawn a lot of attention. It is a kind of new distributed application architecture and component technology and will be promoted in the industry as the next evolutionary step in software architecture to help IT organizations meet their ever more complex set of challenges. In this architecture, all functions are defined as independent services with well-defined interfaces which can be called in a predefined sequence to form business processes. Services can be seen as platform-independent, loosely-coupled software modules with well defined functionality that are distributed over the Internet. Service-Oriented Computing (SOC) is a new computing paradigm that utilizes services as the basic constructs to support the development of rapid, low-cost and easy composition of distributed applications even in heterogeneous environments. According to computing approaches, the current service computing models are categorized as syntactic approach, semantic approach and formal approach. Syntactic approach emphasises the workflow process during composition. Semantic approach aims at fully automating all the stages of the Web services lifecycle. Formal approach is effective at verifying service composition.This paper proposes a CCM called process network based cooperative computation model of services. On the one hand, CCM adopts syntactic approach to describe and compose services, it inherits the advantage of syntactic approach in describing workflow composition process; On the other hand, CCM employs the advantage of formal approach in verifying service composition and adopts formal verification mechanism provided by CCS process algebra to verify correctness of service composition. KPN process network (KPN) is a model of computation based on dataflow and commonly used for describing a set of cooperative processes that communicate with each other using FIFO buffered channel. KPN’s basic properties, including concurrency, scheduling, determinacy, hierarchy and executable make it a perfect theoretic model for service computing. But KPN’s inadequateness in modeling更多还原