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 条
  • [41] Automated model transformations using the C.C language
    Merunka, Vojtech
    Nouza, Oldrich
    Brozek, Jiri
    [J]. ADVANCES IN ENTERPRISE ENGINEERING I, PROCEEDINGS, 2008, 10 : 137 - +
  • [42] EVALUATING UML SEQUENCE MODELS USING THE SPIN MODEL CHECKER
    Shinkawa, Yoshiyuki
    [J]. ICEIS 2010: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 3: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2010, : 417 - 422
  • [43] Building Dynamic Model in UML using Colored Petri Nets
    Zhanhg Hong-xia
    Zhu Lian-zhang
    [J]. 2009 INTERNATIONAL SYMPOSIUM ON COMPUTER NETWORK AND MULTIMEDIA TECHNOLOGY (CNMT 2009), VOLUMES 1 AND 2, 2009, : 805 - 808
  • [44] Model-Based System Testing Using Visual Contracts
    Gueldali, Baris
    Mlynarski, Michael
    Wuebbeke, Andreas
    Engels, Gregor
    [J]. 2009 35TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS, 2009, : 121 - 124
  • [45] A Rigorous Reasoning about Model Transformations Using the B Method
    Idani, Akram
    Ledru, Yves
    Anwar, Adil
    [J]. ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, BPMDS 2013, 2013, 147 : 426 - 440
  • [46] Model-driven user requirements specification using SysML
    Soares, Michel dos Santos
    Vrancken, Jos
    [J]. Journal of Software, 2008, 3 (06) : 57 - 68
  • [47] OSGi Services Design Process using Model Driven Architecture
    Cano, Julio
    Martinez Madrid, Natividad
    Seepold, Ralf
    [J]. 2009 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1 AND 2, 2009, : 791 - 794
  • [48] Formal Representation of Fuzzy Data Model Using Description Logic
    Bhattacharya, Indira
    Ghosh, Soumya K.
    [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2013, PT IV, 2013, 7974 : 108 - 119
  • [49] Towards Model-Based Optimisation: Using Domain Knowledge Explicitly
    Zschaler, Steffen
    Mandow, Lawrence
    [J]. SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS (STAF 2016), 2016, 9946 : 317 - 329
  • [50] Model-Based Measurement of Software Layers Using the COSMIC Method
    Lavazza, Luigi
    [J]. PROCEEDINGS OF THE 11TH EUROPEAN CONFERENCE ON INFORMATION SYSTEMS MANAGEMENT (ECISM 2017), 2017, : 157 - 167