logo

EbookBell.com

Most ebook files are in PDF format, so you can easily read them using various software such as Foxit Reader or directly on the Google Chrome browser.
Some ebook files are released by publishers in other formats such as .awz, .mobi, .epub, .fb2, etc. You may need to install specific software to read these formats on mobile/PC, such as Calibre.

Please read the tutorial at this link:  https://ebookbell.com/faq 


We offer FREE conversion to the popular formats you request; however, this may take some time. Therefore, right after payment, please email us, and we will try to provide the service as quickly as possible.


For some exceptional file formats or broken links (if any), please refrain from opening any disputes. Instead, email us first, and we will try to assist within a maximum of 6 hours.

EbookBell Team

Verification Of Dataaware Processes Via Satisfiability Modulo Theories Alessandro Gianola

  • SKU: BELL-53460242
Verification Of Dataaware Processes Via Satisfiability Modulo Theories Alessandro Gianola
$ 31.00 $ 45.00 (-31%)

0.0

0 reviews

Verification Of Dataaware Processes Via Satisfiability Modulo Theories Alessandro Gianola instant download after payment.

Publisher: Springer
File Extension: PDF
File size: 4.63 MB
Pages: 345
Author: Alessandro Gianola
ISBN: 9783031427459, 3031427459, B0CF8343PH
Language: English
Year: 2023
Volume: 470

Product desciption

Verification Of Dataaware Processes Via Satisfiability Modulo Theories Alessandro Gianola by Alessandro Gianola 9783031427459, 3031427459, B0CF8343PH instant download after payment.

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.

Related Products