Project Details
Projekt
Use-case driven Specification of Engineering Applications
Applicant
Professor Dr. Werner Damm
Subject Area
Theoretical Computer Science
Term
from 1998 to 2006
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 5135446
Message Sequence Charts (MSCs) sind eine standardisierte graphische Beschreibungstechnik, die zunächst im Telekommunikationsbereich zur Dokumentation der Interaktionen zwischen Prozessen entwickelt wurde, aber allgemeiner, auch als deskriptive Beschreibungstechnik komplementär zu etwa objektorientierten oder zustandsorientierten konstruktiven Modellierungsstilen in UML vorgeschlagen wird. Sowohl klassische MSCs als auch die UML-Variante Sequence Diagrams werden im allgemeinen verwendet, um in frühen Phasen des Systementwurfs die in typischen use cases des Systems erwarteten Kommunikationen zwischen Teilsystemen zu visualisieren. Weder in der einen noch in der anderen Variante läßt sich jedoch Fortschritt fordern, und auch andere in behandelte Fragen werden nicht beantwortet. Zu diesen Fragen zählen u.a. "Was bedeuten nicht erfüllte Bedingungen?" oder "Wann wird eine Chart aktiviert?". Neben der Beantwortung dieser Fragen durch die Erweiterung von MSCs zu Live Sequence Charts (LSCs) ist es Ziel dieses Projekt, eine Konsistenzprüfung zwischen LSCs und STATEMATE als exemplarische konstruktive Systembeschreibung zu realisieren. Des weiteren wird die Grundlage für eine Übertragung dieser Konsistenzprüfung auf objektorientierte konstruktive Beschreibungstechniken geschaffen, indem Konzepte für die Spezifikation von sicherheitskritischen Anforderungen mittels LSCs untersucht werden. Ebenso erfolgt eine Umsetzung der LSC-Sprachkonzepten für den objektorientierten Bereich.
DFG Programme
Priority Programmes
