Business process monitoring enables a fast and specific overview of the process executions in an enterprise. Traditionally, this kind of monitoring requires a coherent event log. Yet, in reality, execution information is often heterogeneous and distributed. In this paper, we present an approach that enables monitoring of business processes with execution data, independently of the structure and...

This paper presents a framework combining BPMN and BR as a tool for Knowledge Management (KM). An attempt at providing a common model supported with Artificial Intelligence (AI) techniques and tools is put forward. Through an extended example it is shown how to combine BPMN and BR and how to pass to semantic level enabling building executable specifications and knowledge analysis. Some of the p...

We present the first direct formalization of the semantics of inclusive gateways as described in the Business Process Modeling Notation (BPMN) 2.0 Beta 1 specification. The formal semantics is given for a minimal subset of BPMN 2.0 containing just the inclusive and exclusive gateways and the start and stop events. By focusing on this subset we achieve a simple graph model that highlights the pa...

The manufacturing domain can be characterized by the concepts of product, process and resource. The coordination of humans, machines and materials is needed to attain a desired product by using knowledge, time, money and energy optimally. Business processes define such coordination. Business Process Model and Notation (BPMN) is an industry standard for modeling business processes. This standard...

Although the Business Process Modeling Notation (BPMN) is a popular tool for modeling business process in conceptual level, the result diagram may contain structural problem. One of the structural problems is livelock. In this problem, one token proceeds to end event, while other token is still in process with no progression. In this paper, we introduce an expression liked method to detect live...

This paper addresses the question how to verify that the local workflow of an organisation participating in a cross-organisational collaboration is in compliance with the globally specified rules of that collaboration. We assume that the collaborative workflow is specified as a BPMN Collaboration Diagram and the local workflows as BPMN Process Diagrams. We then employ existing LTL semantics of ...

We describe a framework for the de-materialization of local public administration processes that provides remote assistance by human operators when needed. Our framework is in an advanced state of development and will be tested in several municipalities of the province of Trento (Italy). Like many European countries, Italy is merging little municipalities into districts in order to streamline l...

Whereas, traditionally, business processes use the Internet of Things (IoTs) as a distributed source information, increase computational capabilities IoT devices provides them with means to also execute parts logic, reducing amount exchanged data and central processing. Current approaches based on Business Process Model Notation (BPMN) already support modelers define both behavior at same level...

The Business Process Model and Notation 2.0 is nowadays the de-facto standard for process and workflow modeling. It is supported by many modeling tools and engines which are able to consume and execute processes modeled in the native BPMN 2.0 syntax. Despite its popularity, there are still issues and drawbacks regarding standard compliance of BPMN 2.0 process models. This paper elaborates on re...

BPMN is an emerging standard for process modelling and has the potential to become a process specification language to capture and exchange process models between stakeholders and tools. Ongoing research and standardisation efforts target a formal behavioural semantics and metamodel. Yet it is hardly specified how humans are embedded in the processes and how the work distribution among human re...