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

elib-URL des Eintrags:https://elib.dlr.de/52858/
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-AdresseAutoren-ORCID-iDORCID Put Code
Ebrecht, LarsNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:6 Dezember 2007
Erschienen in:PEARL 2007 - Mobilität und Echtzeit
Referierte Publikation:Nein
Open Access:Nein
Gold Open Access:Nein
In SCOPUS:Nein
In ISI Web of Science:Nein
Herausgeber:
HerausgeberInstitution und/oder E-Mail-Adresse der HerausgeberHerausgeber-ORCID-iDORCID Put Code
Holleczek, PeterNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Vogel-Heuser, BirgitNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Status:veröffentlicht
Stichwörter:UML, Verhaltensbeschreibung, Echtzeitsysteme
Veranstaltungstitel:PEARL 2007 - Mobilität und Echtzeit
Veranstaltungsort:Boppard (D)
Veranstaltungsart:nationale Konferenz
Veranstaltungsbeginn:6 Dezember 2007
Veranstaltungsende:7 Dezember 2007
Veranstalter :Fachgruppe Echtzeit (realtime) der Gesellschaft für Informatik (GI)
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
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:24 Jan 2008
Letzte Änderung:24 Apr 2024 19:16

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.