Reference : Triple Graph Grammars in the Large for Translating Satellite Procedures
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/16919
Triple Graph Grammars in the Large for Translating Satellite Procedures
English
Hermann, Frank mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Gottmann, Susann mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Nachtigall, Nico mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Ehrig, Hartmut mailto [TU Berlin]
Braatz, Benjamin mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Morelli, Gianluigi [SES]
Pierre, Alain [SES]
Engel, Thomas mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Ermel, Claudia mailto [TU Berlin]
Jul-2014
Theory and Practice of Model Transformations
Springer
Lecture Notes in Computer Science
122-137
Yes
International
6th International Conference on Theory and Practice of Model Transformations (ICMT 2014)
07-2014
[en] model transformation ; software translation ; triple graph grammars ; Eclipse Modeling Framework ; refactoring
[en] Software translation is a challenging task. Several requirements are important – including automation of the execution, maintainability of the translation patterns, and, most importantly, reliability concerning the correctness of the translation.
Triple graph grammars (TGGs) have shown to be an intuitive, well-defined technique for model translation. In this paper, we leverage TGGs for industry scale software translations. The approach is implemented using the Eclipse-based graph transformation tool Henshin and has been successfully applied in a large industrial project with the satellite operator SES on the translation of satellite control procedures. We evaluate the approach regarding requirements from the project and performance on a complete set of procedures of one satellite.
http://hdl.handle.net/10993/16919

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
HGN+14-manuscript.pdfManuscript version, final publisher version available at: http://dx.doi.org/10.1007/978-3-319-08789-4_9Author postprint1.03 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.