Proceedings of the 2015 Joint International Mechanical, Electronic and Information Technology Conference

Compatibility Verification of Web Service Composition Based on Pi-calculus

Authors
Zhichun Jia, Xing Xing
Corresponding Author
Zhichun Jia
Available Online December 2015.
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)

Volume Title
Proceedings of the 2015 Joint International Mechanical, Electronic and Information Technology Conference
Series
Advances in Computer Science Research
Publication Date
December 2015
ISBN
978-94-6252-129-2
ISSN
2352-538X
DOI
10.2991/jimet-15.2015.45How to use a DOI?
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/).

Cite this article

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  -