| 书目名称 | Verification of Data-Aware Processes via Satisfiability Modulo Theories |
| 编辑 | Alessandro Gianola |
| 视频video | |
| 概述 | Received the BPM 2022 Dissertation award for an outstanding thesis in the field of business process management.Applies principles, methods and techniques from automated reasoning to business processes |
| 丛书名称 | Lecture Notes in Business Information Processing |
| 图书封面 |  |
| 描述 | .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... . |
| 出版日期 | Book 2023 |
| 关键词 | Business Process Management; Business Process Verification; Data-Aware Processes; Model Checking; Automa |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-031-42746-6 |
| isbn_softcover | 978-3-031-42745-9 |
| isbn_ebook | 978-3-031-42746-6Series ISSN 1865-1348 Series E-ISSN 1865-1356 |
| issn_series | 1865-1348 |
| copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
发表于 2025-3-21 19:27:17
