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 条
  • [31] An Integrated Declarative Approach to Web Services Composition and Monitoring
    Zahoor, Ehtesham
    Perrin, Olivier
    Godart, Claude
    WEB INFORMATION SYSTEMS ENGINEERING - WISE 2009, PROCEEDINGS, 2009, 5802 : 247 - 260
  • [32] A runtime monitoring web services interaction behaviors method based on CPN
    Zhu, Jun
    Guo, Changguo
    Wu, Quanyuan
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2011, 48 (12): : 2277 - 2289
  • [33] A Method for Automatic Composition of Information Web Services
    Li, Yeqing
    Qiu, Lirong
    Zhao, Xiaobing
    2010 INTERNATIONAL COLLOQUIUM ON COMPUTING, COMMUNICATION, CONTROL, AND MANAGEMENT (CCCM2010), VOL III, 2010, : 767 - 770
  • [34] A Method of QoS Deviation Monitoring for Web Services
    Chen Bin-Bin
    Fu Xiao-Dong
    Liu Li
    Gao Tian-Yu
    Ge Jia
    2015 27TH CHINESE CONTROL AND DECISION CONFERENCE (CCDC), 2015, : 1946 - 1950
  • [35] Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation Logic
    Jacobs, Jules
    Balzer, Stephanie
    Krebbers, Robbert
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (POPL):
  • [36] Logic-based management of security in web services
    Tziviskou, Christina
    Di Nitto, Elisabetta
    2007 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS, 2007, : 228 - +
  • [37] Dynamic Monitoring Dashboards Through Composition of Web and Visualization Services
    Van Hoecke, Sofie
    Huys, Cynric
    Janssens, Olivier
    Verborgh, Ruben
    Van de Walle, Rik
    INTERNET OF THINGS: IOT INFRASTRUCTURES, IOT 360, PT II, 2016, 170 : 465 - 474
  • [38] Web services composition based on ontology and workflow
    Yang, HZ
    Li, ZZ
    Chen, J
    Xia, H
    ADVANCES IN WEB-AGE INFORMATION MANAGEMENT, PROCEEDINGS, 2005, 3739 : 297 - 307
  • [39] Composition of Web Services based on Timed Mediation
    Guermouche, Nawal
    Godart, Claude
    INTERNATIONAL JOURNAL OF NEXT-GENERATION COMPUTING, 2014, 5 (01): : 44 - 69
  • [40] Web Services Composition Based on User Requirement
    Pang Meiyu
    Wang Maoji
    PROCEEDINGS OF THE 2013 8TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION (ICCSE 2013), 2013, : 1481 - 1484
12345