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

Institut für Softwaretechnik und Programmiersprachen

Institute of Software Technology and Programming Languages

2 Zitate (Scopus)

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.

Originalsprache	Englisch
Titel	Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'06)
Seitenumfang	8
Band	2006
Herausgeber (Verlag)	IEEE
Erscheinungsdatum	22.12.2006
Seiten	65-72
Aufsatznummer	1640668
ISBN (Print)	0-7695-2611-X
DOIs	https://doi.org/10.1109/SNPD-SAWN.2006.40
Publikationsstatus	Veröffentlicht - 22.12.2006
Veranstaltung	7th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Las Vegas, USA / Vereinigte Staaten Dauer: 19.06.2006 → 20.06.2006 Konferenznummer: 68800

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

SDG 9 – Industrie, Innovation und Infrastruktur

Dokumente

10.1109/SNPD-SAWN.2006.40

Weitere Links

https://www.scopus.com/pages/publications/33845592729

Zitieren

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) (Band 2006, S. 65-72). Artikel 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). Bd. 2006, 1640668, IEEE Proceedings, IEEE, S. 65-72, 7th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing , Las Vegas, Nevada, USA / Vereinigte Staaten, 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). Band 2006 IEEE, 2006. S. 65-72 1640668 (IEEE Proceedings).

Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

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/pages/publications/33845592729

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

Dokumente

Weitere Links

Fingerprint

Zitieren