Skip to main content
Springer Nature Link
Log in

Verification of Data-Aware Processes via Satisfiability Modulo Theories

  • Book
  • © 2023

Overview

Authors:
  1. Alessandro Gianola

    1. Free University of Bozen-Bolzano, Bolzano, Italy

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • 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
  • Investigates symbolic reasoning approaches to control the execution and interplay of data and processes

Part of the book series: Lecture Notes in Business Information Processing (LNBIP, volume 470)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 59.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.

 


Keywords

Table of contents (15 chapters)

  1. Front Matter

    Pages i-xxviii
    Download chapter PDF

  2. Introduction

    • Alessandro Gianola
    Pages 1-32

  3. Correction to: Verification of Data-Aware Processes via Satisfiability Modulo Theories

    • Alessandro Gianola
    Pages C1-C1

  4. Foundations of SMT-Based Safety Verification of Artifact Systems

    1. Front Matter

      Pages 33-33
      Download chapter PDF

    2. Preliminaries from Model Theory and Logic

      • Alessandro Gianola
      Pages 35-44

    3. Array-Based Artifact Systems: General Framework

      • Alessandro Gianola
      Pages 45-67

    4. Safety Verification of Artifact Systems

      • Alessandro Gianola
      Pages 69-96

    5. Decidability Results via Termination of the Verification Machinery

      • Alessandro Gianola
      Pages 97-120

  5. Automated Reasoning Techniques for Data-Aware Process Verification

    1. Front Matter

      Pages 121-121
      Download chapter PDF

    2. Preliminaries For (Uniform) Interpolation

      • Alessandro Gianola
      Pages 123-128

    3. Uniform Interpolation for Database Theories

      • Alessandro Gianola
      Pages 129-153

    4. Combination of Uniform Interpolants for DAPs Verification

      • Alessandro Gianola
      Pages 155-176

    5. MCMT: a Concrete Model Checker for DAPs

      • Alessandro Gianola
      Pages 177-196

  6. Applications

    1. Front Matter

      Pages 197-197
      Download chapter PDF

    2. Business Process Management and Petri Nets: Preliminaries

      • Alessandro Gianola
      Pages 199-211

    3. DABs: a Theoretical Framework for Data-Aware BPMN

      • Alessandro Gianola
      Pages 213-238

    4. delta-BPMN: the operational and implemented counterpart of DABs

      • Alessandro Gianola
      Pages 239-257

    5. Catalog Object-Aware Nets

      • Alessandro Gianola
      Pages 259-295

    6. Conclusions

      • Alessandro Gianola
      Pages 297-306

  7. Back Matter

    Pages 307-317
    Download chapter PDF
Back to top

Authors and Affiliations

  • Free University of Bozen-Bolzano, Bolzano, Italy

    Alessandro Gianola

Bibliographic Information

  • Book Title: Verification of Data-Aware Processes via Satisfiability Modulo Theories

  • Authors: Alessandro Gianola

  • Series Title: Lecture Notes in Business Information Processing

  • DOI: https://doi.org/10.1007/978-3-031-42746-6

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023

  • Softcover ISBN: 978-3-031-42745-9Published: 30 October 2023

  • eBook ISBN: 978-3-031-42746-6Published: 29 October 2023

  • Series ISSN: 1865-1348

  • Series E-ISSN: 1865-1356

  • Edition Number: 1

  • Number of Pages: XXVIII, 317

  • Number of Illustrations: 28 b/w illustrations

  • Topics: Computer Science, general, Artificial Intelligence, IT in Business

Publish with us

Policies and ethics

Back to top