Chinese Journal of Computers   Full Text
Title	Substitution Analysis of Web Service Composition via Process Algebra
Authors	LIU Fang-Fang SHI Yu-Liang ZHANG Liang SHI Bo-Le
Address	(Department of Computing and Information Technology, Fudan University, Shanghai 200433)
Year	2007
Issue	No.11(2033—2039)
Abstract &   Background	Abstract Web services composition is a key issue in Web service research area. Substitution of service is closely related with composition and important to robustness of service composition. In this paper, we use process algebra as formalism foundation modeling and specifying Web services and reasoning on behavioral features of Web services composition. We analyze some cases that have effects on design and implementation of composition. Upon that, and based on definition of composition, we study substitution. As to the problem of how to substitute a component Web service, we present a relation. Any new selected Web services can substitute old component service independent of context and take part in composition successfully in the case that they satisfy criteria of this relation. keywords Web service; composition; substitution; process algebra background This paper is supported by the National Basic Research Program(973 Program) of China under grant No.2005CB321905. This project aims at the designing a model to improve robustness of the system and developing some algorithms that are based on the model. And it is mainly focuses on this field: Survivability of service composition and recovery of business process which is composed by different component services. This paper focuses on the substitution of service in the service composition. It gives a relation to guarantee the correctness of the composition after the substitution. And the algorithm is also provided.