loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'06)
From Stream Transformers to Moore State Transition Machines with Input and Output
Las Vegas, Nevada
June 19-June 20
ISBN: 0-7695-2611-X
ASCII Text
x 
 
Walter Dosch, Wuttipong Ruanthong, Annette Stumpel, "From Stream Transformers to Moore State Transition Machines with Input and Output," Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, International Conference on & Self-Assembling Wireless Networks, International Workshop on, pp. 65-72, Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/SNPD-SAWN.2006.40,
author = {Walter Dosch and Wuttipong Ruanthong and Annette Stumpel},
title = {From Stream Transformers to Moore State Transition Machines with Input and Output},
journal ={Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, International Conference on & Self-Assembling Wireless Networks, International Workshop on},
volume = {0},
year = {2006},
isbn = {0-7695-2611-X},
pages = {65-72},
doi = {http://doi.ieeecomputersociety.org/10.1109/SNPD-SAWN.2006.40},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, International Conference on & Self-Assembling Wireless Networks, International Workshop on
TI - From Stream Transformers to Moore State Transition Machines with Input and Output
SN - 0-7695-2611-X
SP65
EP72
A1 - Walter Dosch,
A1 - Wuttipong Ruanthong,
A1 - Annette Stumpel,
PY - 2006
KW - null
VL - 0
JA - Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, International Conference on & Self-Assembling Wireless Networks, International Workshop on
ER -
 
Walter Dosch, University of Lubeck, Germany
Wuttipong Ruanthong, University of Lubeck, Germany
Annette Stumpel, University of Lubeck, Germany
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.
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
Usage of this product signifies your acceptance of the Terms of Use.