Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Verification of Data-Aware Processes via Satisfiability Modulo Theories
  • Produktbild: Verification of Data-Aware Processes via Satisfiability Modulo Theories
Band 470

Verification of Data-Aware Processes via Satisfiability Modulo Theories

Aus der Reihe Lecture Notes in Business Information Processing

Fr. 94.90

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.10.2023

Verlag

Springer

Seitenzahl

317

Maße (L/B/H)

23.5/15.5/1.9 cm

Gewicht

528 g

Auflage

1st edition 2023

Sprache

Englisch

ISBN

978-3-031-42745-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.10.2023

Verlag

Springer

Seitenzahl

317

Maße (L/B/H)

23.5/15.5/1.9 cm

Gewicht

528 g

Auflage

1st edition 2023

Sprache

Englisch

ISBN

978-3-031-42745-9

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: Verification of Data-Aware Processes via Satisfiability Modulo Theories
  • Produktbild: Verification of Data-Aware Processes via Satisfiability Modulo Theories
  • Introduction.- 1.1 Overview.- 1.1.1 Finite-State Model Checking.- 1.1.2 Verification of Data-Aware Processes.- 1.1.3 Infinite-state Model Checking: from Parameterized Systems to SMT Verification.- 1.1.4 Main Goal of the Book.- 1.2 Related Literature.- 1.2.1 Formal Models for Data-Aware (Business) Processes.- 1.2.2 Verification of Data-Aware Processes.- 1.2.3 Model Checking for Infinite-State Systems using SMT-based Techniques.- 1.3 Contributions of the Book.- 1.3.1 Contributions of the First Part.- 1.3.2 Contributions of the Second Part.- 1.3.3 Contributions of the Third Part.- Part I Foundations of SMT-based Safety Verification of Artifact Systems.- 2 Preliminaries from Model Theory and Logic.- 3 Array-Based Artifact Systems: General Framework.- 4 Safety Verification of Artifact Systems.- 5 Decidability Results via Termination of the Verification Machinery.- 6. Preliminaries For (Uniform) Interpolation.- 7 Uniform Interpolation for Database Theories.- 8 Combination of Uniform Interpolants for DAPs Verification.- 9 MCMT: a Concrete Model Checker for DAPs.- 10 Business Process Management and Petri Nets: Preliminaries.- 11 DABs: a Theoretical Framework for Data-Aware BPMN.- 12 delta-BPMN: the operational and implemented counterpart of DABs.- 13 Catalog Object-Aware Nets.- 14 Conclusions.- References.