|
Published Articles >> Table of Contents >> Abstract
Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'06)
pp. 65-72
From Stream Transformers to Moore State Transition Machines with Input and Output
Walter Dosch, University of Lubeck, Germany
Wuttipong Ruanthong, University of Lubeck, Germany
Annette Stumpel, University of Lubeck, Germany
Full Article Text:
 
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SNPD-SAWN.2006.40
Send link to a friend
| 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.
|
 Additional Information
|
Citation:
Walter Dosch, Wuttipong Ruanthong, Annette Stumpel,
"From Stream Transformers to Moore State Transition Machines with Input and Output,"
snpd-sawn,
pp. 65-72,
Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'06),
2006
|
|
