Categorical Description and Checking for Web Services Composition Model
Web service composition, as a new technology to fulfill the users 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.
Category Formal method Services composition Model checking Reachable tree
Zhang xinlin
Department of Computer Science and Technology Hunan University of Science and Technology YongZhou, Hunan, China,425100
国际会议
杭州
英文
206-210
2011-10-28（万方平台首次上网日期，不代表论文的发表时间）