Abstract
In this paper, we describe our ongoing work on model transformation chains. Model transformation chains refer to the sequences of model transformations in Model Driven Engineering (MDE). The transformations represent and formalise typical model/software engineering activities, and their chaining is the natural composition of such activities. Model transformation chains found in industrial practice vary widely, depending on the specific domain they are used in. By explicitly modelling development activities, these activities can be analysed and the MDE process may be improved. As a step towards such analyses, we propose an integrated framework to describe all the artifacts involved in model transformation chains, as well as the means to execute “enact” those chains. We describe the Formalism Transformation Graph + Process Model (FTG+PM) which is at the heart of our framework in detail.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Sendall, S., Kozaczynski, W.: Model Transformation – The Heart and Soul of Model-Driven Software Development. IEEE Software 20(5), 42–45 (2003)
Oldevik, J.: Transformation Composition Modelling Framework. In: Kutvonen, L., Alonistioti, N. (eds.) DAIS 2005. LNCS, vol. 3543, pp. 108–114. Springer, Heidelberg (2005)
Vanhooff, B., Van Baelen, S., Hovsepyan, A., Joosen, W., Berbers, Y.: Towards a transformation chain modeling language. In: Vassiliadis, S., Wong, S., Hämäläinen, T.D. (eds.) SAMOS 2006. LNCS, vol. 4017, pp. 39–48. Springer, Heidelberg (2006)
Vanhooff, B., Ayed, D., Van Baelen, S., Joosen, W., Berbers, Y.: UniTI – A Unified Transformation Infrastructure. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 31–45. Springer, Heidelberg (2007)
Heidenreich, F., Kopcsek, J., Aßmann, U.: Safe composition of transformations. Journal of Object Technology 10(7), 1–20 (2011), http://dx.doi.org/10.5381/jot.2011.10.1.a7
Wagelaar, D.: Blackbox composition of model transformations using domain-specific modelling languages. In: Proceedings of the First European Workshop on Composition of Model Transformations, pp. 15–20 (2006), http://doc.utwente.nl/66171/1/00000179.pdf
Seibel, A., Hebig, R., Neumann, S., Giese, H.: A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations. In: Sloane, A., Aßmann, U. (eds.) SLE 2011. LNCS, vol. 6940, pp. 19–39. Springer, Heidelberg (2012)
Kleppe, A.: MCC – A Model Transformation Environment. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 173–187. Springer, Heidelberg (2006)
Mannadiar, R.: A Multi-Paradigm Modelling Approach to the Foundations of Domain-Specific Modelling. PhD thesis, McGill University (2012), http://msdl.cs.mcgill.ca/people/raphael/files/thesis.pdf
Giese, H., Levendovszky, T., Vangheluwe, H.: Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools. In: Kühne, T. (ed.) MoDELS 2006. LNCS, vol. 4364, pp. 252–262. Springer, Heidelberg (2007)
Dörr, H.: Efficient Graph Rewriting and Its Implementation. LNCS, vol. 922. Springer, Heidelberg (1995)
de Lara, J., Vangheluwe, H.: AToM3: A Tool for Multi-formalism and Meta-Modelling. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 174–188. Springer, Heidelberg (2002)
Lúcio, L., Joachim, D., Vangheluwe, H.: An Overview of Model Transformations for a Simple Automotive Power Window. McGill University, Technical Report SOCS-TR-2012.2 (2012), http://msdl.cs.mcgill.ca/people/levi/30_publications/files/tech_report_mcgill_SOCS-TR-2012.2.pdf
Mustafiz, S., et al.: The FTG+PM framework for Multi-Paradigm modelling – An automotive case study. Paper for 6th International Workshop on Multi-Paradigm Modeling (2012), http://avalon.aut.bme.hu/mpm12/papers/paper17.pdf
Mosterman, P., Vangheluwe, H.: Computer Automated Multi-Paradigm Modeling – An Introduction. Simulation 80(9), 433–450 (2004)
Dorf, R.C.: Modern Control Systems, 12th edn. Pearson (2010)
Lúcio, L., et al.: The formalism transformation graph as a guide to model driven engineering. McGill University, Technical Report SOCS-TR-2012.1 (2012), http://msdl.cs.mcgill.ca/people/levi/30_publications/files/tech_report_mcgill_SOCS-TR-2012.1.pdf
Bottoni, P., Saporito, A.: Resource-based enactment and adaptation of workflows from activity diagrams. Electronic Communications of the EASST 18 (2009), http://journal.ub.tu-berlin.de/eceasst/article/view/233
Favre, J.-M.: Foundations of Model (Driven) (Reverse) Engineering: Models - Episode I: Stories of The Fidus Papyrus and of The Solarus. In: Language Engineering for Model-Driven Software Development, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany (2004), http://drops.dagstuhl.de/opus/volltexte/2005/13
Favre, J.-M.: Foundations of Model (Driven) (Reverse) Foundations of Meta-Pyramids: Languages vs. Metamodels - Episode II: Story of Thotus the Baboon. In: Language Engineering for Model-Driven Software Development, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany (2005), http://drops.dagstuhl.de/opus/volltexte/2005/21
Rivera, J., et al.: Orchestrating ATL model transformations. Model Transformation with ATL, 34–46 (2009), http://docatlanmod.emn.fr/MtATL2009Presentations/PreliminaryProceedings.pdf
Guerra, E., de Lara, J., Kolovos, D.S., Paige, R.F., dos Santos, O.M.: transML: A Family of Languages to Model Model Transformations. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 106–120. Springer, Heidelberg (2010)
Paige, R., et al.: The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering. In: Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009), pp. 162–171. IEEE Computer Society (2009)
Aldazabal, A., et al.: Automated model driven development processes. In: ECMDA Workshop on Model Driven Tool and Process Integration 2008, pp. 43–54. Fraunhofer IRB Verlag (2008), http://www.modelbus.org/modelbus/images/stories/docs/7AutomatedDevelopment.pdf
Diaw, S., Lbath, R., Coulette, B.: Specification and Implementation of SPEM4MDE, a metamodel for MDE software processes. In: Proceedings of SEKE 2011, pp. 646–653. Knowledge Systems Institute Graduate School (2011), http://www.ksi.edu/seke/Proceedings/seke11/173_Samba_DIAW.pdf
Chou, S.-C.: A process modeling language consisting of high level UML-based diagrams and low level process language. Journal of Object Technology 1(4), 137–163 (2002), http://dx.doi.org/10.5381/jot.2002.1.4.a3
Bendraou, R., et al.: Definition of an executable SPEM 2.0. In: Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), pp. 390–397. IEEE Computer Society (2007)
Object Management Group: Software & Systems Process Engineering Metamodel Specification (SPEM) Version 2.0 formal specification – formal/2008-04-0 (2008), http://www.omg.org/spec/SPEM/2.0/PDF/
Amrani, M., et al.: Towards a Model Transformation Intent Catalog. In: Proceedings of the First Workshop on the Analysis of Model Transformation (AMT 2012), pp. 3–8. ACM (2012)
Amrani, M., et al.: A Tridimensional Approach for Studying the Formal Verification of Model Transformations. In: Proceedings of the 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST 2012), pp. 921–928. IEEE Computer Society (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lúcio, L., Mustafiz, S., Denil, J., Vangheluwe, H., Jukss, M. (2013). FTG+PM: An Integrated Framework for Investigating Model Transformation Chains. In: Khendek, F., Toeroe, M., Gherbi, A., Reed, R. (eds) SDL 2013: Model-Driven Dependability Engineering. SDL 2013. Lecture Notes in Computer Science, vol 7916. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38911-5_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-38911-5_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38910-8
Online ISBN: 978-3-642-38911-5
eBook Packages: Computer ScienceComputer Science (R0)