Compatibility Verification of Web Service Composition Based on Pi-calculus

DOI

10.2991/jimet-15.2015.45How to use a DOI?

Keywords

Behavior Compatibility, Interactive Behavior, Pi-calculus, Web Service Composition.

Abstract

With the rapid development of web services, service computing is evolving into an important computing paradigm. One of the challenges in this evolution is how to ensure the correction of service composition. To verify the compatibility of composite service, we use pi-calculus to model the composite service process and present the related concepts and theorem of composition compatibility. Moreover, we propose an automate method to generate the process expression for increasing the verification efficiency.

Copyright

© 2015, 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  - Zhichun Jia
AU  - Xing Xing
PY  - 2015/12
DA  - 2015/12
TI  - Compatibility Verification of Web Service Composition Based on Pi-calculus
BT  - Proceedings of the 2015 Joint International Mechanical, Electronic and Information Technology Conference
PB  - Atlantis Press
SP  - 244
EP  - 248
SN  - 2352-538X
UR  - https://doi.org/10.2991/jimet-15.2015.45
DO  - 10.2991/jimet-15.2015.45
ID  - Jia2015/12
ER  -