Compatibility Verification of Web Service Composition Based on Pi-calculus
- 10.2991/jimet-15.2015.45How to use a DOI?
- Behavior Compatibility, Interactive Behavior, Pi-calculus, Web Service Composition.
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.
- © 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 -