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 条
  • [1] Deadlock-freeness Scenarios Detection in Web Service Composition
    Soares Passos, Ligia Maria
    Julia, Stephane
    2015 12TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY - NEW GENERATIONS, 2015, : 780 - 783
  • [2] Linear Logic as a Tool for Deadlock-freeness Scenarios Detection in Interorganizational Workflow Processes
    Soares Passos, Ligia Maria
    Julia, Stephane
    2014 IEEE 26TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2014, : 316 - 320
  • [3] Deadlock-Freeness Verification of Cloud Composite Services Using Event-B
    Lahouij, Aida
    Hamel, Lazhar
    Graiet, Mohamed
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS, OTM 2018, PT I, 2018, 11229 : 604 - 622
  • [4] A Linear Logic based Synchronization Rule for Deadlock Prevention in Web Service Composition
    de Oliveira, Vinicius Ferreira
    Julia, Stephane
    Soares Passos, Ligia Maria
    de Oliveira, Kenia Santos
    ICEIS: PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 2, 2017, : 316 - 323
  • [5] A linear logic approach to the composition of RESTful web services
    Zhao, Xia
    Liu, Enjie
    Yu, Hong Qing
    Clapworthy, Gordon J.
    International Journal of Web Engineering and Technology, 2015, 10 (03) : 245 - 271
  • [6] Description logic based composition of Web Services
    Lin, Fen
    Qiu, Lirong
    Huang, He
    Yu, Qing
    Shi, Zhongzhi
    AGENT COMPUTING AND MULTI-AGENT SYSTEMS, 2006, 4088 : 199 - 210
  • [7] Composition of semantic web services using linear logic theorem proving
    Rao, JH
    Küngas, P
    Matskin, M
    INFORMATION SYSTEMS, 2006, 31 (4-5) : 340 - 360
  • [8] Subjective Logic - Based framework for rating and composition of Web Services
    Kolaczek, Grzegorz
    Juszczyszyn, Krzysztof
    COMPUTATIONAL INTELLIGENCE IN DECISION AND CONTROL, 2008, 1 : 865 - 870
  • [9] A Logic-based Approach to Web Services Composition and Verification
    Wang, Hongbing
    Wang, Chen
    Liu, Yan
    2009 WORLD CONFERENCE ON SERVICES PART, 2009, : 103 - 110
  • [10] Method of web services composition based on events
    Li, Xin
    Cheng, Bo
    Yang, Guo-Wei
    Liu, Qi-He
    Ruan Jian Xue Bao/Journal of Software, 2009, 20 (12): : 3101 - 3116
12345