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

Authors:
Walter Dosch;Wuttipong Ruanthong;Annette Stumpel
Affiliations:
University of Lubeck, Germany;University of Lubeck, Germany;University of Lubeck, Germany
Venue:
SNPD-SAWN '06 Proceedings of the Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing
Year:
2006

Citing 0
Cited 3

Model checking for input/output properties of a black-box model

ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Deriving state-based implementations of interactive components with history abstractions

PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Transforming stream processing functions into state transition machines

SERA'04 Proceedings of the Second international conference on Software Engineering Research, Management and Applications

Quantified Score

Hi-index	0.00

Visualization

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.