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 (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).

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

Offizielle URL: http://www.real-time.de/prog/pearl07/Praes/Ebrecht_P07.pdf

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:Konferenzbeitrag (Vortrag)
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
Datum:6 Dezember 2007
Erschienen in:PEARL 2007 - Mobilität und Echtzeit
Referierte Publikation:Nein
In SCOPUS:Nein
In ISI Web of Science:Nein
Herausgeber:
HerausgeberInstitution und/oder E-Mail-Adresse der Herausgeber
Holleczek, PeterNICHT SPEZIFIZIERT
Vogel-Heuser, BirgitNICHT SPEZIFIZIERT
Status:veröffentlicht
Stichwörter:UML, Verhaltensbeschreibung, Echtzeitsysteme
Veranstaltungstitel:PEARL 2007 - Mobilität und Echtzeit
Veranstaltungsort:Boppard (D)
Veranstaltungsart:nationale Konferenz
Veranstaltungsdatum:2007-12-06 - 2007-12-07
Veranstalter :Fachgruppe Echtzeit (realtime) der Gesellschaft für Informatik (GI)
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:24 Jan 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.