nach oben

Erschienen in:

2020 | OriginalPaper | Buchkapitel

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

verfasst von : Mandy Weißbach, Wolf Zimmermann

Erschienen in: Advances in Service-Oriented and Cloud Computing

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren

Vorheriges Kapitel Implementation of a Cloud Services Management Framework

Nächstes Kapitel Decentralized Billing and Subcontracting of Application Services for Cloud Environment Providers

Both, A., Zimmermann, W.: Automatic protocol conformance checking of recursive and parallel component-based systems. In: Chaudron, M.R.V., Szyperski, C., Reussner, R. (eds.) CBSE 2008. LNCS, vol. 5282, pp. 163–179. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-87891-9_11CrossRef

Bouajjani, A., Emmi, M.: Analysis of recursively parallel programs. In: ACM SIGPLAN Notices, vol. 47, pp. 203–214. ACM (2012)

Dahl, O.J., Nygaard, K.: Simula: an algol-based simulation language. Commun. ACM 9, 671–678 (1966)CrossRef

Haddad, S., Poitrenaud, D.: Modelling and analyzing systems with recursive Petri Nets. In: Boel, R., Stremersch, G. (eds.) Discrete Event Systems. The Springer International Series in Engineering and Computer Science, vol. 569. Springer, Boston (2000). https://doi.org/10.1007/978-1-4615-4493-7_48CrossRefMATH

Heike, C., Zimmermann, W., Both, A.: On expanding protocol conformance checking to exception handling. SOCA 8(4), 299–322 (2014). https://doi.org/10.1007/s11761-013-0146-2CrossRef

Hicheur, A., Ben Dhieb, A., Barkaoui, K.: Modelling and analysis of flexible healthcare processes based on algebraic and recursive Petri Nets. In: Weber, J., Perseil, I. (eds.) FHIES 2012. LNCS, vol. 7789, pp. 1–18. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-39088-3_1CrossRef

Martens, A.: Analyzing web service based business processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19–33. Springer, Heidelberg (2005). https://doi.org/10.1007/978-3-540-31984-9_3CrossRef

Mayr, R.: Process rewrite systems. Inf. Comput. 156(1–2), 264–286 (2000)MathSciNetCrossRef

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)

10.

Aalst, W.M.P.: Workflow verification: finding control-flow errors using Petri-Net-based techniques. In: van der Aalst, W., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 161–183. Springer, Heidelberg (2000). https://doi.org/10.1007/3-540-45594-9_11CrossRef

11.

Verbeek, E., van der Aalst, W.M.P.: Woflan 2.0 a Petri-Net-based workflow diagnosis tool. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, pp. 475–484. Springer, Heidelberg (2000). https://doi.org/10.1007/3-540-44988-4_28CrossRefMATH

12.

Weißbach, M., Zimmermann, W.: on abstraction-based deadlock-analysis in service-oriented systems with recursion. In: De Paoli, F., Schulte, S., Broch Johnsen, E. (eds.) ESOCC 2017. LNCS, vol. 10465, pp. 168–176. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-67262-5_13CrossRef

13.

Zimmermann, W., Schaarschmidt, M.: Automatic checking of component protocols in component-based systems. In: Löwe, W., Südholt, M. (eds.) SC 2006. LNCS, vol. 4089, pp. 1–17. Springer, Heidelberg (2006). https://doi.org/10.1007/11821946_1CrossRef

Titel: On Limitations of Abstraction-Based Deadlock-Analysis of Service-Oriented Systems
verfasst von: Mandy Weißbach
Wolf Zimmermann
Verlag: Springer International Publishing
Buch: Advances in Service-Oriented and Cloud Computing
Print ISBN: 978-3-030-63160-4

Electronic ISBN: 978-3-030-63161-1

Copyright-Jahr: 2020
DOI: https://doi.org/10.1007/978-3-030-63161-1_6

Premium Partner

Bildnachweise

Rittal/© Rittal, NTT Data/© NTT Data, Wildix/© Wildix, Ceyoniq Technology GmbH/© Ceyoniq Technology GmbH, arvato Systems GmbH/© arvato Systems GmbH, Ninox Software GmbH/© Ninox Software GmbH, Everyday Software S.L./© Everyday Software S.L., Redgate/© Redgate, CELONIS Labs GmbH, DC-Datacenter-Group GmbH/© DC-Datacenter-Group GmbH, all for one/© all for one, G Data CyberDefense/© G Data CyberDefense, FAST LTA/© FAST LTA, Vendosoft/© Vendosoft, Kumavision/© Kumavision, Noriis Network AG/© Noriis Network AG, WSW Software GmbH/© WSW Software GmbH, tts GmbH/© tts GmbH

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"