elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] 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).

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:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Ebrecht, LarsUNSPECIFIEDUNSPECIFIED
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:
EditorsEmail
Holleczek, PeterUNSPECIFIED
Vogel-Heuser, BirgitUNSPECIFIED
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

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.