✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 418.243 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Verification of Data-Aware Processes via Satisfiability Modulo Theories

Verification of Data-Aware Processes via Satisfiability Modulo Theories

von Alessandro Gianola
Softcover - 9783031427459
70,61 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 2 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

This book is a revised version of the PhD dissertation written by the author at the Free University of Bozen-Bolzano in Italy.

It presents a new approach to safety verification of a particular class of infinite-state systems, called Data-Aware Processes (DAPs). To do so, the developed technical machinery requires to devise novel results for uniform interpolation and its combination in the context of automated reasoning. These results are then applied to the analysis of concrete business processes enriched with real data.

In 2022, the PhD dissertation won the “BPM Dissertation Award”, granted to outstanding PhD theses in the field of Business Process Management.

 


Details

Verlag Springer International Publishing
Ersterscheinung 30. Oktober 2023
Maße 23.5 cm x 15.5 cm
Gewicht 528 Gramm
Format Softcover
ISBN-13 9783031427459
Auflage 1st ed. 2023
Seiten 317

Schlagwörter

Artificial Intelligence, Business Informatics, IT in Business, Künstliche Intelligenz, Unternehmensanwendungen, Wirtschaftsmathematik und -informatik - IT-Management

Herstellerinformationen +