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

Walter Dosch; Wuttipong Ruanthong; Annette Stümpel

doi:10.1109/SNPD-SAWN.2006.40

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

Walter Dosch, Wuttipong Ruanthong, Annette Stümpel

Institute of Software Engineering and Programming Languages

Institute of Software Technology and Programming Languages

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.

Original language	English
Title of host publication	Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'06)
Number of pages	8
Volume	2006
Publisher	IEEE
Publication date	22.12.2006
Pages	65-72
Article number	1640668
ISBN (Print)	0-7695-2611-X
DOIs	https://doi.org/10.1109/SNPD-SAWN.2006.40
Publication status	Published - 22.12.2006
Event	7th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Las Vegas, United States Duration: 19.06.2006 → 20.06.2006 Conference number: 68800

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1109/SNPD-SAWN.2006.40

Cite this

Dosch, W., Ruanthong, W., & Stümpel, A. (2006). From Stream Transformers to Moore State Transition Machines with Input and Output. In Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'06) (Vol. 2006, pp. 65-72). Article 1640668 (IEEE Proceedings). IEEE. https://doi.org/10.1109/SNPD-SAWN.2006.40

@inproceedings{358bf85aa72e488ca20c718bbdc46974,

title = "From Stream Transformers to Moore State Transition Machines with Input and Output",

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.",

author = "Walter Dosch and Wuttipong Ruanthong and Annette St{\"u}mpel",

year = "2006",

month = dec,

day = "22",

doi = "10.1109/SNPD-SAWN.2006.40",

language = "English",

isbn = " 0-7695-2611-X",

volume = "2006",

series = "IEEE Proceedings",

publisher = "IEEE",

pages = " 65--72",

booktitle = "Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'06)",

note = "7th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing , SNPD 2006 ; Conference date: 19-06-2006 Through 20-06-2006",

}

Dosch, W, Ruanthong, W & Stümpel, A 2006, From Stream Transformers to Moore State Transition Machines with Input and Output. in Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'06). vol. 2006, 1640668, IEEE Proceedings, IEEE, pp. 65-72, 7th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing , Las Vegas, Nevada, United States, 19.06.06. https://doi.org/10.1109/SNPD-SAWN.2006.40

From Stream Transformers to Moore State Transition Machines with Input and Output. / Dosch, Walter; Ruanthong, Wuttipong; Stümpel, Annette.
Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'06). Vol. 2006 IEEE, 2006. p. 65-72 1640668 (IEEE Proceedings).

Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

TY - GEN

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

AU - Dosch, Walter

AU - Ruanthong, Wuttipong

AU - Stümpel, Annette

N1 - Conference code: 68800

PY - 2006/12/22

Y1 - 2006/12/22

N2 - 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.

AB - 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.

UR - https://www.scopus.com/record/display.uri?eid=2-s2.0-33845592729&origin=inward&txGid=509c3236857e413d758fb2dac496b269

U2 - 10.1109/SNPD-SAWN.2006.40

DO - 10.1109/SNPD-SAWN.2006.40

M3 - Conference contribution

SN - 0-7695-2611-X

VL - 2006

T3 - IEEE Proceedings

SP - 65

EP - 72

BT - Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'06)

PB - IEEE

T2 - 7th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing

Y2 - 19 June 2006 through 20 June 2006

ER -

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

Abstract

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this