Pragmatic model transformations for refactoring in Scilab/Xcos

被引:1
|
作者
Durak, Umut [1 ]
机构
[1] German Aerosp Ctr DLR, Inst Flight Syst, Lilienthalpl 7, D-38108 Braunschweig, Germany
关键词
Model refactoring; Scilab/Xcos; model engineering; model transformations;
D O I
10.1142/S1793962315410044
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Model-Based Development has become an industry wide standard paradigm. As an open source alternative, Scilab/Xcos is being widely employed as a hybrid dynamic systems modeling tool. With the increasing efficiency in implementation using graphical model development and code generation, the modeling and simulation community is struggling with assuring quality as well as maintainability and extendibility. Refactoring is defined as an evolutionary modernization activity where, most of the time, the structure of the artifact is changed to alter its quality characteristics, while keeping its behavior unchanged. It has been widely established as a technique for textual programming languages to improve the code structure and quality. While refactoring is also regarded as one of the key practices of model engineering, the methodologies and approaches for model refactoring are still under development. Architecture-Driven Modernization (ADM) has been introduced by the software engineering community as a model-based approach to software modernization, in which the implicit information that lies in software artifacts is extracted to models and model transformations are applied for modernization tasks. Regarding refactoring as a low level modernization task, the practices from ADM are adaptable. Accordingly, this paper proposes a model-based approach for model refactoring in order to come up with more efficient and effective model refactoring methodology that is accessible and extendable by modelers. Like other graphical modeling tools, Scilab/Xcos also possesses a formalized model specification conforming to its implicit metamodel. Rather than proposing another metamodel for knowledge extraction, this pragmatic approach proposes to conduct in place model-to-model transformations for refactoring employing the Scilab/Xcos model specification. To construct a structured model-based approach, the implicit Scilab/Xcos metamodel is explicitly presented utilizing ECORE as a meta-metamodel. Then a practical model transformation approach is established based on Scilab scripting. A Scilab toolset is provided to the modeler for in-place model-to-model transformations. Using a sample case study, it is demonstrated that proposed model transformation functions in Scilab provide a valuable refactoring tool.
引用
收藏
页数:23
相关论文
共 50 条
  • [31] From well-formedness to meaning preservation: model refactoring for almost free
    Friedrich Steimann
    Software & Systems Modeling, 2015, 14 : 307 - 320
  • [32] Dynamic Scope Discovery for Model Transformations
    Jukss, Maris
    Verbrugge, Clark
    Varro, Daniel
    Vangheluwe, Hans
    SOFTWARE LANGUAGE ENGINEERING, SLE 2014, 2014, 8706 : 302 - +
  • [33] Verification of system level model transformations
    Abdi, S
    Gajski, D
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2006, 34 (01) : 29 - 59
  • [34] Dealing with Traceability in the MDD of Model Transformations
    Manuel Vara, Juan
    Bollati, Veronica A.
    Jimenez, Alvaro
    Marcos, Esperanza
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2014, 40 (06) : 555 - 583
  • [35] Verification of System Level Model Transformations
    Samar Abdi
    Daniel Gajski
    International Journal of Parallel Programming, 2006, 34 : 29 - 59
  • [36] A survey of approaches for verifying model transformations
    Lukman Ab. Rahim
    Jon Whittle
    Software & Systems Modeling, 2015, 14 : 1003 - 1028
  • [37] Lifting Model Transformations to Product Lines
    Salay, Rick
    Famelis, Michalis
    Rubin, Julia
    Di Sandro, Alessio
    Chechik, Marsha
    36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2014), 2014, : 117 - 128
  • [38] Platform modeling and model transformations for analysis
    Szemethy, T
    Karsai, G
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2004, 10 (10) : 1383 - 1407
  • [39] Test case prioritization for model transformations
    Iqbal, Saqib
    Al-Azzoni, Issam
    JOURNAL OF KING SAUD UNIVERSITY-COMPUTER AND INFORMATION SCIENCES, 2022, 34 (08) : 6324 - 6338
  • [40] A survey of approaches for verifying model transformations
    Ab Rahim, Lukman
    Whittle, Jon
    SOFTWARE AND SYSTEMS MODELING, 2015, 14 (02): : 1003 - 1028