this paper presents a novel approach for transforming Business Rules expressed with Semantic of Business Vocabulary and Rules (SBVR) into (BPMN) Business Process models. This transformation provides several benefits to Information System project stakeholders, such as: enhancing requirement validation and refinement, improving Business Processes documentation, and reducing their overall modeling...

While today’s agent oriented software engineering facilitates the development of complex, distributed systems, fundamental problems remain. One of the difficulties is that one can see only part of the system, or one side of the business, but not the whole context. BPMN is considered a remedy here, but while suitable for modelling some aspects of agenthood, there are others for which BPMN does n...

In the healthcare domain, business process management (BPM) has become a valuable asset [8]. Thereby, BPM heavily relies on process models to identify, review, validate, verify, represent, and communicate process knowledge [11]. In this paper, we describe the model of a treatment process for stroke patients at the Charité Berlin, one of the largest university hospitals in Europe. We observe the...

This paper presents a new approach for workflow design in cloud computing. Generally the workflow design in cloud computing is specified by BPEL/BPMN, which is transformed into the existing formal methods for analysis and verification of the design. However the main paradigms of the existing methods reveal some limitations to the design due to their structural characteristics: process algebras ...

The Business Process Model and Notation (BPMN) has recently emerged as an international standard for modelling business processes. This is one of the most important developments in the history of the IS field, which has the potential to unify the business process management (BPM) field in the same way UML has unified software engineering. Like most business process modelling notations, BPMN is ...

Process mining is a well established research discipline comprising approaches for process analysis based on the history of process executions. One of the main directions in the process mining field is process discovery. Process discovery aims to develop methods for constructing process models from the event logs. The ultimate goal of process discovery is to obtain readable process models, whic...

Concerns such as compliance, auditing, business activity monitoring or accounting need to be addressed in the early stages of modeling and not only at the implementation or execution levels. Mostly, such concerns are modeled as part of the normal flow in business process models. However, the crosscutting nature of such concerns leads to scattered and tangled models. When we try to model busines...

Business processes play an important role in Service-Oriented Architectures. Commonly, the business processes are designed in the Business Process Modeling Notation (BPMN), which allows their development even by persons without programming skills. Being abstract and high-level BPMN is not suitable for direct execution, though. The natural choice for implementing business processes is the Busine...

Business Process Modeling Notation has become a powerful and widely accepted visual language for modeling business processes. Despite its expressive power and high usability, a weak point of BPMN is the lack of formal semantics and difficulties with assuring correctness of the overall process. In this paper an attempt is made towards investigation and development of foundations for a logical, d...

The Business Process Modeling Notation (BPMN) and the Business Process Execution Language (BPEL) are the de-facto standards for process modeling and implementation. While BPMN allows to define choreographies, i.e. the interaction behavior of interconnected services, BPEL only allows an endpoint-centric view on services. To achieve applicability of BPEL in the choreography space, we defined BPEL...