Substitution Analysis of Web Service Composition via Process Algebra
Liu Fang · Rare & Special e-Zone (The Hong Kong University of Science and Technology) · 2007
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.