Reference : Towards Bidirectional Engineering of Satellite Control Procedures Using Triple Graph ...

	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/16502

Title :	Towards Bidirectional Engineering of Satellite Control Procedures Using Triple Graph Grammars
Language :	English
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]
Publication date :	2013
Main document title :	Proc. Int. Workshop on Multi-Paradigm Modeling 2013 (MPM'13)
Editor :	Jacquet, Christophe
	Balasubramanian, Daniel
	Jones, Edward
	Mészáros
Publisher :	CEUR-WS.org
Collection and collection volume :	CEUR Workshop Proceedings
Peer reviewed :	Yes
Audience :	International
Event name :	7 th International Workshop on Multi-Paradigm Modeling MPM 2013
Event date :	30-SEP-2013
Keywords :	[en] 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.
Target :	Researchers ; Professionals
Permalink :	http://hdl.handle.net/10993/16502
Other URL :	http://ceur-ws.org/Vol-1112/

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Limited access MPM2013-complete.pdf Publisher postprint 489.9 kB Request a copy

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map