From Stream Transformers to Moore State Transition Machines with Input and Output

Walter Dosch, Wuttipong Ruanthong, Annette Stümpel

Abstract

A black box specification of a deterministic software or hardware component refers to the function mapping input histories to output histories. An important refinement step amounts to designing a state transition machine which correctly implements the specified behaviour. We present a formal method for implementing stream transformers by Moore state transition machines. First we construct a canonical Moore state transition machine whose state space is based on input histories. Then we identify output equivalent states for achieving a reduced Moore state transition machine. We illustrate the formal method with various applications.

OriginalspracheEnglisch
TitelSeventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'06)
Seitenumfang8
Band2006
Herausgeber (Verlag)IEEE
Erscheinungsdatum22.12.2006
Seiten 65-72
Aufsatznummer1640668
ISBN (Print) 0-7695-2611-X
DOIs
PublikationsstatusVeröffentlicht - 22.12.2006
Veranstaltung7th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Las Vegas, USA / Vereinigte Staaten
Dauer: 19.06.200620.06.2006
Konferenznummer: 68800

Zitieren