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

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.Categories and Subject Descriptors: D.2.1 [Requirements]: Requirements –Methodologies.General Terms: Theory.
Type de document :
Communication dans un congrès
Marten Sinderen; Pontus Johnson; Xiaofei Xu; Guy Doumeingts. 4th International Working Conference on Enterprise Interoperability (IWEI), Sep 2012, Harbin, China. Springer, Lecture Notes in Business Information Processing, LNBIP-122, pp.129-145, 2012, Enterprise Interoperability. 〈10.1007/978-3-642-33068-1_13〉
Liste complète des métadonnées

Littérature citée [45 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01515747
Contributeur : Hal Ifip <>
Soumis le : vendredi 28 avril 2017 - 09:58:53
Dernière modification le : vendredi 28 avril 2017 - 10:00:54
Document(s) archivé(s) le : samedi 29 juillet 2017 - 12:50:25

Fichier

978-3-642-33068-1_13_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Zhaogang Han, Li Zhang, Jiming Ling, Shihong Huang. Control-Flow Pattern Based Transformation from UML Activity Diagram to YAWL. Marten Sinderen; Pontus Johnson; Xiaofei Xu; Guy Doumeingts. 4th International Working Conference on Enterprise Interoperability (IWEI), Sep 2012, Harbin, China. Springer, Lecture Notes in Business Information Processing, LNBIP-122, pp.129-145, 2012, Enterprise Interoperability. 〈10.1007/978-3-642-33068-1_13〉. 〈hal-01515747〉

Partager

Métriques

Consultations de la notice

33

Téléchargements de fichiers

29