Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Dalla quarta di copertina
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Verification of Data-Aware Processes via Satisfiability...
Foto dell'editore
Verification of Data-Aware Processes via Satisfiability Modulo Theories (Paperback)
Editore:
Springer International Publishing AG, Cham, 2023
ISBN 10: 3031427459
ISBN 13: 9783031427459
Nuovo
Paperback
Prima edizione
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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. Codice articolo 9783031427459
Compra nuovo
EUR 78,91
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Verification of Data-Aware Processes Via Satisfiability Modulo Theories
Editore:
Springer-Nature New York Inc, 2023
ISBN 10: 3031427459
ISBN 13: 9783031427459
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 345 pages. 9.25x6.10x0.72 inches. In Stock. This item is printed on demand. Codice articolo __3031427459
Compra nuovo
EUR 71,54
Spedizione EUR 11,58
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Verification of Data-Aware Processes via Satisfiability Modulo Theories (Lecture Notes in Business Information Processing)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783031427459_new
Compra nuovo
EUR 78,90
Spedizione EUR 13,87
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Verification of Data-Aware Processes via Satisfiability Modulo Theories
Editore:
Springer Nature Switzerland Okt 2023, 2023
ISBN 10: 3031427459
ISBN 13: 9783031427459
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783031427459
Compra nuovo
EUR 70,61
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Verification of Data-Aware Processes via Satisfiability Modulo Theories (Lecture Notes in Business Information Processing)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 348. Codice articolo 26398554274
Compra nuovo
EUR 100,61
Spedizione EUR 3,46
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Immagini fornite dal venditore
Verification of Data-Aware Processes via Satisfiability Modulo Theories
Editore:
Springer Nature Switzerland, 2023
ISBN 10: 3031427459
ISBN 13: 9783031427459
Nuovo
Brossura
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 959198618
Compra nuovo
EUR 62,42
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Verification of Data-Aware Processes via Satisfiability Modulo Theories (Lecture Notes in Business Information Processing)
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 348. Codice articolo 18398554280
Compra nuovo
EUR 101,77
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Verification of Data-Aware Processes Via Satisfiability Modulo Theories
Editore:
Springer-Nature New York Inc, 2023
ISBN 10: 3031427459
ISBN 13: 9783031427459
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 345 pages. 9.25x6.10x0.72 inches. In Stock. Codice articolo x-3031427459
Compra nuovo
EUR 106,21
Spedizione EUR 11,58
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Verification of Data-Aware Processes via Satisfiability Modulo Theories
Editore:
Springer, Palgrave Macmillan Okt 2023, 2023
ISBN 10: 3031427459
ISBN 13: 9783031427459
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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 KG, Sachsenplatz 4-6, 1201 Wien 348 pp. Englisch. Codice articolo 9783031427459
Compra nuovo
EUR 70,61
Spedizione EUR 60,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Verification of Data-Aware Processes via Satisfiability Modulo Theories
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 348 | Sprache: Englisch | Produktart: Bücher | 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. Codice articolo 42514658/1
Compra usato
EUR 26,00
Spedizione EUR 105,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili