elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Kontakt | English
Schriftgröße: [-] Text [+]

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

Ebrecht, Lars und 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. Seiten 49-58. ISBN 978-3-540-74836-6. ISSN 1431-472-X

Dieses Archiv kann nicht den gesamten Text zur Verfügung stellen.

Kurzfassung

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.

Dokumentart:Beitrag in einem Lehr- oder Fachbuch
Titel:Konsistente Verknüpfung von Aktivitäts-, Sequenz- und Zustandsdiagrammen - Darstellungsunabhängige und formale Semantik zur Verhaltensbeschreibung von Echtzeit-Systemen
Autoren:
AutorenInstitution oder E-Mail-Adresse der Autoren
Ebrecht, LarsNICHT SPEZIFIZIERT
Lemmer, KarstenNICHT SPEZIFIZIERT
Datum:6 Dezember 2007
Erschienen in:Mobilität und Echtzeit - PEARL 2007
Referierte Publikation:Ja
In ISI Web of Science:Nein
Seitenbereich:Seiten 49-58
Herausgeber:
HerausgeberInstitution und/oder E-Mail-Adresse der Herausgeber
Holleczek, PeterNICHT SPEZIFIZIERT
Vogel-Heuser, BirgitNICHT SPEZIFIZIERT
Verlag:Springer
Name der Reihe:Informatik Aktuell
ISSN:1431-472-X
ISBN:978-3-540-74836-6
Status:veröffentlicht
Stichwörter:UML, Verhaltensbeschreibung, Echtzeitsysteme
HGF - Forschungsbereich:Verkehr und Weltraum (alt)
HGF - Programm:Verkehr
HGF - Programmthema:V SM - Sicherung der Mobilität (alt)
DLR - Schwerpunkt:Verkehr
DLR - Forschungsgebiet:V SM - Sicherung der Mobilität
DLR - Teilgebiet (Projekt, Vorhaben):V - Aufbau des Rail Lab (alt)
Standort: Braunschweig
Institute & Einrichtungen:Institut für Verkehrssystemtechnik > Institut für Verkehrsführung und Fahrzeugsteuerung > Bahnsysteme
Hinterlegt von: Lars Ebrecht
Hinterlegt am:01 Feb 2008
Letzte Änderung:27 Apr 2009 14:39

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Copyright © 2008-2013 Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.