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 …

The need to extend business process languages with the capability to model complex data
objects along with the control flow perspective has lead to significant practical and …

Data-driven workflows, of which IBM's Business Artifacts are a prime exponent, have been
successfully deployed in practice, adopted in industrial standards, and have spawned a rich …

We briefly introduce the line of research on the verification of data-aware processes, with the
intention of raising more awareness of it within the automated reasoning community. On the …

Data-driven workflows, of which IBM's Business Artifacts are a prime exponent, have been
successfully deployed in practice, adopted in industrial standards, and have spawned a rich …

Abstract Enterprise Application Integration (EAI) constitutes the cornerstone in enterprise IT
landscapes that are characterized by heterogeneity and distribution. Starting from …

Since the data-aware business process usually covers the control flow and data flow, and
both of them have a direct impact on its execution, it is challenging to ensure its correctness …

Enterprise Integration Patterns (EIPs) and their extensions denote the informally described
building blocks of current Enterprise Application Integration (EAI) systems. Although a recent …

We define a process calculus to describe multi-agent systems with timeouts for
communication and mobility able to handle knowledge. The knowledge of an agent is …

Modern business environments are governed by a wide range of data in various data
formats. Despite the importance of integrating the data and control-flow perspective, existing …