Model refactoring using MoTMoT

被引:5
作者
Muliawan O. [1 ]
Janssens D. [1 ]
机构
[1] University of Antwerp, 2020 Antwerp
关键词
Graph based transformations; Higher order transformations; Model transformations; UML;
D O I
10.1007/s10009-010-0147-9
中图分类号
学科分类号
摘要
Reverse and roundtrip engineering have become important research topics in model driven engineering. In this paper, we report on the use of model-to-model transformer (MoTMoT), a tool for model transformation (Schippers et al. in Satellite of the second international conference on graph transformation, vol 127, issue 3, pp 5-16, 2004), for the realization of a number of refactoring operations; this was proposed as a case study at GraBaTs 2008. MoTMoT is based on the story driven modeling (SDM) language for graph rewriting; thus the refactorings modify a graph model derived from Java source code. Realizing the three refactorings proposed in the case study allows us to demonstrate the strengths and weaknesses of the tool, but it also forces us to consider numerous issues that require the use of standard compliant mechanisms. The case study highlights the benefits of MoTMoT as a transformation engine. Among the advantages of MoTMoT, we may mention that MoTMoT does not depend on a particular modeling tool to represent transformations, and the input models may be produced by arbitrary UML tools, separately from MoTMoT. This is in contrast to other transformation tools which depend on a custom built modeling tool. Moreover, MoTMoT can easily be extended with new language features to improve its support for model transformation. The underlying transformation language, SDM, is based on a very powerful paradigm and is capable of expressing the preconditions and checks required by the case study. We also address other, more general challenges of this case study: conciseness, readability, maintainability, efficiency and scalability are important features for the implementation. MoTMoT turns out to be a robust tool that provides an answer to these challenges. © 2010 Springer-Verlag.
引用
收藏
页码:201 / 209
页数:8
相关论文
共 50 条
  • [31] Using Petri Nets to Verify Design Model: A Survey
    Hijazi, Sherin
    Hudaib, Amjad
    PROCEEDINGS 2017 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND COMPUTATIONAL INTELLIGENCE (CSCI), 2017, : 1010 - 1015
  • [32] Using Model Transformation Techniques for the Superimposition of Architectural Styles
    Navarro, Elena
    Cuesta, Carlos E.
    Perry, Dewayne E.
    Roda, Cristina
    SOFTWARE ARCHITECTURE, 2011, 6903 : 379 - +
  • [33] Formalizing Data to Agent Model Mapping Using MOF: Application to a Model of Residential Mobility in Marrakesh
    Laatabi, Ahmed
    Marilleau, Nicolas
    Tri Nguyen-Huu
    Hbid, Hassan
    Babram, Mohamed Ait
    AGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGY AND APPLICATIONS, KES-AMSTA 2016, 2016, 58 : 107 - 117
  • [34] Lessons Learned on using Execution Model Implementation in Sparx Enterprise Architect for Verification of the Topological Functioning Model
    Ovchinnikova, Viktoria
    Nazaruka, Erika
    ENASE: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2017, : 355 - 366
  • [35] UML Class Model Generation of Images Using Neural Networks
    Nedelcu, Irina-Gabriela
    Ionita, Anca Daniela
    Mocanu, Stefan Alexandra
    Sara, Daniela
    2022 29TH INTERNATIONAL CONFERENCE ON SYSTEMS, SIGNALS AND IMAGE PROCESSING (IWSSIP), 2022,
  • [36] Using Alloy to model-check visual design notations
    Simons, AJH
    Fernández, CAFY
    Sixth Mexican International Conference on Computer Science, Proceedings, 2005, : 121 - 128
  • [37] A Model-Driven Approach for Using Templates in OWL Ontologies
    Parreiras, Fernando Silva
    Groener, Gerd
    Walter, Tobias
    Staab, Steffen
    KNOWLEDGE ENGINEERING AND MANAGEMENT BY THE MASSES, EKAW 2010, 2010, 6317 : 350 - 359
  • [38] Using Lightweight Formal Methods to Model Class and Object Diagrams
    Valles-Barajas, Fernando
    COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2012, 9 (01) : 411 - 429
  • [39] Effects of Using Examples on Structural Model Comprehension: A Controlled Experiment
    Zayan, Dina
    Antkiewicz, Michal
    Czarnecki, Krzysztof
    36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2014), 2014, : 955 - 966
  • [40] Using an MDA approach to model and evaluate cropping systems sustainability
    Sohbi Y.
    Reau R.
    Müller J.-P.
    Operational Research, 2010, 10 (3) : 301 - 327