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/).

Download article (PDF)

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  -