model transformation; model synchronisation; triple graph grammars; bidirectional engineering; Eclipse Modeling Framework (EMF)
Abstract :
[en] The development and maintenance of satellite control software are very complex, mission-critical and cost-intensive tasks that require expertise from different domains. In order to adequately address these challenges, we propose to use visual views of the software to provide concise abstractions of the system from different perspectives. This paper introduces a visual language for process flow models of satellite control procedures that we developed in cooperation with the industrial partner SES for the satellite control language SPELL. Furthermore, we present a general and formal bidirectional engineering approach for automatically translating satellite control procedures into corresponding process flow visualisations. The bidirectional engineering framework is supported by a visual editor based on Eclipse GMF, the transformation tool HenshinTGG, and additional extensions to meet requirements set up by the specific application area of satellite control languages.
Disciplines :
Computer science
Author, co-author :
Gottmann, Susann ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Hermann, Frank ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Ermel, Claudia; TU Berlin > Software Engineering and Theoretical Computer Science
Engel, Thomas ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Morelli, Gianluigi; SES
Language :
English
Title :
Towards Bidirectional Engineering of Satellite Control Procedures Using Triple Graph Grammars
Publication date :
2013
Event name :
7 th International Workshop on Multi-Paradigm Modeling MPM 2013
Event date :
30-SEP-2013
Audience :
International
Main work title :
Proc. Int. Workshop on Multi-Paradigm Modeling 2013 (MPM'13)
Eclipse Consortium: Eclipse Modeling Framework (EMF), Version 2.8.3 (2013), http://www.eclipse.org/emf.
The Eclipse Foundation: Xtext, Version 2.3.1 (2013), http://www.eclipse.org/Xtext/.
Ehrig, H., Ermel, C., Hermann, F., Prange, U.: On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars. In: Proc. MODELS' 09. LNCS, vol. 5795, pp. 241-255. Springer (2009).
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theor. Comp. Science, Springer (2006).
Ehrig, H., Ermel, C., Taentzer, G.: A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications. In: Proc. FASE'11. LNCS, vol. 6603, pp. 202-216. Springer (2011).
Ermel, C., Hermann, F., Gall, J., Binanzer, D.: Visual Modeling and Analysis of EMF Model Transformations Based on Triple Graph Grammars. ECEASST 54, 1-14 (2012).
Ermel, C.: Simulation and animation of visual languages based on typed algebraic graph transformation. Ph.D. thesis, Technische Universitat Berlin (2006).
Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. SoSyM 8, 21-43 (2009).
Gracanin, D., Matkovic, K., Eltoweissy, M.: Software visualization. ISSE 1(2), 221-230 (2005).
Greenyer, J., Kindler, E.: Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars. SoSyM 9, 21-46 (2010).
EMF Henshin, Version 0.9.6 (2013), http://www.eclipse.org/henshin/.
Hermann, F., Ehrig, H., Golas, U., Orejas, F.: Efficient Analysis and Execution of Correct and Complete Model Transformations Based on Triple Graph Grammars. In: Proc. MDI'10. pp. 22-31. MDI '10, ACM (2010).
Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y., Gottmann, S., Engel, T.: Model synchronization based on triple graph grammars: correctness, completeness and invertibility. SoSyM pp. 1-29 (2013).
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: Proc. ICMT'13, LNCS, vol. 7909, pp. 50-51. Springer (2013).
Jakob, J., Königs, A., Schürr, A.: Non-materialized Model View Specification with Triple Graph Grammars. In: Graph Transformations, LNCS, vol. 4178, pp. 321-335. Springer (2006).
Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: A model transformation tool. Science of Computer Programming 72, 31-39 (2008).
Kindler, E., Wagner, R.: Triple Graph Grammars: Concepts, Extensions, Implementations, and Application Scenarios. Tech. Rep. TR-ri-07-284, Department of Computer Science, University of Paderborn, Germany (2007).
Koschke, R.: Software Visualization for Reverse Engineering. In: Revised Lectures on Software Visualization, International Seminar. pp. 138-150. Springer (2002).
Schürr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Tinhofer, G. (ed.) Proc. WG'94. LNCS, vol. 903, pp. 151-163. Springer (1994).
Schürr, A., Klar, F.: 15 years of triple graph grammars. In: Proc. ICGT'08. pp. 411-425. No. 5214 in LNCS, Springer (2008).
SES Engineering: SPELL - Satellite Procedure Execution Language & Library, Version 2.3.13 (2013), http://code.google.com/p/spell-sat/.
Xiong, Y., Song, H., Hu, Z., Takeichi, M.: Supporting Parallel Updates with Bidirectional Model Transformations. In: Proc. ICMT'09. pp. 213-228. Springer (2009).