2023 | OriginalPaper | Chapter
DABs: a Theoretical Framework for Data-Aware BPMN
Author : Alessandro Gianola
Published in: Verification of Data-Aware Processes via Satisfiability Modulo Theories
Publisher: Springer Nature Switzerland
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
In this chapter, we present the first application to business processes of the formal verification framework presented in Part . Specifically, we define a general model of Data-Aware Processes, called DAB, which is a theoretical extension of the BPMN language with full-fledged relational data. We also show how DABs can be translated into RASs, so as to transfer the verification results for RASs described in Part to this BPMN-oriented model. DABs are similar in spirit to artifact systems concerning the treatment of relational data, but employ a fragment of the BPMN language to express the process schema. We state in Section the main contributions that we provide by introducing DABs.The DAB framework is a theoretical framework that can be seen as the BPMN counterpart of RASs. In the next chapter, we will introduce an operational and implemented framework, called delta-BPMN, that can be seen as the practice-oriented version of DABs.The content of this chapter was first presented in [49].