A Linear Logic Based Method for Deadlock-freeness Scenarios Monitoring in Web Services Composition

被引：0

作者：

Soares Passos, Ligia Maria ^{[1
]}

Julia, Stephan ^{[2
]}

Martins da Silva, Bruno Francisco ^{[1
]}

机构：

[1] Univ Fed Rural Rio de Janeiro, Comp Sci Dept, Nova Iguacu, RJ, Brazil

[2] Univ Fed Uberlandia, Comp Fac, Uberlandia, MG, Brazil

来源：

2019 13TH IEEE INTERNATIONAL CONFERENCE ON SERVICE-ORIENTED SYSTEM ENGINEERING (SOSE) / 10TH INTERNATIONAL WORKSHOP ON JOINT CLOUD COMPUTING (JCC) / IEEE INTERNATIONAL WORKSHOP ON CLOUD COMPUTING IN ROBOTIC SYSTEMS (CCRS) | 2019年

关键词：

Petri nets; Linear Logic; Web Services; Corttposition; Monitoring;

D O I：

10.1109/sose.2019.00020

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper presents a method for the monitoring of deadlock-freeness scenarios in Web Services composition. This method considers the Petri net theory and is based on the analysis of Linear Logic proof trees with dates. In the proposed method, a Linear Logic proof tree with date is built for each different deadlock-freeness scenario in the composed system. These proof trees are analysed and the data obtained from them are used to guide the execution of such scenarios, avoiding the deadlock situations. The CPN Tools is used for the implementation and analysis of a monitored model to evaluate the efficacy of the proposed method.

引用

页码：77 / 83

页数：7

共 50 条

[41] Study on Dynamic Services Composition of Web Services Based on BPEL
Gao, Jinyue
Huang, Fei
Zhang, Gongxuan
SIXTH INTERNATIONAL CONFERENCE ON MACHINE VISION (ICMV 2013), 2013, 9067
[42] Automatic Web Services Composition Based on SLM
ZHANG Peiyun1
2. School of Computer Science and Technology
Wuhan University Journal of Natural Sciences, 2008, (04) : 425 - 428
[43] Web services automatic composition based on QoS
Liu, JM
Gu, N
Zong, YW
Ding, ZG
Zhang, SH
Zhang, Q
ICEBE 2005: IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING, PROCEEDINGS, 2005, : 607 - 610
[44] A π-calculus based model for web services composition
Wu, Huaiguang
Zhong, Farong
Duan, Zhejie
2006 1ST INTERNATIONAL SYMPOSIUM ON PERVASIVE COMPUTING AND APPLICATIONS, PROCEEDINGS, 2006, : 613 - +
[45] Signature-based composition of web services
Alkamari, Aniss
Mili, Hafedh
Obaid, Abdel
2008 INTERNATIONAL MCETECH CONFERENCE ON E-TECHNOLOGIES, PROCEEDINGS, 2007, : 104 - 115
[46] An ontology modeling method in semantic composition of web services
Cui, JT
Liu, JM
Wu, YJ
Gu, N
PROCEEDINGS OF THE IEEE INTERNATIONAL CONFERENCE ON E-COMMERCE TECHNOLOGY FOR DYNAMIC E-BUSINESS, 2004, : 270 - 273
[47] An Agent Based Monitoring System for Web Services
Simpson, William R.
IMCIC'11: THE 2ND INTERNATIONAL MULTI-CONFERENCE ON COMPLEXITY, INFORMATICS AND CYBERNETICS, VOL II, 2011, : 30 - 35
[48] A Method of E-Service Workflow Composition Based on Linear Logic Inference Rules
Zhou, Shan
Zhang, Fangyu
PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION APPLICATIONS (ICCIA 2012), 2012, : 642 - 645
[49] A Novel Web Services Composition Compensation Method Based on Extended Petri-net
Mei, Xiaoyong
Jiang, Aijun
Li, Shixian
Huang, Changqin
Zheng, Xiaolin
Fan, Yiyan
ADVANCED RESEARCH ON AUTOMATION, COMMUNICATION, ARCHITECTONICS AND MATERIALS, PTS 1 AND 2, 2011, 225-226 (1-2): : 1084 - +
[50] Semantic description of web-based services in temporal logic
Garcia Garcia, Adrian
Andrade Gomez, Hector A.
Toledo Martinez, Sidney R.
CISCI 2007: 6TA CONFERENCIA IBEROAMERICANA EN SISTEMAS, CIBERNETICA E INFORMATICA, MEMORIAS, VOL I, 2007, : 375 - 380

← 1 2 3 4 5 →