Towards Bidirectional Engineering of Satellite Control Procedures Using Triple Graph Grammars
English
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) >]
Proc. Int. Workshop on Multi-Paradigm Modeling 2013 (MPM'13)
Jacquet, Christophe
Balasubramanian, Daniel
Jones, Edward
Mészáros
CEUR-WS.org
CEUR Workshop Proceedings
Yes
International
7 th International Workshop on Multi-Paradigm Modeling MPM 2013
30-SEP-2013
[en] model transformation ; model synchronisation ; triple graph grammars ; bidirectional engineering ; Eclipse Modeling Framework (EMF)
[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.