000			01693nam a2200301Ia 4500
000			03270nam a22003375i 4500
001			978-3-031-42746-6
003			DE-He213
005			20240319121137.0
007			cr nn 008mamaa
008			231029s2023 sz | s |||| 0|eng d
020			_a9783031427466 _9978-3-031-42746-6
082			_a650.0285;658.05
100			_aGianola, Alessandro. _939378
245			_aVerification of Data-Aware Processes via Satisfiability Modulo Theories _cby Alessandro Gianola. _h[electronic resource] /
250			_a1st ed. 2023.
260			_aCham _bSpringer Nature Switzerland _c2023
300			_aXXVIII, 317 p. 28 illus. _bonline resource.
520			_aThis 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. .
650			_aArtificial intelligence. _939379
650			_aArtificial Intelligence. _939380
650			_aBusiness _939381
650			_aBusiness Informatics. _939382
650			_aBusiness information services. _939383
650			_aIT in Business. _939384
856			_uhttps://doi.org/10.1007/978-3-031-42746-6
942			_cEBK _2ddc
999			_c15865 _d15865