The Syntactic and Semantic Model of Web Services Composition Based Category

Current Web services are distinguished syntactic and semantic service composition. The syntactic composition models address only the syntactic aspects of services, and lack the profile information of input and output state, so can not adapt to a changing environment without human intervention. The semantic composition models, in addition to functional information, modeling the pre- and post-conditions of processes so that the evolution of the domain can be logically inferred. This paper proposes an idea of integrating the two kinds of models into a coherent whole in the same categorical form, demonstrates necessity and feasibility, and gives a categorical formal description of syntactic and semantic composition integration model, and suggests a prototype based on category theory and ML functional programming language.