The Design And Implementation Of Coarse-grained Service Composition And Verification Tool

As a new research field in service computing area, Coarse-grained Service has got more and more attention. The emergence and application of Coarse-grained Service has enhanced the service sharing, reusing and integration in the Internet. It also provides a new effective means for users to quickly build the complex systems. In addition to the static syntax and semantic information of the atomic service and small-gained service, such as operation, input, output and messages, etc., but also contains dynamic behavior properties, including internal control flow, data flow, interaction protocols and state transition, etc. Therefor the interaction between Coarse-grained Services or that between Coarse-grained Service and atomic service is much more complex in service composition process as well as in the initial modeling process. As a result, in order to be widely recognized and applied, it is crucial to study the modeling, composition, verification and adaptation of the Coarse-grained Service and propose proper development environment and runtime environment for Coarse-grained Service. Based on the research of the Coarse-grained Service at home and abroad, this paper carries out a preliminary research of Coarse-grained Service, in the aspects of language description, modeling and vertification.This paper proposes a Coarse-grained Service language CGSL. The language not only can describe the information about the function and interface of the Coarse-grained Service, but also can describe the state and state transition during the executing process, as well as constraints and semantic reasoning information.This paper also proposes a Coarse-grained Service formalization model based on Petri Net (CGPN), which expresses the internal flow and the states of the Coarse-grained Service model. With the help of analysing methods of coverage graphs in Petri net and that based on matrix, the security and transition activity of CGPN can be verified. Thus, the security and performability in the internal flow of Coarse-grained Service model and the compatibility of simple interactions between Coarse-grained Services can be further verified.Finally, according to the requirements of the modeling and verification of the Coarse-grained Service, this paper proposes a prototype, system about Coarse-grained Service composition verification, including process modeling module, parameter mapping module, data flow browsing module, CGPN verification module and test module. The system is a convenient and intuitive Coarse-grained Service development tool which can be easily used.