elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | 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 Volltext 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.

elib-URL des Eintrags:https://elib.dlr.de/52849/
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-AdresseAutoren-ORCID-iDORCID Put Code
Ebrecht, LarsNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Lemmer, KarstenNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:6 Dezember 2007
Erschienen in:Mobilität und Echtzeit - PEARL 2007
Referierte Publikation:Ja
Open Access:Nein
Gold Open Access:Nein
In SCOPUS:Nein
In ISI Web of Science:Nein
Seitenbereich:Seiten 49-58
Herausgeber:
HerausgeberInstitution und/oder E-Mail-Adresse der HerausgeberHerausgeber-ORCID-iDORCID Put Code
Holleczek, PeterNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Vogel-Heuser, BirgitNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT 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: Ebrecht, Lars
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
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.