Categorical Description and Checking for Web Services Composition Model

Web service composition, as a new technology to fulfill the user´s requirements using existing ones, has become a pop topic in the research of Service Oriented Architecture (SOA). Composition rules describe how to compose coherent global services, and the formal method is prefect to describe composition rules and check composition model. This paper proposes an approach to describing and checking Web services composition model based on the category theory, gives a categorical conception of Web service and the description of the services composition control structure, and suggests model choice method and a model generation arithmetic based category, and takes the order service business process as an example to build up a model and adopts the reachable tree method to check the properties of this model.