Soundness Efficient Determination Algorithm of Services Composition in Surrounding Restraint Situation Based on OPN

DOI

10.2991/iccsee.2013.411How to use a DOI?

Keywords

Services Composition, Surrounding Restraint, Composability, Soundness ,OPN

Abstract

It is important to analyze the soundness of the Web services composition. And the paper put forward a new method to determine the soundness. After modeling Web services area and Web surrounding area by the open Petri net, an efficient determination algorithm was offered to determine the soundness. At last, not only was the algorithm programmed, but also the paper verified the validity of the algorithm through the concrete example.

Copyright

© 2013, 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  - Yunfei Lu
AU  - Xin Gao
PY  - 2013/03
DA  - 2013/03
TI  - Soundness Efficient Determination Algorithm of Services Composition in Surrounding Restraint Situation Based on OPN
BT  - Proceedings of the 2nd International Conference on Computer Science and Electronics Engineering (ICCSEE 2013)
PB  - Atlantis Press
SP  - 1640
EP  - 1643
SN  - 1951-6851
UR  - https://doi.org/10.2991/iccsee.2013.411
DO  - 10.2991/iccsee.2013.411
ID  - Lu2013/03
ER  -