A Linear Logic based Synchronization Rule for Deadlock Prevention in Web Service Composition

Vinícius Ferreira de Oliveira, Stéphane Julia, Lígia Maria Soares Passos, Kênia Santos de Oliveira

2017

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.

Paper Citation

in Harvard Style

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

in Bibtex Style

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

in EndNote Style

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