User: Guest  Login
Original title:
Distributed System Design with Message Sequence Charts 
Year:
2000 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Broy, Manfred (Prof. Dr.) 
Referee:
Broy, Manfred (Prof. Dr. Dr. h.c.); Wirsing, Martin (Prof. Dr.) 
Format:
Text 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
Keywords:
Message Sequence Charts; MSCs; Semantics; Refinement; Property Specification; Synthesis of Automata; Methodology; Systems Engineering; Requirements Engineering; Formal Methods 
Translated keywords:
Sequenzdiagramme; Semantik; Verfeinerung; Eigenschaftsspezifikation; Synthese von Automaten; Methodik; Systems Engineering; Requirements Engineering; Formale Methoden 
Controlled terms:
Formale Spezifikationstechnik; Requirements engineering; Verteiltes Datenverarbeitungssystem; Verteiltes System; Systementwicklung; Message sequence chart 
TUM classification:
DAT 335d 
Abstract:
The methodical mastery of interaction scenarios is a key factor for capturing and modeling system requirements of distributed, reactive systems. Message Sequence Charts (MSCs) and variants thereof are well-accepted as a graphical description technique for interaction scenarios. MSCs emphasize the inter-component coordination aspect of typically partial system executions; this complements the usually complete behavior description for individual components, as given by state-oriented automaton sp...    »
 
Translated abstract:
Die methodische Beherrschung von Interaktionsszenarien ist ein Schlüsselfaktor bei der Erfassung und Modellierung von Systemanforderungen für verteilte, reaktive Systeme. Message Sequence Charts (MSCs) und Varianten davon haben sich als grafische Beschreibungstechnik für Interaktionsszenarien etabliert. MSCs betonen den komponentenübergreifenden Koordinationsaspekt eines typischerweise partiellen Systemablaufs; dies ergänzt die komponentenlokale, jedoch meist vollständige Verhaltensbeschreibung...    »
 
Publication :
Universitätsbibliothek der TU München 
Oral examination:
21.07.2000 
File size:
1469065 bytes 
Pages:
386 
Last change:
27.06.2007