Ebrecht, Lars (2007) Konsistente Verknüpfung von Aktivitäts-, Sequenz- und Zustandsdiagrammen - Darstellungsunabhängige und formale Semantik zur Verhaltensbeschreibung von Echtzeit-Systemen. In: PEARL 2007 - Mobilität und Echtzeit. PEARL 2007 - Mobilität und Echtzeit, 2007-12-06 - 2007-12-07, Boppard (D).
Full text not available from this repository.
Official URL: http://www.real-time.de/prog/pearl07/Praes/Ebrecht_P07.pdf
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.
Item URL in elib: | https://elib.dlr.de/52858/ | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
Document Type: | Conference or Workshop Item (Speech) | |||||||||
Title: | Konsistente Verknüpfung von Aktivitäts-, Sequenz- und Zustandsdiagrammen - Darstellungsunabhängige und formale Semantik zur Verhaltensbeschreibung von Echtzeit-Systemen | |||||||||
Authors: |
| |||||||||
Date: | 6 December 2007 | |||||||||
Journal or Publication Title: | PEARL 2007 - Mobilität und Echtzeit | |||||||||
Refereed publication: | No | |||||||||
Open Access: | No | |||||||||
Gold Open Access: | No | |||||||||
In SCOPUS: | No | |||||||||
In ISI Web of Science: | No | |||||||||
Editors: |
| |||||||||
Status: | Published | |||||||||
Keywords: | UML, Verhaltensbeschreibung, Echtzeitsysteme | |||||||||
Event Title: | PEARL 2007 - Mobilität und Echtzeit | |||||||||
Event Location: | Boppard (D) | |||||||||
Event Type: | national Conference | |||||||||
Event Dates: | 2007-12-06 - 2007-12-07 | |||||||||
Organizer: | Fachgruppe Echtzeit (realtime) der Gesellschaft für Informatik (GI) | |||||||||
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: | Ebrecht, Lars | |||||||||
Deposited On: | 24 Jan 2008 | |||||||||
Last Modified: | 27 Apr 2009 14:39 |
Repository Staff Only: item control page