Automatic bridge between BPMN models and UML activity diagrams based on graph transformation

• Autorzy: Rahmoune Yasmina , Chaoui Allaoua

Identyfikatory

DOI

10.7494/csci.2022.23.3.4356

• Języki publikacji: EN

Abstrakty

EN

Model-driven engineering (MDE) provides the available tools, concepts, and languages for creating and transforming models. One of the most important successes of MDE is model transformation; it permits the transformion of models that are used by one community to equivalent models that can be used by another one. Moreover, each community of developers has its own tools for verification, testing, and test-case generation. Hence, a developer of one community who moves to another community needs a transformation process from the second community to his/her own community and vice versa. Therefore, the target community can benefit from the expertise of the source one, and the developers do not begin from zero. In this context, we propose an automatic transformation in this paper for creating a bridge between the BPMN and UML communities. We propose an approach and a visual tool for the automatic transformation of BPMN models to UML activity diagrams (UML-AD). The proposed approach is based on meta-modeling and graph transformation and uses the AToM3 tool. Indeed, we were inspired by the OMG meta-models of BPMN and UML-AD and implemented versions of both meta-models using AToM3 . This latter one allows for the automatic generation of a visual-modeling tool for each proposed meta-model. Based on these two meta-models, we propose a graph grammar that is composed of 58 rules that perform the transformation process. The proposed approach is illustrated through three case studies.

Słowa kluczowe

EN

MDE; BPMN; business process models; UML-AD; meta-modeling; graph grammars; models transformation; AToM3

• Wydawca: Wydawnictwa AGH
• Czasopismo: Computer Science
• Rocznik: 2022
• Tom: T. 23 (3)
• Strony: 411--445
• Opis fizyczny: Bibliogr. 45 poz., rys., tab.

Twórcy

autor

Rahmoune Yasmina

• Department of Computer Science, Assia Djebar Teacher Training School of Constantine, Constantine, Algeria
• MISC Laboratory, Abdelhamid Mehri Constantine2 University, Constantine, Algeria

autor

Chaoui Allaoua

• University Constantine 2-Abdelhamid Mehri, MISC Laboratory, Department of Computer Science and Its Applications, Faculty of Ntic, Constantine, Algeria

Bibliografia

• [1] Ab Rahim L., Whittle J.: A survey of approaches for verifying model transformations, Software & Systems Modeling, vol. 14(2), pp. 1003–1028, 2015. doi: 10.1007/s10270-013-0358-0.
• [2] Amjad A., Haq S.U., Abbas M., Arif M.H.: UML Profile for Business Process Modeling Notation. In: 2021 International Bhurban Conference on Applied Sciences and Technologies (IBCAST), pp. 389–394, 2021.
• [3] Amrani M., Combemale B., Lúcio L., Selim G.M., Dingel J., Le Traon Y., Vangheluwe H., Cordy J.R.: Formal Verification Techniques for Model Transformations: A Tridimensional Classification, Journal of Object Technology, vol. 14(3), pp. 1–43, 2015. doi: 10.5381/jot.2015.14.3.a1.
• [4] Amrani M., Syriani E., Wimmer M., Bill R., Gogolla M., Hermann F., Lano K.: Report on the Third Workshop on Verification of Model Transformations (VOLT 2014). In: Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations (STAF 2014), pp. 1–9, 2014.
• [5] Andries M., Engels G., Habel A., Hoffmann B., Kreowski H.J., Kuske S., Plump D., Schürr A., Taentzer G.: Graph transformation for specification and programming, Science of Computer Programming, vol. 34(1), pp. 1–54, 1999.
• [6] Bào N.Q.: A proposal for a method to translate BPMN model into UML activity diagram. In: 13th International Conference on Business Information Systems, 2010.
• [7] Birkmeier D.Q., Klöckner S., Overhage S.: An Empirical Comparison of the Usability of BPMN and UML Activity Diagrams for Business Users. In: P.M. Alexander, M. Turpin, J.P. van Deventer (eds.), 18th European Conference on Information Systems, ECIS 2010, Pretoria, South Africa, June 7–9, 2010, 2010. http://aisel.aisnet.org/ecis2010/51.
• [8] Bouzidi A., Haddar N., Abdallah M.B., Haddar K.: Deriving use case models from BPMN models. In: 2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA), pp. 238–243, 2017.
• [9] Business Analysis Guidebook: The car purchasing process. https://en.wikibooks. org/wiki/Business_Analysis_Guidebook/Requirement_Gathering_Tools.
• [10] Cibrán M.A.: Translating BPMN Models into UML Activities. In: Business Process Management Workshops. BPM 2008, Lecture Notes in Business Information Processing, vol. 17, pp. 236–247, Springer, Berlin–Heidelberg, 2008. doi: 10.1007/978-3-642-00328-8_23.
• [11] Dörr H.: Efficient Graph Rewriting and Its Implementation, Lecture Notes in Computer Science, vol. 922, Springer Science & Business Media, Berlin, Heidelberg, 1995. doi: 10.1007/BFb0031909.
• [12] Elmansouri R., Hamrouche H., Chaoui A.: From UML Activity Diagrams to CSP Expressions: A Graph Transformation Approach using Atom3 Tool, IJCSI International Journal of Computer Science Issues, vol. 8(2), pp. 368–374, 2011.
• [13] Elmansouri R., Meghzili S., Chaoui A.: A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems, Computer Science, vol. 22(2), 2021. doi: 10.7494/csci.2021.22.2.3478.
• [14] Eriksson H.E., Penker M.: Business Modeling with UML: Business Patterns at Work, New York, NY: John Wiley & Sons, 2000.
• [15] Geambaşu C.V.: BPMN vs. UML activity diagram for business process modeling, Accounting and Management Information Systems, vol. 11(4), pp. 934–945, 2012.
• [16] GROOVE: GRaphs for Object-Oriented Verification, home page, 2015. http: //groove.cs.utwente.nl/.
• [17] Hettab A., Kerkouche E., Chaoui A.: A Graph Transformation Approach for Automatic Test Cases Generation from UML Activity Diagrams. In: C3S2E’15: Proceedings of the Eighth International C* Conference on Computer Science & Software Engineering, pp. 88–97, 2015.
• [18] Kerkouche E., Chaoui A., Bourennane E.B., Labbani O.: A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation, Journal of Object Technology, vol. 9(4), pp. 25–43, 2010. doi: 10.5381/jot. 2010.9.4.a2.
• [19] Kerkouche E., Elmansouri R., Chaoui A., Khalfaoui K.: An Automatic Approach to Verify Business Process Models Using INA Petri Nets Analyzer, International Journal of Computer and Information Technology, vol. 3(4), pp. 706–711, 2014.
• [20] Kerkouche E., Khalfaoui K., Chaoui A.: A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach, International Journal of Computer Aided Engineering and Technology, vol. 12(2), pp. 237–262, 2020.
• [21] Kerkouche E., Khalfaoui K., Chaoui A., Aldahoud A.: UML Activity Diagrams and Maude Integrated Modeling and Analysis Approach Using Graph Transformation. In: ICIT 2015. 7th International Conference on Information Technology, pp. 515–521, 2015. doi: 10.15849/icit.2015.0093.
• [22] Korherr B., List B.: A UML 2 Profile for Event Driven Process Chains. In: Research and Practical Issues of Enterprise Information Systems, IFIP International Federation for Information Processing, vol. 205, pp. 161–172, Springer, Boston, 2006. doi: 10.1007/0-387-34456-X_16.
• [23] Küster J.M.: Definition and validation of model transformations, Software & Systems Modeling, vol. 5(3), pp. 233–259, 2006. doi: 10.1007/s10270-006-0018-8.
• [24] Lara de J.: A Tool for Multi-formalism and Meta-Modeling, home page, 2003. http://atom3.cs.mcgill.ca/.
• [25] Lara de J., Guerra E.: Towards the Uniform Manipulation of Visual and Textual Languages in AToM3. In: Proceedings of III Jornadas de Programación y Lenguajes. Universidad de Alicante, Alicante, Noviembre 12–14, 2003, 2003.
• [26] Lara de J., Vangheluwe H.: AToM3 : A Tool for Multi-formalism and Metamodelling. In: Fundamental Approaches to Software Engineering. FASE 2002, Lecture Notes in Computer Science, vol. 2306, pp. 174–188, Springer, Berlin– Heidelberg, 2002. doi: 10.1007/3-540-45923-5_12.
• [27] Lara de J., Vangheluwe H.: Using AToM3 as a Meta-CASE Tool. In: Proceedings of 4th International Conference on Enterprise Information Systems ICEIS 2002. Universidad de Castilla-La Mancha. Ciudad Real, April 3–6, 2002, 2002.
• [28] List B., Korherr B.: A UML 2 Profile for Business Process Modelling. In: Perspectives in Conceptual Modeling. ER 2005, pp. 85–96, Lecture Notes in Computer Science, vol. 3770, Springer, Berlin–Heidelberg, 2005. doi: 10.1007/11568346_10.
• [29] Macek O., Richta K.: The BPM to UML activity diagram transformation using XSLT. In: Proceedings of the Dateso 2009 Annual International Workshop on DAtabases, TExts, Specifications and Objects, pp. 119–129, 2009.
• [30] Meghzili S., Chaoui A., Strecker M., Kerkouche E.: On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL. In: 2017 IEEE International Conference on Information Reuse and Integration (IRI), pp. 419–426, IEEE, 2017. doi: 10.1109/IRI.2017.63.
• [31] Meghzili S., Chaoui A., Strecker M., Kerkouche E.: Verification of Model Transformations Using Isabelle/HOL and Scala, Information Systems Frontiers, vol. 21(1), pp. 45–65, 2019.
• [32] Meghzili S., Chaoui A., Strecker M., Kerkouche E.: An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models, International Journal of Software Innovation (IJSI), vol. 8(1), pp. 17–49, 2020.
• [33] OMG: Business Process Model and Notation, 2013. http://www.omg.org/spec/ BPMN/2.0.2/.
• [34] OMG: Documents Associated With Unified Modeling Language™ (UML®) Version 2.5, 2015. http://www.omg.org/spec/UML/2.5/.
• [35] Python Software Foundation: Python (python language) home page. https: //www.python.org/.
• [36] Rahmoune Y., Chaoui A., Kerkouche E.: A Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation, Procedia Computer Science, vol. 56, pp. 612–617, 2015. doi: 10.1016/j.procs.2015.07.261.
• [37] Recker J., Zur Muehlen M., Siau K., Erickson J., Indulska M.: Measuring method complexity: UML versus BPMN. In: Proceedings of the Fifteenth Americas Conference on Information Systems, pp. 1–9, Association for Information Systems, 2009.
• [38] Rodríguez A., Fernández-Medina E., Piattini M.: Analysis-Level Classes from Secure Business Processes Through Model Transformations. In: Trust, Privacy and Security in Digital Business. TrustBus 2007, Lecture Notes in Computer Science, vol. 4657, pp. 104–114, Springer, Berlin–Heidelberg, 2007. doi: 10.1007/ 978-3-540-74409-2_13.
• [39] Rodríguez A., Fernández-Medina E., Piattini M.: CIM to PIM Transformation: A Reality. In: Research and Practical Issues of Enterprise Information Systems II, IFIP International Federation for Information Processing, vol. 255, pp. 1239–1249, Springer, Boston, 2008. doi: 10.1007/978-0-387-76312-5_50.
• [40] Rozenberg G.: Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1, World Scientific, 1997.
• [41] Russell N., van der Aalst W.M.P., ter Hofstede A.H.M., Wohed P.: On the Suitability of UML 2.0 Activity Diagrams for Business Process Modelling. In: Proceedings of the 3rd Asia-Pacific Conference on Conceptual Modelling, vol. 53, pp. 95–104, Australian Computer Society, Inc., 2006.
• [42] Suchenia A., Łopata P., Wiśniewski P., Stachura-Terlecka B.: Towards UML representation for BPMN and DMN models. In: MATEC Web of Conferences, vol. 252, EDP Sciences, 2019.
• [43] Swain R.K., Panthi V., Behera P.K.: Generation of test cases using activity diagram, International Journal of Computer Science and Informatics, vol. 4(1), pp. 35–44, 2013. doi: 10.47893/IJCSI.2014.1171.
• [44] White S.A.: Process Modeling Notations and Workflow Patterns, Workflow Handbook, vol. 2004, pp. 265–294, 2004.
• [45] Wohed P., van der Aalst W.M.P., Dumas M., ter Hofstede A.H.M., Russell N.: On the Suitability of BPMN for Business Process Modelling. In: Business Process Management. BPM 2006, Lecture Notes in Computer Science, vol. 4102, pp. 161–176, Springer, Berlin–Heidelberg, 2006. doi: 10.1007/11841760_12.

Uwagi

PL

Opracowanie rekordu ze środków MEiN, umowa nr SONP/SP/546092/2022 w ramach programu "Społeczna odpowiedzialność nauki" - moduł: Popularyzacja nauki i promocja sportu (2022-2023).