loading
Papers

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

ISBN: 978-989-758-248-6

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.

PDF ImageFull Text

Download
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 35.175.201.14

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, 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},
}

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
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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.