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 条
  • [21] Using Linear Logic to Verify Requirement Scenarios in Composite Web Service
    de Oliveira, Kenia Santos
    Julia, Stephane
    FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, 2017, 10623 : 215 - 232
  • [22] Logic-based web services composition: From service description to process model
    Department of Computer Science, Norwegian Univ. Sci. and Technology, N-7491, Trondheim, Norway
    不详
    IEEE Computer Society (TCSC), 1600, 446-453 (2004):
  • [23] Logic-based web services composition:: from service description to process model
    Rao, J
    Küngas, P
    Matskin, M
    IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2004, : 446 - 453
  • [24] A QoS-based web services selection method for dynamic web service composition
    Zhang Guoping
    Zhang Huijuan
    Wang Zhibin
    PROCEEDINGS OF THE FIRST INTERNATIONAL WORKSHOP ON EDUCATION TECHNOLOGY AND COMPUTER SCIENCE, VOL III, 2009, : 832 - 835
  • [25] The Study on a Global Optimization Method of Web Services Composition Based on QoS
    Pan, Zeqiang
    2013 3RD INTERNATIONAL CONFERENCE ON SOCIAL SCIENCES AND SOCIETY (ICSSS 2013), PT 5, 2013, 36 : 235 - 239
  • [26] A Testing Method for Web Services Composition Based on Data-Flow
    HOU Jun1
    2. State Key Laboratory of Software Engineering
    WuhanUniversityJournalofNaturalSciences, 2008, (04) : 455 - 460
  • [27] A Shortest Path Based Automatic Composition Method of Semantic Web Services
    Yang, Jie
    Wang, Zhili
    Chen, Kan
    2013 15TH ASIA-PACIFIC NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM (APNOMS), 2013,
  • [28] A method of heuristic Web Services composition based on goal distance estimate
    Wen, Jia-Jia
    Chen, Jun-Liang
    Peng, Yong
    Ruan Jian Xue Bao/Journal of Software, 2007, 18 (01): : 85 - 93
  • [29] A semantic approach for constructing valid composition scenarios of linguistic Web services
    Neji, Mariem
    Gargouri, Bilel
    Jmaiel, Mohammed
    KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS (KES-2018), 2018, 126 : 685 - 694
  • [30] Operation Composition Based on Linear Logic
    Peng, Yanbin
    2012 INTERNATIONAL CONFERENCE ON MEDICAL PHYSICS AND BIOMEDICAL ENGINEERING (ICMPBE2012), 2012, 33 : 201 - 205
12345