Proceedings of the 2nd International Conference on Computer Science and Electronics Engineering (ICCSEE 2013)

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

Authors
Yunfei Lu, Xin Gao
Corresponding Author
Yunfei Lu
Available Online March 2013.
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)

Volume Title
Proceedings of the 2nd International Conference on Computer Science and Electronics Engineering (ICCSEE 2013)
Series
Advances in Intelligent Systems Research
Publication Date
March 2013
ISBN
10.2991/iccsee.2013.411
ISSN
1951-6851
DOI
10.2991/iccsee.2013.411How to use a DOI?
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/).

Cite this article

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  -