Verification of Data-Aware Processes via Satisfiability Modulo Theories (Lecture Notes in Business Information Processing) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
From the Back Cover
This book is a revised version of the PhD dissertation written by the author at the 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.
"About this title" may belong to another edition of this title.
Search results for Verification of Data-Aware Processes via Satisfiability...
Stock Image
Verification of Data-Aware Processes via Satisfiability Modulo Theories (Paperback)
Published by
Springer International Publishing AG, Cham, 2023
ISBN 10: 3031427459
ISBN 13: 9783031427459
New
Paperback
First Edition
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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. 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). Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783031427459
Stock Image
Verification of Data-Aware Processes Via Satisfiability Modulo Theories
Published by
Springer-Nature New York Inc, 2023
ISBN 10: 3031427459
ISBN 13: 9783031427459
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 345 pages. 9.25x6.10x0.72 inches. In Stock. This item is printed on demand. Seller Inventory # __3031427459
Buy New
US$ 83.62
US$ 13.53 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Verification of Data-Aware Processes via Satisfiability Modulo Theories (Lecture Notes in Business Information Processing)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783031427459
Stock Image
Verification of Data-Aware Processes via Satisfiability Modulo Theories (Lecture Notes in Business Information Processing)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783031427459_new
Buy New
US$ 89.63
US$ 16.21 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Verification of Data-Aware Processes via Satisfiability Modulo Theories
Published by
Springer Nature Switzerland Okt 2023, 2023
ISBN 10: 3031427459
ISBN 13: 9783031427459
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 348 pp. Englisch. Seller Inventory # 9783031427459
Buy New
US$ 86.06
US$ 27.22 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Stock Image
Verification of Data-Aware Processes via Satisfiab
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 348. Seller Inventory # 18398554280
Buy New
US$ 121.99
US$ 11.77 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available
Seller Image
Verification of Data-Aware Processes via Satisfiability Modulo Theories
Published by
Springer Nature Switzerland, 2023
ISBN 10: 3031427459
ISBN 13: 9783031427459
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Received the BPM 2022 Dissertation award for an outstanding thesis in the field of business process managementApplies principles, methods and techniques from automated reasoning to business processesInvestigates symbolic reasoning approache. Seller Inventory # 959198618
Buy New
US$ 76.08
US$ 57.97 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Verification of Data-Aware Processes Via Satisfiability Modulo Theories
Published by
Springer-Nature New York Inc, 2023
ISBN 10: 3031427459
ISBN 13: 9783031427459
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 345 pages. 9.25x6.10x0.72 inches. In Stock. Seller Inventory # x-3031427459
Buy New
US$ 123.62
US$ 13.53 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Stock Image
Verification of Data-Aware Processes via Satisfiability Modulo Theories
Published by
Springer Nature Switzerland, 2023
ISBN 10: 3031427459
ISBN 13: 9783031427459
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Hervorragend. Zustand: Hervorragend | Seiten: 348 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Seller Inventory # 42514658/1
Buy Used
US$ 27.69
US$ 124.25 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 9 available
Seller Image
Verification of Data-Aware Processes via Satisfiability Modulo Theories
Published by
Springer Nature Switzerland, Springer International Publishing Okt 2023, 2023
ISBN 10: 3031427459
ISBN 13: 9783031427459
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch. Seller Inventory # 9783031427459
Buy New
US$ 86.06
US$ 71.00 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available