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

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.

References

  1. Barros, A., Dumas, M., and Oaks, P. (2005). Standards for Web Service Choreography and Orchestration: Status and Perspectives. In International Conference on Business Process Management, pages 61-74. Springer.
  2. Girard, J.-Y. (1987). Linear logic. Theoretical computer science, 50(1):1-101.
  3. Girault, F., Pradier-Chezalviel, B., and Valette, R. (1997). A logic for Petri nets. Journal européen des systèmes automatisés, 31(3):525-542.
  4. Klai, K., Ochi, H., and Tata, S. (2013). Formal abstraction and compatibility checking of Web services. In Web Services (ICWS), 2013 IEEE 20th International Conference on, pages 163-170. IEEE.
  5. Martens, A. (2005). Analyzing Web Service Based Business Processes. In International Conference on Fundamental Approaches to Software Engineering, pages 19-33. Springer.
  6. Murata, T. (1989). Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77(4):541-580.
  7. Passos, L. M. S. and Julia, S. (2009). Qualitative Analysis of WorkFlow nets using Linear Logic: Soundness Verification. InSystems, Man and Cybernetics, 2009. SMC 2009. IEEE International Conference on, pages 2843-2847. IEEE.
  8. Passos, L. M. S. and Julia, S. (2013). Qualitative Analysis of Interorganizational WorkFlow nets using Linear Logic: Soundness Verification. In 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, pages 667-673. IEEE.
  9. Passos, L. M. S. and Julia, S. (2015). Deadlock-Freeness Scenarios Detection in Web Service Composition. In Information Technology-New Generations (ITNG), 2015 12th International Conference on, pages 780- 783. IEEE.
  10. Riviere, N., Pradin-Chezalviel, B., and Valette, R. (2001). Reachability and temporal conflicts in t-time Petri nets. In Petri Nets and Performance Models, 2001. Proceedings. 9th International Workshop on, pages 229-238. IEEE.
  11. van der Aalst, W. M. P. (1998). Modeling and Analyzing Interorganizational Workflows. In International Conference on Application of Concurrency to System Design, pages 262-272.
  12. van der Aalst, W. M. P., van Hee, K. M., ter Hofstede, A. H. M., Sidorova, N., Verbeek, H. M. W., Voorhoeve, M., and Wynn, M. T. (2011). Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects of Computing, 23(3):333-363.
  13. Xiong, P., Fan, Y., and Zhou, M. (2010). A Petri Net Approach to Analysis and Composition of Web Services. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, 40(2):376- 387.
Download


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