A proposal for a method to translate MAP model into BPMN process diagram

A proposal for a method to translate BPMN model into UML activity diagram

Formal Method in Service Composition in Heath Care Systems

One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...

Faster Or-Join Enactment for BPMN 2.0

We propose an efficient algorithm that enacts the control-flow of BPMN, in particular the inclusive Or-join gateway. The original algorithm for enacting Or-joins in BPMN 2.0 needs, upon each token move in the diagram, linear time in the number of edges of the diagram to find out whether a given Or-join is enabled, whereas our proposal essentially needs only constant time to do so.

A BPMN Model of the Charite Stroke Treatment Process

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...

An Analytical Evaluation of BPMN Using a Semiotic Quality Framework

Evaluation of modelling languages is important both to be able to select the most suitable languages according to the needs, and to improve existing languages. In this paper Business Process Modeling Notation (BPMN) is presented and analytically evaluated according to the Semiotic Quality Framework. BPMN is a functionally oriented language well suited for modeling within the domain of business ...