Skip to main content
Top

2020 | OriginalPaper | Chapter

On Limitations of Abstraction-Based Deadlock-Analysis of Service-Oriented Systems

Authors : Mandy Weißbach, Wolf Zimmermann

Published in: Advances in Service-Oriented and Cloud Computing

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Deadlock-analysis of concurrent service-oriented systems is often done by P/T-net-based approaches. We show that there is a concurrent service-oriented system with synchronous (stack behavior) and asynchronous procedure (concurrent behavior) calls with a deadlock that is not discovered by classical P/T-net-based approaches. Hence, P/T-net-based approaches lead to false statements on absence of deadlocks. We propose an approach based on Mayr’s Process Rewrite Systems to model both, concurrent and stack behavior while the deadlock problem remains decidable.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
2.
go back to reference Bouajjani, A., Emmi, M.: Analysis of recursively parallel programs. In: ACM SIGPLAN Notices, vol. 47, pp. 203–214. ACM (2012) Bouajjani, A., Emmi, M.: Analysis of recursively parallel programs. In: ACM SIGPLAN Notices, vol. 47, pp. 203–214. ACM (2012)
3.
go back to reference Dahl, O.J., Nygaard, K.: Simula: an algol-based simulation language. Commun. ACM 9, 671–678 (1966)CrossRef Dahl, O.J., Nygaard, K.: Simula: an algol-based simulation language. Commun. ACM 9, 671–678 (1966)CrossRef
9.
go back to reference Seghrouchni, A.E.F., Haddad, S.: A recursive model for distributed planning. In: Proceedings of the 2nd International Conference on Multi-Agent Systems (ICMAS 1996), pp. 307–314 (1996) Seghrouchni, A.E.F., Haddad, S.: A recursive model for distributed planning. In: Proceedings of the 2nd International Conference on Multi-Agent Systems (ICMAS 1996), pp. 307–314 (1996)
Metadata
Title
On Limitations of Abstraction-Based Deadlock-Analysis of Service-Oriented Systems
Authors
Mandy Weißbach
Wolf Zimmermann
Copyright Year
2020
DOI
https://doi.org/10.1007/978-3-030-63161-1_6

Premium Partner