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

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 Authors
Ebrecht, LarsUNSPECIFIED
Date:6 December 2007
Journal or Publication Title:PEARL 2007 - Mobilität und Echtzeit
Refereed publication: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: Lars Ebrecht
Deposited On:24 Jan 2008
Last Modified:27 Apr 2009 14:39

Repository Staff Only: item control page

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