Web Service Composition Modeling Based on Pi Calculus
- DOI
- 10.2991/nceece-15.2016.220How to use a DOI?
- Keywords
- Pi Calculus; Web Service; Service Composition; Composition Validation
- Abstract
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.
- Copyright
- © 2016, the Authors. Published by Atlantis Press.
- Open Access
- This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).
Cite this article
TY - CONF AU - Yan Yang AU - Rong Li AU - Sai Wang PY - 2015/12 DA - 2015/12 TI - Web Service Composition Modeling Based on Pi Calculus BT - Proceedings of the 2015 4th National Conference on Electrical, Electronics and Computer Engineering PB - Atlantis Press SP - 1248 EP - 1252 SN - 2352-5401 UR - https://doi.org/10.2991/nceece-15.2016.220 DO - 10.2991/nceece-15.2016.220 ID - Yang2015/12 ER -