Benutzer: Gast  Login
Dokumenttyp:
Technical Report 
Autor(en):
Manfred Broy 
Titel:
Specification of System Components by State Transition Diagrams 
Abstract:
This technical memo provides a syntactic and semantic basis for state transition diagrams (STDs) as they are used for the description of state transition machines (STMs) with input and output. STMs serve for the specification of system components. We work with STDs with transition rules labelled by input and output patterns and pre- and postconditions. We extend our notation to support specifications that deal with the timing of input and output as well. In particular, we work out the following...    »
 
Stichworte:
System; Logic; Specification; State Transition Diagram; Syntax; Semantics; State Transition Maschine 
Jahr:
1997 
Jahr / Monat:
1997-05-01 00:00:00 
Seiten/Umfang:
32