Stuttering removal-developing mealy and moore style implementations of an interactive component

Walter Dosch; Annette Stümpel; Nontasak Janchum; Pornsiri Muenchaisri

doi:10.1109/AICCSA.2009.5069340

Stuttering removal-developing mealy and moore style implementations of an interactive component

Walter Dosch, Annette Stümpel, Nontasak Janchum, Pornsiri Muenchaisri

Institute of Software Engineering and Programming Languages

Chulalongkorn University

Abstract

An interactive system operates by an ongoing communication between its components which send and receive messages on their input and output channels. Stream functions describe the component's input/output behaviour mapping input streams to output streams. State transition machines describe the component's state-based implementation. We adapt classical Mealy machines and classical Moore machines as needed for the state-based modelling of interactive components. As our main contribution, we compare the formal methods how to implement a stream function by a Mealy resp. a Moore style state transition machine in a correctness preserving way. Both transformations involve history abstractions which relate observable input streams with internal states. We compare the different implementation frameworks by constructing a Mealy style and a Moore style implementation for the same component. We illustrate the approach with a component which removes subsequent duplicate messages in an input stream which arose through stuttering.

Original language	English
Title of host publication	2009 IEEE/ACS International Conference on Computer Systems and Applications
Number of pages	8
Publisher	IEEE
Publication date	19.10.2009
Pages	301-308
Article number	5069340
ISBN (Print)	978-1-4244-3807-5, 978-1-4244-3806-8
DOIs	https://doi.org/10.1109/AICCSA.2009.5069340
Publication status	Published - 19.10.2009
Event	7th IEEE/ACS International Conference on Computer Systems and Applications - Rabat, Morocco Duration: 10.05.2009 → 13.05.2009 Conference number: 77408

UN SDGs

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

Access to Document

10.1109/AICCSA.2009.5069340

Cite this

Dosch, W., Stümpel, A., Janchum, N., & Muenchaisri, P. (2009). Stuttering removal-developing mealy and moore style implementations of an interactive component. In 2009 IEEE/ACS International Conference on Computer Systems and Applications (pp. 301-308). Article 5069340 (International Conference on Computer Systems and Applications). IEEE. https://doi.org/10.1109/AICCSA.2009.5069340

@inproceedings{39bb5e2788734261ac7ea304d6da61e0,

title = "Stuttering removal-developing mealy and moore style implementations of an interactive component",

abstract = "An interactive system operates by an ongoing communication between its components which send and receive messages on their input and output channels. Stream functions describe the component's input/output behaviour mapping input streams to output streams. State transition machines describe the component's state-based implementation. We adapt classical Mealy machines and classical Moore machines as needed for the state-based modelling of interactive components. As our main contribution, we compare the formal methods how to implement a stream function by a Mealy resp. a Moore style state transition machine in a correctness preserving way. Both transformations involve history abstractions which relate observable input streams with internal states. We compare the different implementation frameworks by constructing a Mealy style and a Moore style implementation for the same component. We illustrate the approach with a component which removes subsequent duplicate messages in an input stream which arose through stuttering.",

author = "Walter Dosch and Annette St{\"u}mpel and Nontasak Janchum and Pornsiri Muenchaisri",

year = "2009",

month = oct,

day = "19",

doi = "10.1109/AICCSA.2009.5069340",

language = "English",

isbn = "978-1-4244-3807-5",

series = "International Conference on Computer Systems and Applications",

publisher = "IEEE",

pages = "301--308",

booktitle = "2009 IEEE/ACS International Conference on Computer Systems and Applications",

note = "7th IEEE/ACS International Conference on Computer Systems and Applications , AICCSA-2009 ; Conference date: 10-05-2009 Through 13-05-2009",

}

Dosch, W, Stümpel, A, Janchum, N & Muenchaisri, P 2009, Stuttering removal-developing mealy and moore style implementations of an interactive component. in 2009 IEEE/ACS International Conference on Computer Systems and Applications., 5069340, International Conference on Computer Systems and Applications, IEEE, pp. 301-308, 7th IEEE/ACS International Conference on Computer Systems and Applications , Rabat, Morocco, 10.05.09. https://doi.org/10.1109/AICCSA.2009.5069340

Stuttering removal-developing mealy and moore style implementations of an interactive component. / Dosch, Walter; Stümpel, Annette; Janchum, Nontasak et al.
2009 IEEE/ACS International Conference on Computer Systems and Applications. IEEE, 2009. p. 301-308 5069340 (International Conference on Computer Systems and Applications).

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

TY - GEN

T1 - Stuttering removal-developing mealy and moore style implementations of an interactive component

AU - Dosch, Walter

AU - Stümpel, Annette

AU - Janchum, Nontasak

AU - Muenchaisri, Pornsiri

N1 - Conference code: 77408

PY - 2009/10/19

Y1 - 2009/10/19

N2 - An interactive system operates by an ongoing communication between its components which send and receive messages on their input and output channels. Stream functions describe the component's input/output behaviour mapping input streams to output streams. State transition machines describe the component's state-based implementation. We adapt classical Mealy machines and classical Moore machines as needed for the state-based modelling of interactive components. As our main contribution, we compare the formal methods how to implement a stream function by a Mealy resp. a Moore style state transition machine in a correctness preserving way. Both transformations involve history abstractions which relate observable input streams with internal states. We compare the different implementation frameworks by constructing a Mealy style and a Moore style implementation for the same component. We illustrate the approach with a component which removes subsequent duplicate messages in an input stream which arose through stuttering.

AB - An interactive system operates by an ongoing communication between its components which send and receive messages on their input and output channels. Stream functions describe the component's input/output behaviour mapping input streams to output streams. State transition machines describe the component's state-based implementation. We adapt classical Mealy machines and classical Moore machines as needed for the state-based modelling of interactive components. As our main contribution, we compare the formal methods how to implement a stream function by a Mealy resp. a Moore style state transition machine in a correctness preserving way. Both transformations involve history abstractions which relate observable input streams with internal states. We compare the different implementation frameworks by constructing a Mealy style and a Moore style implementation for the same component. We illustrate the approach with a component which removes subsequent duplicate messages in an input stream which arose through stuttering.

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

U2 - 10.1109/AICCSA.2009.5069340

DO - 10.1109/AICCSA.2009.5069340

M3 - Conference contribution

SN - 978-1-4244-3807-5

SN - 978-1-4244-3806-8

T3 - International Conference on Computer Systems and Applications

SP - 301

EP - 308

BT - 2009 IEEE/ACS International Conference on Computer Systems and Applications

PB - IEEE

T2 - 7th IEEE/ACS International Conference on Computer Systems and Applications

Y2 - 10 May 2009 through 13 May 2009

ER -

Stuttering removal-developing mealy and moore style implementations of an interactive component

Abstract

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this