elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Contact | Deutsch
Fontsize: [-] Text [+]

Konsistente Verknüpfung von Aktivitäts-, Sequenz- und Zustandsdiagrammen - Darstellungsunabhängige und formale Semantik zur Verhaltensbeschreibung von Echtzeit-Systemen

Ebrecht, Lars and Lemmer, Karsten (2007) Konsistente Verknüpfung von Aktivitäts-, Sequenz- und Zustandsdiagrammen - Darstellungsunabhängige und formale Semantik zur Verhaltensbeschreibung von Echtzeit-Systemen. In: Mobilität und Echtzeit - PEARL 2007 Informatik Aktuell. Springer. pp. 49-58. ISBN 978-3-540-74836-6. ISSN 1431-472-X

Full text not available from this repository.

Abstract

Der folgende Beitrag stellt eine formale, generische Verhaltensstruktur und Semantik vor, die die Basis für die konsistente Verknüpfung der drei wichtigsten UML Verhaltensdiagramme bildet. Es wird gezeigt, wie sich das grobe und übersichtliche Verhalten in Aktivitätsdiagrammen, das detaillierte Schnittstellenverhalten in Sequenzdiagrammen und detaillierte Verhaltensmodelle in Zustandsdiagrammen mit Hilfe der Semantik konsistent miteinander verknüpfen lassen und die Inhalte der drei genannten Verhaltensdiagramme eindeutig miteinander in Beziehung gebracht werden können. Als Anwendungsbeispiel wird die komplexe, sicherheits- und echtzeitkritische zugseitige Komponente des Europäischen Leit- und Sicherungstechnik Systems (ETCS) verwendet.

Document Type:Book Section
Title:Konsistente Verknüpfung von Aktivitäts-, Sequenz- und Zustandsdiagrammen - Darstellungsunabhängige und formale Semantik zur Verhaltensbeschreibung von Echtzeit-Systemen
Authors:
AuthorsInstitution or Email of Authors
Ebrecht, LarsUNSPECIFIED
Lemmer, KarstenUNSPECIFIED
Date:6 December 2007
Journal or Publication Title:Mobilität und Echtzeit - PEARL 2007
Refereed publication:Yes
In ISI Web of Science:No
Page Range:pp. 49-58
Editors:
EditorsEmail
Holleczek, PeterUNSPECIFIED
Vogel-Heuser, BirgitUNSPECIFIED
Publisher:Springer
Series Name:Informatik Aktuell
ISSN:1431-472-X
ISBN:978-3-540-74836-6
Status:Published
Keywords:UML, Verhaltensbeschreibung, Echtzeitsysteme
HGF - Research field:Aeronautics, Space and Transport (old)
HGF - Program:Transport
HGF - Program Themes:V SM - Sicherung der Mobilität (old)
DLR - Research area:Transport
DLR - Program:V SM - Sicherung der Mobilität
DLR - Research theme (Project):V - Aufbau des Rail Lab (old)
Location: Braunschweig
Institutes and Institutions:Institute of Transportation Systems > Institute of Transportation Systems > Rail Systems
Deposited By: Lars Ebrecht
Deposited On:01 Feb 2008
Last Modified:27 Apr 2009 14:39

Repository Staff Only: item control page

Browse
Search
Help & Contact
Informationen
electronic library is running on EPrints 3.3.12
Copyright © 2008-2012 German Aerospace Center (DLR). All rights reserved.