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 and 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. pp. 49-58. ISBN 978-3-540-74836-6. ISSN 1431-472-X

Full text not available from this repository.

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/52849/
Document Type:Book Section
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
Lemmer, KarstenUNSPECIFIEDUNSPECIFIED
Date:6 December 2007
Journal or Publication Title:Mobilität und Echtzeit - PEARL 2007
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Page Range:pp. 49-58
Editors:
EditorsEmail
Holleczek, PeterUNSPECIFIED
Vogel-Heuser, BirgitUNSPECIFIED
Publisher:Springer
Series Name:Informatik Aktuell
ISSN:1431-472-X
ISBN:978-3-540-74836-6
Status:Published
Keywords:UML, Verhaltensbeschreibung, Echtzeitsysteme
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:01 Feb 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.