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 条
  • [21] A Study on UML Model Convergence Using Model Transformation Technique for Heterogeneous Smartphone Application
    Kim, Woo Yeol
    Son, Hyun Seung
    Kim, Robert Young Chul
    SOFTWARE ENGINEERING, BUSINESS CONTINUITY, AND EDUCATION, 2011, 257 : 292 - 297
  • [22] Using Software Product Lines to Manage Model Families in Model-Driven Engineering
    Avila-Garcia, Orlando
    Estevez Garcia, Antonio
    Sanchez Rebull, E. Victor
    APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 1006 - 1011
  • [23] Model Reusability and Multidirectional Transformation using Unified Metamodel
    Thangaraj, Jagadeeswaran
    Ulaganathan, Senthilkumaran
    PROCEEDINGS OF 2018 IEEE DISTRIBUTED COMPUTING, VLSI, ELECTRICAL CIRCUITS AND ROBOTICS (DISCOVER), 2018, : 88 - 92
  • [24] Verification of Model Transformations Using Isabelle/HOL and Scala
    Said Meghzili
    Allaoua Chaoui
    Martin Strecker
    Elhillali Kerkouche
    Information Systems Frontiers, 2019, 21 : 45 - 65
  • [25] Using UML in control and automation: A model driven approach
    Thramboulidis, KC
    2004 2ND IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS: COLLABORATIVE AUTOMATION - ONE KEY FOR INTELLIGENT INDUSTRIAL ENVIRONMENTS, 2004, : 587 - 593
  • [26] Verification of Model Transformations Using Isabelle/HOL and Scala
    Meghzili, Said
    Chaoui, Allaoua
    Strecker, Martin
    Kerkouche, Elhillali
    INFORMATION SYSTEMS FRONTIERS, 2019, 21 (01) : 45 - 65
  • [27] Testing models and model transformations using classifying terms
    Frank Hilken
    Martin Gogolla
    Loli Burgueño
    Antonio Vallecillo
    Software & Systems Modeling, 2018, 17 : 885 - 912
  • [28] Using UML action semantics for model execution and transformation
    Sunyé, G
    Le Guennec, A
    Jézéquel, JM
    INFORMATION SYSTEMS, 2002, 27 (06) : 445 - 457
  • [29] Using Slicing to Improve the Performance of Model Invariant Checking
    Sun, Wuliang
    Combemale, Benoit
    France, Robert B.
    Blouin, Arnaud
    Baudry, Benoit
    Ray, Indrakshi
    JOURNAL OF OBJECT TECHNOLOGY, 2015, 14 (04): : 1 - 28
  • [30] 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