Triple Graph Grammars in the Large for Translating Satellite Procedures

Hermann, Frank; Gottmann, Susann; Nachtigall, Nico; Ehrig, Hartmut; Braatz, Benjamin; Morelli, Gianluigi; Pierre, Alain; Engel, Thomas; Ermel, Claudia

Download

Paper published in a book (Scientific congresses, symposiums and conference proceedings)

Triple Graph Grammars in the Large for Translating Satellite Procedures

Hermann, Frank; Gottmann, Susann; Nachtigall, Nico et al.

2014 • In Theory and Practice of Model Transformations

Peer reviewed

Permalink
https://hdl.handle.net/10993/16919

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

HGN+14-manuscript.pdf

Author postprint (1.06 MB)

Manuscript version, final publisher version available at: http://dx.doi.org/10.1007/978-3-319-08789-4_9

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Keywords :

model transformation; software translation; triple graph grammars; Eclipse Modeling Framework; refactoring

Abstract :

[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.

Disciplines :

Computer science

Author, co-author :

Hermann, Frank ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

Gottmann, Susann ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

Nachtigall, Nico ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

Ehrig, Hartmut; TU Berlin

Braatz, Benjamin ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

Morelli, Gianluigi; SES

Pierre, Alain; SES

Engel, Thomas ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)

Ermel, Claudia; TU Berlin

Language :

English

Title :

Triple Graph Grammars in the Large for Translating Satellite Procedures

Publication date :

July 2014

Event name :

6th International Conference on Theory and Practice of Model Transformations (ICMT 2014)

Event date :

07-2014

Audience :

International

Main work title :

Theory and Practice of Model Transformations

Publisher :

Springer

Collection name :

Lecture Notes in Computer Science

Pages :

122-137

Peer reviewed :

Peer reviewed

Available on ORBilu :

since 06 June 2014

Statistics

Number of views

290 (38 by Unilu)

Number of downloads

252 (11 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

WoS citations^™

Bibliography

Anjorin, A., Cunha, A., Giese, H., Hermann, F., Rensink, A., Schürr, A.: Bench-marx. In: Bidirectional Model Transformations 2014. CEUR-Workshop Proceedings, vol. 1133, pp. 82-86. CEUR (2014)
Baxter, I., Pidgeon, P., Mehlich, M.: DMS: Program transformations for practical scalable software evolution. In: Software Engineering (ICSE 2004). IEEE Press (2004)
Bravenboer, M., Kalleberg, K.T., Vermaas, R., Visser, E.: Stratego/XT 0.17. a language and toolset for program transformation. Science of Computer Programming 72(1-2), 52-70 (2008)
Cordy, J.R.: The TXL source transformation language. Science of Computer Programming 61(3), 190-210 (2006)
Cordy, J.R.: Excerpts from the TXL cookbook. In: Fernandes, J.M., Lämmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2009. LNCS, vol. 6491, pp. 27-91. Springer, Heidelberg (2011)
The Eclipse Foundation: Xtext-Language Development Framework-Version 2.2.1 (2012)
http://www.eclipse.org/Xtext/
The Eclipse Foundation: EMF Henshin-Version 0.9.4 (2013), http://www.eclipse.org/modeling/emft/henshin/
Ehrig, H., Ehrig, K., Hermann, F.: From model transformation to model integration based on the algebraic approach to triple graph grammars. ECEASST 10, 14 (2008)
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer (2006)
Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information preserving bidirectional model transformations. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp. 72-86. Springer, Heidelberg (2007)
Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Software and Systems Modeling 8(1), 21-43 (2009)
Hegedüs, A., Horv́ath, A., Varŕo, D.: Towards guided trajectory exploration of graph transformation systems. ECEASST 40 (2010)
Hermann, F., Ehrig, H., Golas, U., Orejas, F.: Efficient analysis and execution of correct and complete model transformations based on triple graph grammars. In: Model Driven Interoperability (MDI 2010), pp. 22-31. ACM (2010)
Hermann, F., Ehrig, H., Orejas, F., Golas, U.: Formal analysis of functional behaviour of model transformations based on triple graph grammars. In: Ehrig, H., Rensink, A., Rozenberg, G., Schürr, A. (eds.) ICGT 2010. LNCS, vol. 6372, pp. 155-170. Springer, Heidelberg (2010)
Hermann, F., Gottmann, S., Nachtigall, N., Braatz, B., Morelli, G., Pierre, A., Engel, T.: On an Automated Translation of Satellite Procedures Using Triple Graph Grammars. In: Duddy, K., Kappel, G. (eds.) ICMB 2013. LNCS, vol. 7909, pp. 50-51. Springer, Heidelberg (2013)
Hermann, F., Gottmann, S., Nachtigall, N., Ehrig, H., Braatz, B., Morelli, G., Pierre, A., Engel, T., Ermel, C.: Triple Graph Grammars in the Large for Translating Satellite Procedures-Extended Version. Tech. rep. TR-SnT-2014-7, University of Luxembourg, SnT (2014), http://orbilu.uni.lu/
Hildebrandt, S., Lambers, L., Giese, H., Rieke, J., Greenyer, J., Scḧafer, W., Lauder, M., Anjorin, A., Schürr, A.: A survey of triple graph grammar tools. In: Stevens, P., Terwilliger, J.F. (eds.) Bidirectional Transformations 2013. ECEASST, vol. 57. European Association of Software Science and Technology (2013)
Kats, L.C.L., Visser, E.: The Spoofax language workbench. rules for declarative specification of languages and IDEs. In: Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010 (2010)
Klint, P., Vinju, J.J., van der Storm, T.: RASCAL: A domain specific language for source code analysis and manipulation. In: Source Code Analysis and Manipulation. pp. 168-177. IEEE Computer Society (2009)
Klint, P., van der Storm, T., Vinju, J.: EASY meta-programming with Rascal. In: Fernandes, J.M., L̈ammel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2009. LNCS, vol. 6491, pp. 222-289. Springer, Heidelberg (2011)
Lambers, L.: Certifying Rule-Based Models using Graph Transformation. Ph.D. thesis, Technische Universiẗat Berlin (2009)
Lauder, M., Anjorin, A., Varŕo, G., Schürr, A.: Bidirectional model transformation with precedence triple graph grammars. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., Sẗorrle, H., Kolovos, D. (eds.) ECMFA 2012. LNCS, vol. 7349, pp. 287-302. Springer, Heidelberg (2012)
Ḿesźaros, T., Mezei, G., Levendovszky, T., Asztalos, M.: Manual and automated performance optimization of model transformation systems. International Journal on Software Tools for Technology Transfer 12(3-4), 231-243 (2010)
Parr, T., Fisher, K.: LL(*): the foundation of the ANTLR parser generator. ACM SIGPLAN Notices 46(6), 425-436 (2011)
Schürr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151-163. Springer, Heidelberg (1995)
Schürr, A., Klar, F.: 15 years of triple graph grammars. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 411-425. Springer, Heidelberg (2008)
SES Engineering: SPELL-Satellite Procedure Execution Language & Library-Version 2.3.13 (2013), http://code.google.com/p/spell-sat/
TFS-Group, TU Berlin: AGG (2014), http://www.tfs.tu-berlin.de/agg
Tichy, M., Krause, C., Liebel, G.: Detecting performance bad smells for Henshin model transformations. In: Proc. Analysis of Model Transformations (AMT 2013). CEUR-Workshop Proceedings, vol. 1077, pp. 82-86. CEUR (2013)