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

^*此作品的通讯作者

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

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

1 引用（Scopus）

摘要

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.

源语言	英语
主期刊名	Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011
出版商	IEEE Computer Society
页	718-719
页数	2
ISBN（印刷版）	9780769544632
DOI	https://doi.org/10.1109/ICWS.2011.90
出版状态	已出版 - 2011
已对外发布	是
活动	2011 IEEE 9th International Conference on Web Services, ICWS 2011 - Washington, 美国期限: 4 7月 2011 → 9 7月 2011

出版系列

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

会议

会议	2011 IEEE 9th International Conference on Web Services, ICWS 2011
国家/地区	美国
市	Washington
时期	4/07/11 → 9/07/11

访问文件

10.1109/ICWS.2011.90

其它文件与链接

链接到 Scopus 的出版物

引用此

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. 在 Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011 (页码 718-719). 文章 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. 在 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, 页码 718-719, 2011 IEEE 9th International Conference on Web Services, ICWS 2011, Washington, 美国, 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 等.
Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011. IEEE Computer Society, 2011. 页码 718-719 6009409 (Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011).

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

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. 在 Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011. IEEE Computer Society. 2011. 页码 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

摘要

出版系列

会议

访问文件

其它文件与链接

指纹

引用此