loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Vinícius Ferreira de Oliveira 1 ; Stéphane Julia 1 ; Lígia Maria Soares Passos 2 and Kênia Santos de Oliveira 1

Affiliations: 1 Federal University of Uberlândia, Brazil ; 2 Federal Rural University of Rio de Janeiro, Brazil

Keyword(s): Petri Nets, Linear Logic, Deadlock Situation, Web Services, Composition, Synchronization Rule.

Related Ontology Subjects/Areas/Topics: Enterprise Information Systems ; Information Systems Analysis and Specification ; Modeling of Distributed Systems ; Software Engineering

Abstract: This paper presents a prevention method for deadlock situations in Web Services composition. This method considers the Petri net theory and is based on the analysis of Linear Logic proof trees. Initially, it is necessary to detect deadlock scenarios by analyzing the Linear Logic proof trees built for each different scenario of the modules from which the composed system is built. Following on from this, a synchronization rule is proposed in order to prevent deadlock situations in these deadlock scenarios. The basic principle of such a rule is to force workflow modules to execute specific tasks respecting a local scheduling policy in order to remove the situations responsible for the deadlocks. This paper therefore presents a synchronization strategy to prevent deadlock situations in Web Services composition that are deadlock-free within the local workflow modules but not necessarily deadlock-free when considering the entire composed system.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.142.200.247

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Ferreira de Oliveira, V.; Julia, S.; Soares Passos, L. and Santos de Oliveira, K. (2017). A Linear Logic based Synchronization Rule for Deadlock Prevention in Web Service Composition. In Proceedings of the 19th International Conference on Enterprise Information Systems - Volume 2: ICEIS; ISBN 978-989-758-248-6; ISSN 2184-4992, SciTePress, pages 316-323. DOI: 10.5220/0006308303160323

@conference{iceis17,
author={Vinícius {Ferreira de Oliveira}. and Stéphane Julia. and Lígia Maria {Soares Passos}. and Kênia {Santos de Oliveira}.},
title={A Linear Logic based Synchronization Rule for Deadlock Prevention in Web Service Composition},
booktitle={Proceedings of the 19th International Conference on Enterprise Information Systems - Volume 2: ICEIS},
year={2017},
pages={316-323},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006308303160323},
isbn={978-989-758-248-6},
issn={2184-4992},
}

TY - CONF

JO - Proceedings of the 19th International Conference on Enterprise Information Systems - Volume 2: ICEIS
TI - A Linear Logic based Synchronization Rule for Deadlock Prevention in Web Service Composition
SN - 978-989-758-248-6
IS - 2184-4992
AU - Ferreira de Oliveira, V.
AU - Julia, S.
AU - Soares Passos, L.
AU - Santos de Oliveira, K.
PY - 2017
SP - 316
EP - 323
DO - 10.5220/0006308303160323
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic