Modeling, Enactment and Verification of Data-Aware Processes
MetadataShow full item record
During the last two decades, increasing attention has been given to the challenging problem of resolving the dichotomy between business process management and master data management. A substantial number of foundational results has been produced towards the formalisation and verification of data-aware business processes. Unfortunately, with few notable exceptions, such results never had a concrete impact in practice. As a consequence, contemporary process-management systems still lack suitable conceptual abstractions for data management, and do not consider data in the context of process verification. In this thesis work we advance the state of the art in data-aware business process management We create a bridge between foundational frameworks data-aware processes, and corresponding models that are closer to actual systems and implementations. We do so by considering both data-centric and process-centric modelling styles. As for data-centric approaches, we evolve the framework of data-centric dynamic systems into an actual instantiation and implementation that supports at once modelling, enactment, and verification on top of standard relational technology. As for process-centric approaches, we consider the framework of Petri nets with name creation and management, and establish novel results related to conceptual modelling and verification. Finally, we propose DB-nets, a new formal approach that suitably balances such contrasting modelling styles through the marriage of colored Petri nets and relational databases.
Showing items related by title, author, creator and subject.
Santoso, Ario (Free University of Bozen-Bolzano, 2015)The meet up between data, processes and structural knowledge in modeling complex enterprise systems is a challenging task that has led to the study of combining formalisms from knowledge representation, database theory, ...
Sabiucciu L; Montali M; Tessaris S (Springer, 2018)Verification of data-aware Business Processes is a highly complex and time consuming activity. As Business Processes tend to increase in terms of both size and complexity, the process of verifying such, becomes difficult ...
Montali M; Calvanese D; De Giacomo G (CEUR-WS, 2014)In this paper we investigate multiagent systems whose agent interaction is based on social commitments that evolve over time, in presence of (possibly incomplete) data. In particular, we are interested in modeling and ...