Petri Net Verification of Service Composition Mechanism based on Hierarchical Service Overlay Network
Authors
Yu Qiao, Yanmei Zhang, Hengyue Jia
Corresponding Author
Yu Qiao
Available Online June 2016.
- DOI
- 10.2991/mmebc-16.2016.425How to use a DOI?
- Keywords
- overlay network; service composition; service overlay network; mechanism of composition; Petri net
- Abstract
This paper proposed a hierarchical service overlay network framework (HSON) based on the analysis of advantages and disadvantages of the present service composition network framework and the characteristics of service composition applications, and studied service composition mechanism based on HSON.. The Petri net is adopted to describe the service composition mechanism, and verify the correctness and completeness. In the end, we used examples to verify the reasonable of using HSON to get service compositon.
- 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 - Yu Qiao AU - Yanmei Zhang AU - Hengyue Jia PY - 2016/06 DA - 2016/06 TI - Petri Net Verification of Service Composition Mechanism based on Hierarchical Service Overlay Network BT - Proceedings of the 2016 6th International Conference on Machinery, Materials, Environment, Biotechnology and Computer PB - Atlantis Press SP - 2126 EP - 2132 SN - 2352-5401 UR - https://doi.org/10.2991/mmebc-16.2016.425 DO - 10.2991/mmebc-16.2016.425 ID - Qiao2016/06 ER -