Transforming BPMN Diagrams into YAWL Nets

Decker, Gero; Dijkman, Remco M.; Dumas, Marlon; García‐Bañuelos, Luciano

doi:10.1007/978-3-540-85758-7_30

Cited by 35 publications

(27 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The future work includes applying this control-flow pattern based transformation method to transform other business process modeling languages to YAWL to check if we can get better transformation results than other transformation methods [28][29][30][31]. More over we aim to use this transformation method to convert the large amount of UML-AD process models to YAWL and analyze them with verification tools such as Woflan, WofYAWL and ProM.…”

Section: Discussionmentioning

confidence: 99%

“…Model transformation is used to bridge the gaps between different business process languages on a different level of abstraction in BPM. Lots of research work has been done to transform other business process modeling languages to YAWL [25,[28][29][30][31]. In [28,29] BPMN (business process modeling notation) has been transformed into YAWL.…”

Section: Model Transformationmentioning

confidence: 99%

“…Lots of research work has been done to transform other business process modeling languages to YAWL [25,[28][29][30][31]. In [28,29] BPMN (business process modeling notation) has been transformed into YAWL. In [30] EPC (Event-driven Process Chains) has been transformed into YAWL.…”

Section: Model Transformationmentioning

confidence: 99%

See 2 more Smart Citations

Control-Flow Pattern Based Transformation from UML Activity Diagram to YAWL

Zhao

Zhang

Ling

et al. 2012

Lecture Notes in Business Information Processing

View full text Add to dashboard Cite

Abstract. Business process verification is an important topic in business process management (BPM). The verification of standard UML Activity Diagram is not easy due to lack of mature tools. YAWL (yet another workflow language) has a formal semantics based on Petri net; verification of YAWL model seems easier than other modeling languages such as UML-AD. A series of mature verification tools has been released (Woflan, WofYAWL, ProM) based on YAWL to find structural errors, such as deadlocks in the model. These tools can be used for verifying UML-AD models if they can be transformed to YAWL models.The most challenging problem is that some control-flow patterns in UML-AD can't be transformed via an element-to-element mapping. To solve this problem we provide a control-flow pattern based method for transforming a UML-AD model to YAWL. We regard these patterns that need to be transformed as whole model segments, pick them out from the UML-AD model and transform the left part using an element-to-element mapping as well as an object flow transforming method. We subsequently transform the picked-out patterns via patterns-based transformation and combine all the transformed YAWL segments to a new YAWL net.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Model Transformationmentioning

confidence: 99%

See 1 more Smart Citation

Control-Flow Pattern Based Transformation from UML Activity Diagram to YAWL

Zhao

Zhang

Ling

et al. 2012

Lecture Notes in Business Information Processing

View full text Add to dashboard Cite

show abstract

“…The most common formalisations of BPMN are given via encodings to various formalisms, such as Petri Nets [9], [45], [46], [47], [48], or their extensions such as YAWL [49], [50] and ECATNets [51] [52], and process calculi [10], [53], [11], [54], [12], [55], [56], [57].…”

Section: B Bpmn Formalisation Via Encodingsmentioning

confidence: 99%

“…Among the proposed encodings, we would like to mention the ones by Ye and Song [49] and Dumas et al [50]. The former is defined under the well-formedness assumption, which instead we do not rely on.…”

Section: B Bpmn Formalisation Via Encodingsmentioning

confidence: 99%

BProVe: A formal verification framework for business process models

Corradini

Fornari

Polini

et al. 2017

2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)

View full text Add to dashboard Cite

Abstract-Business Process Modelling has acquired increasing relevance in software development. Available notations, such as BPMN, permit to describe activities of complex organisations. On the one hand, this shortens the communication gap between domain experts and IT specialists. On the other hand, this permits to clarify the characteristics of software systems introduced to provide automatic support for such activities. Nevertheless, the lack of formal semantics hinders the automatic verification of relevant properties.This paper presents a novel verification framework for BPMN 2.0, called BProVe. It is based on an operational semantics, implemented using MAUDE, devised to make the verification general and effective. A complete tool chain, based on the Eclipse modelling environment, allows for rigorous modelling and analysis of Business Processes. The approach has been validated using more than one thousand models available on a publicly accessible repository. Besides showing the performance of BProVe, this validation demonstrates its practical benefits in identifying correctness issues in real models.

show abstract

Automated conflict detection between medical care pathways

Weber

Filho

Bordbar

et al. 2017

J Software Evolu Process

View full text Add to dashboard Cite

Where a licence is displayed above, please note the terms and conditions of the licence govern your use of this document. When citing, please reference the published version. Take down policy While the University of Birmingham exercises care and attention in making items available there are rare occasions when an item has been uploaded in error or has been deemed to be commercially or otherwise sensitive.

show abstract

Transforming BPMN Diagrams into YAWL Nets

Cited by 35 publications

References 1 publication

Control-Flow Pattern Based Transformation from UML Activity Diagram to YAWL

Control-Flow Pattern Based Transformation from UML Activity Diagram to YAWL

BProVe: A formal verification framework for business process models

Automated conflict detection between medical care pathways

Contact Info

Product

Resources

About