A Petri net based hybrid optimal controller for deadlock prevention in web service composition

Jing Bi; Zhiliang Zhu; Haitao Yuan; Yushun Fan; Ming Tie

doi:10.1109/ICWS.2011.90

A Petri net based hybrid optimal controller for deadlock prevention in web service composition

Jing Bi^*
, Zhiliang Zhu
, Haitao Yuan
, Yushun Fan
, Ming Tie

^*Corresponding author for this work

Northeastern University China
Tsinghua University
Beijing Institute of Nearspace Vehicle's Systems Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

Abstract

In the process of web service composition, the check and prevention of semantic incompatibility is one of the most important issues. In this paper, a controlled Petri net (CtlPN)-based model for web service composition is proposed. Meanwhile, the optimal controller is constructed, such that the appropriate vectors of controllable place and arc are appended in the key transition which can lead to deadlock states. In addition, for the semantic incompatibility case, a policy based on appending optimal controller is presented. It is proved that our policy can be a good solution. Finally, the proposed controller is transformed as the activity of BPEL.

Original language	English
Title of host publication	Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011
Publisher	IEEE Computer Society
Pages	718-719
Number of pages	2
ISBN (Print)	9780769544632
DOIs	https://doi.org/10.1109/ICWS.2011.90
State	Published - 2011
Externally published	Yes
Event	2011 IEEE 9th International Conference on Web Services, ICWS 2011 - Washington, United States Duration: 4 Jul 2011 → 9 Jul 2011

Publication series

Name	Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011

Conference

Conference	2011 IEEE 9th International Conference on Web Services, ICWS 2011
Country/Territory	United States
City	Washington
Period	4/07/11 → 9/07/11

Keywords

Compatibility
Controlled Petri net
Deadlock prevention
Hybrid optimal controller
Web service composition

Access to Document

10.1109/ICWS.2011.90

Cite this

Bi, J., Zhu, Z., Yuan, H., Fan, Y., & Tie, M. (2011). A Petri net based hybrid optimal controller for deadlock prevention in web service composition. In Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011 (pp. 718-719). Article 6009409 (Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011). IEEE Computer Society. https://doi.org/10.1109/ICWS.2011.90

@inproceedings{cb1ffd9fcf0c4594a7100fbadddad8d2,

title = "A Petri net based hybrid optimal controller for deadlock prevention in web service composition",

abstract = "In the process of web service composition, the check and prevention of semantic incompatibility is one of the most important issues. In this paper, a controlled Petri net (CtlPN)-based model for web service composition is proposed. Meanwhile, the optimal controller is constructed, such that the appropriate vectors of controllable place and arc are appended in the key transition which can lead to deadlock states. In addition, for the semantic incompatibility case, a policy based on appending optimal controller is presented. It is proved that our policy can be a good solution. Finally, the proposed controller is transformed as the activity of BPEL.",

keywords = "Compatibility, Controlled Petri net, Deadlock prevention, Hybrid optimal controller, Web service composition",

author = "Jing Bi and Zhiliang Zhu and Haitao Yuan and Yushun Fan and Ming Tie",

year = "2011",

doi = "10.1109/ICWS.2011.90",

language = "英语",

isbn = "9780769544632",

series = "Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011",

publisher = "IEEE Computer Society",

pages = "718--719",

booktitle = "Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011",

address = "美国",

note = "2011 IEEE 9th International Conference on Web Services, ICWS 2011 ; Conference date: 04-07-2011 Through 09-07-2011",

}

Bi, J, Zhu, Z, Yuan, H, Fan, Y & Tie, M 2011, A Petri net based hybrid optimal controller for deadlock prevention in web service composition. in Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011., 6009409, Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011, IEEE Computer Society, pp. 718-719, 2011 IEEE 9th International Conference on Web Services, ICWS 2011, Washington, United States, 4/07/11. https://doi.org/10.1109/ICWS.2011.90

A Petri net based hybrid optimal controller for deadlock prevention in web service composition. / Bi, Jing; Zhu, Zhiliang; Yuan, Haitao et al.
Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011. IEEE Computer Society, 2011. p. 718-719 6009409 (Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A Petri net based hybrid optimal controller for deadlock prevention in web service composition

AU - Bi, Jing

AU - Zhu, Zhiliang

AU - Yuan, Haitao

AU - Fan, Yushun

AU - Tie, Ming

PY - 2011

Y1 - 2011

N2 - In the process of web service composition, the check and prevention of semantic incompatibility is one of the most important issues. In this paper, a controlled Petri net (CtlPN)-based model for web service composition is proposed. Meanwhile, the optimal controller is constructed, such that the appropriate vectors of controllable place and arc are appended in the key transition which can lead to deadlock states. In addition, for the semantic incompatibility case, a policy based on appending optimal controller is presented. It is proved that our policy can be a good solution. Finally, the proposed controller is transformed as the activity of BPEL.

AB - In the process of web service composition, the check and prevention of semantic incompatibility is one of the most important issues. In this paper, a controlled Petri net (CtlPN)-based model for web service composition is proposed. Meanwhile, the optimal controller is constructed, such that the appropriate vectors of controllable place and arc are appended in the key transition which can lead to deadlock states. In addition, for the semantic incompatibility case, a policy based on appending optimal controller is presented. It is proved that our policy can be a good solution. Finally, the proposed controller is transformed as the activity of BPEL.

KW - Compatibility

KW - Controlled Petri net

KW - Deadlock prevention

KW - Hybrid optimal controller

KW - Web service composition

UR - https://www.scopus.com/pages/publications/80053167864

U2 - 10.1109/ICWS.2011.90

DO - 10.1109/ICWS.2011.90

M3 - 会议稿件

AN - SCOPUS:80053167864

SN - 9780769544632

T3 - Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011

SP - 718

EP - 719

BT - Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011

PB - IEEE Computer Society

T2 - 2011 IEEE 9th International Conference on Web Services, ICWS 2011

Y2 - 4 July 2011 through 9 July 2011

ER -

Bi J, Zhu Z, Yuan H, Fan Y, Tie M. A Petri net based hybrid optimal controller for deadlock prevention in web service composition. In Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011. IEEE Computer Society. 2011. p. 718-719. 6009409. (Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011). doi: 10.1109/ICWS.2011.90

A Petri net based hybrid optimal controller for deadlock prevention in web service composition

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this