Blockchain technology offers a sizable promise to rethink the way interorganizational
business processes are managed because of its potential to realize execution without a …

AI-augmented Business Process Management Systems (ABPMSs) are an emerging class of
process-aware information systems, empowered by trustworthy AI technology. An ABPMS …

Abstract Information systems have to deal with an increasing amount of data that is
heterogeneous, unstructured, or incomplete. In order to align and complete data, systems …

During the last decade, various approaches have been put forward to integrate business
processes with different types of data. Each of these approaches reflects specific demands …

Shared ledger technologies, as exemplified by Blockchain, provide a new framework for
supporting business collaborations that is based on having a high-reliability, shared, trusted …

Combined modeling and verification of dynamic systems and the data they operate on has
gained momentum in AI and in several application domains. We investigate the expressive …

During the last decade, various approaches have been put forward to integrate business
processes with different types of data. Each of these approaches reflects specific demands …

Existing process modeling notations ranging from Petri nets to BPMN have difficulties
capturing the data manipulated by processes. Process models often focus on the control …

The integrated management of business processes and master data is being increasingly
considered as a fundamental problem, by both the academia and the industry. In this …

In the context of verification of data-aware processes, a formal approach based on
satisfiability modulo theories (SMT) has been considered to verify parameterised safety …