Technical Report


State Transition Diagrams.


Author(s): Radu Grosu, Cornel Klein, Bernhard Rumpe, Manfred Broy
Year: 1996
Number: TUM-I9630
Editor:
CR Classification:
CR General Terms:
Keywords: State Transition Diagrams, Automata, Dataflow Nets, Stream Processing Functions, Specification, Visual Formalism, Software Components
Abstract:In this paper, we present a general concept of state transition diagrams well-suited for various modeling purposes. Our notation is tailored for the description of asynchronous time-independent agents. We start by proposing a graphical and textual syntax, and define an abstract syntax for both notations. The semantics of state transition diagrams defined by translating the abstract syntax into timed port automata and to timed input/output relations on streams. To make the graphical notation practical, we partition the (possibly infinite) state space of the state transition diagrams with state predicates and define transitions with pre- and post-conditions.


Available as compressed Postscript

BibTeX-Entry:

@techreport{ TUM-I9630, author = {Radu Grosu and Cornel Klein and Bernhard Rumpe and Manfred Broy}, title = {State Transition Diagrams.}, number = {TUM-I9630}, institution = {Technische Univerit\"at M\"unchen}, year = {1996}, url = {http://www4.informatik.tu-muenchen.de/reports/TUM-I9630.html}, abstract = {In this paper, we present a general concept of state transition diagrams well-suited for various modeling purposes. Our notation is tailored for the description of asynchronous time-independent agents. We start by proposing a graphical and textual syntax, and define an abstract syntax for both notations. The semantics of state transition diagrams defined by translating the abstract syntax into timed port automata and to timed input/output relations on streams. To make the graphical notation practical, we partition the (possibly infinite) state space of the state transition diagrams with state predicates and define transitions with pre- and post-conditions. }, CRClassification = {}, CRGenTerms = {} }