research-article

Industrial Experience with the Migration of Legacy Models using a DSL

Authors:

Mathijs Schuts,

Paul TielemansAuthors Info & Claims

RWDSL2018: Proceedings of the Real World Domain Specific Languages Workshop 2018

Article No.: 1, Pages 1 - 10

https://doi.org/10.1145/3183895.3183897

Published: 24 February 2018 Publication History

Abstract

Software departments of companies that exist for several decades often have to deal with legacy models. Important business assets have been modelled with tools that are no longer preferred within the company. Manually remodelling these models with a new tool would be too costly. In this paper, we describe an approach to migrate from Rhapsody models to models of another tool. To perform the migration, we created a Domain Specific Language (DSL) that accepts Rhapsody models as instances. A generator of this DSL can then produces model instances for the new tool. To get confidence in the transformation in a pragmatic way, we applied a combination of model learning and equivalence checking. Learning has been applied to both the source code generated by Rhapsody and the code generated by the new tool. The resulting models are compared using equivalence checking.

References

[1]

L. Bettini. Implementing Domain-Specific Languages with Xtext and Xtend. Packt Publishing Ltd, 2013.

Digital Library

[2]

S. Cranen, J. Groote, J. Keiren, F. Stappers, E. de Vink, W. Wesselink, and T. Willemse. An overview of the mCRL2 toolset and its recent advances. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 199--213. Springer, 2013.

Digital Library

[3]

K. Czarnecki and S. Helsen. Feature-based survey of model transformation approaches. IBM Systems Journal, 45(3):621--645, 2006.

Digital Library

[4]

A. David, J. Deneux, and J. d'Orso. A formal semantics for UML statecharts. Technical Report 2003-010, Uppsala University, 2003. URL http://www.it.uu.se/research/reports/2003-010/.

[5]

J. Ellson, E. Gansner, L. Koutsofios, S. C. North, and G. Woodhull. Graphviz--open source graph drawing tools. In International Symposium on Graph Drawing, pages 483--484. Springer, 2001.

[6]

R. Eshuis. Reconciling statechart semantics. Sci. Comput. Program., 74(3):65--99, 2009.

Digital Library

[7]

R. Grønmo and J. Oldevik. An empirical study of the UML model transformation tool (UMT). Proc. First Interoperability of Enterprise Software and Applications, Geneva, Switzerland, 2005.

[8]

D. Harel and H. Kugler. The Rhapsody semantics of statecharts (or, on the executable core of the UML). In Integration of Software Specification Techniques for Application in Engineering, volume 3147 of LNCS, pages 325--354. Springer, Heidelberg, 2004.

[9]

P. J. Hopcroft and G. H. Broadfoot. Combining the box structure development method and CSP for software development. Electron. Notes Theor. Comput. Sci., 128(6):127--144, 2005.

Digital Library

[10]

F. Howar, M. Isberner, M. Merten, and B. Steffen. Learnlib tutorial: From finite automata to register interface programs. In T. Margaria, editor, ISoLA 2012, volume 7609 of LNCS, pages 587--590. Springer, Heidelberg, 2012.

Digital Library

[11]

IBM. Rational Rhapsody Developer, 2017. URL www.ibm.com/software/products/en/ratirhapfami.

[12]

F. Jouault, F. Allilaire, J. Bézivin, I. Kurtev, and P. Valduriez. ATL: a QVT-like transformation language. In Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications, pages 719--720. ACM, 2006.

Digital Library

[13]

F. Jouault, F. Allilaire, J. Bézivin, and I. Kurtev. ATL: A model transformation tool. Science of computer programming, 72(1):31--39, 2008.

Digital Library

[14]

I. Kurtev, M. Schuts, J. Hooman, and D.-J. Swagerman. Integrating interface modeling and analysis in an industrial setting. In Proceedings 5th International Conference on Model-Driven Engineering and Software Development, pages 345--352, 2017.

Digital Library

[15]

T. Mens and P. Van Gorp. A taxonomy of model transformation. Electronic Notes in Theoretical Computer Science, 152:125--142, 2006.

Digital Library

[16]

A. Mooij, G. Eggen, J. Hooman, and H. van Wezep. Cost-effective industrial software rejuvenation using domain-specific models. In International Conference on Theory and Practice of Model Transformations, pages 66--81. Springer, 2015.

Digital Library

[17]

R. Pérez-Castillo, I. G.-R. De Guzman, and M. Piattini. Knowledge discovery metamodel-ISO/IEC 19506: A standard to modernize legacy systems. Computer Standards & Interfaces, 33(6):519--532, 2011.

Digital Library

[18]

M. Rosen, B. Lublinsky, K. Smith, and M. Balcer. Applied SOA: service-oriented architecture and design strategies. John Wiley & Sons, 2012.

Digital Library

[19]

M. Schuts, J. Hooman, and F. Vaandrager. Refactoring of legacy software using model learning and equivalence checking: an industrial experience report. In integrated Formal Methods, volume 9681 of LNCS, pages 311--325. Springer, 2016.

Digital Library

[20]

G. Selim, S. Wang, J. Cordy, and J. Dingel. Model transformations for migrating legacy models: an industrial case study. In European Conference on Modelling Foundations and Applications, pages 90--101. Springer, 2012.

Digital Library

[21]

G. M. Selim, S. Wang, J. R. Cordy, and J. Dingel. Model transformations for migrating legacy deployment models in the automotive industry. Software & Systems Modeling, 14(1):365--381, 2015.

Digital Library

[22]

S. Sendall and W. Kozaczynski. Model transformation: the heart and soul of model-driven software development. IEEE Software, 20(5): 42--45, 2003.

Digital Library

[23]

U. Tikhonova, M. Manders, M. van den Brand, S. Andova, and T. Verhoeff. Applying model transformation and Event-B for specifying an industrial DSL. In MoDeVVa@ MoDELS, pages 41--50, 2013.

[24]

L. Tratt. The MT model transformation language. In Proceedings of the 2006 ACM symposium on Applied computing, pages 1296--1303. ACM, 2006.

Digital Library

[25]

F. Vaandrager. Model learning. Communications of the ACM, 60(2): 86--95, 2017.

Digital Library

[26]

A. Van Deursen, E. Visser, and J. Warmer. Model-driven software evolution: A research agenda. Technical report, Delft University of Technology, Software Engineering Research Group, 2007.

[27]

J. Wiegand et al. Eclipse: A platform for integrating development tools. IBM Systems Journal, 43(2):371--383, 2004.

Digital Library

Cited By

Garhewal BDamasceno C(2023)An Experimental Evaluation of Conformance Testing Techniques in Active Automata Learning2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS)10.1109/MODELS58315.2023.00012(217-227)Online publication date: 1-Oct-2023
https://doi.org/10.1109/MODELS58315.2023.00012
Iung ACarbonell JMarchezan LRodrigues EBernardino MBasso FMedeiros B(2020)Systematic mapping study on domain-specific language development toolsEmpirical Software Engineering10.1007/s10664-020-09872-1Online publication date: 28-Aug-2020
https://doi.org/10.1007/s10664-020-09872-1

Index Terms

Industrial Experience with the Migration of Legacy Models using a DSL
1. Computer systems organization
  1. Dependable and fault-tolerant systems and networks
    1. Maintainability and maintenance
2. Software and its engineering
  1. Software notations and tools
    1. Context specific languages
      1. Domain specific languages
  2. Software organization and properties
    1. Software system structures
      1. Software system models
        Model-driven software engineering
        State systems

Recommendations

Mapping visual notations to MOF compliant models with QVT relations
SAC '07: Proceedings of the 2007 ACM symposium on Applied computing

Model-centric methodologies rely on the definition of domain-specific modeling languages for being able to create domain-specific models. With MOF the OMG adopted a standard which provides the essential constructs for the definition of semantic language ...
An EDOC-based Approach for Specific Middleware Services Development
MBD-MOMPES '06: Proceedings of the Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software

Several approaches for software development are being proposed to capture a domain and to reuse in future developments. Specific middleware services are an approach to facilitate the development of specific distributed applications. The modeling of the ...
An integrated framework for automated simulation of SysML models using DEVS

System models are constructed to design, study, and understand complex systems. According to the systems modeling language (SysML) that is a standard for model-based system engineering, all engineering activities should be performed using a common ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

RWDSL2018: Proceedings of the Real World Domain Specific Languages Workshop 2018

February 2018

70 pages

ISBN:9781450363556

DOI:10.1145/3183895

Copyright © 2018 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

In-Cooperation

EPSRC: Engineering and Physical Sciences Research Council
Heriot-Watt University: Heriot-Watt University

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 February 2018

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Conference

RWDSL2018

RWDSL2018: Real World Domain Specific Languages Workshop 2018

February 24, 2018

Vienna, Austria

Acceptance Rates

RWDSL2018 Paper Acceptance Rate 7 of 9 submissions, 78%;

Overall Acceptance Rate 7 of 9 submissions, 78%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
103
Total Downloads

Downloads (Last 12 months)9
Downloads (Last 6 weeks)1

Reflects downloads up to 14 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Garhewal BDamasceno C(2023)An Experimental Evaluation of Conformance Testing Techniques in Active Automata Learning2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS)10.1109/MODELS58315.2023.00012(217-227)Online publication date: 1-Oct-2023
https://doi.org/10.1109/MODELS58315.2023.00012
Iung ACarbonell JMarchezan LRodrigues EBernardino MBasso FMedeiros B(2020)Systematic mapping study on domain-specific language development toolsEmpirical Software Engineering10.1007/s10664-020-09872-1Online publication date: 28-Aug-2020
https://doi.org/10.1007/s10664-020-09872-1

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents