Web Service Composition Modeling Based on Pi Calculus
Yan Yang, Rong Li, Sai Wang · 2016
Web service composition has been an important research topic in the field of service computing.Through the web service process modeling and the formal verification of the composition, we make sure the composite services meet the designer's anticipated targets.Pi calculus is process algebra which is suitable to describe the dynamic Topological structure of concurrent systems.In this paper we introduce the basic grammar of Pi calculus, give a formal description based on Pi calculus for BPEL4WS concept mapping, provide a formal model to check and validate the composition modeling.And finally the validation process of the models is illustrated through examples.