Algebraic state machines

Manfred Broy; Martin Wirsing

doi:10.1007/3-540-45499-3_9

Algebraic state machines

Manfred Broy
, Martin Wirsing

Informatics 4 - Chair of Software and Systems Engineering (2008 — 2022)

University of Munich

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

11 Scopus citations

Abstract

We introduce the concept of an algebraic state machine. This is a state transition machine all parts of that are described by algebraic and logical means. This way we base the description of state transition systems exclusively on the concept of algebraic specifications. Also the state of an algebraic state machine is represented by an algebra. In particular, we describe the state spaces of the state machine by algebraic techniques, and the state transitions by special axioms called transition rules. Then we show how known concepts from algebraic specifications can be used to provide a notion of parallel composition with asynchronous interaction for algebraic state machines. As example we introduce a notion of object-oriented component and show how algebraic state machines can formalize such components.

Original language	English
Title of host publication	Algebraic Methodology and Software Technology - 8th International Conference, AMAST 2000, Proceedings
Editors	Teodor Rus
Publisher	Springer Verlag
Pages	89-118
Number of pages	30
ISBN (Print)	9783540454991
DOIs	https://doi.org/10.1007/3-540-45499-3_9
State	Published - 2000
Event	8th International Conference on Algebraic Methodology and Software Technology, AMAST 2000 - Iowa City, United States Duration: 20 May 2000 → 27 May 2000

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1816
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	8th International Conference on Algebraic Methodology and Software Technology, AMAST 2000
Country/Territory	United States
City	Iowa City
Period	20/05/00 → 27/05/00

Access to Document

10.1007/3-540-45499-3_9

Cite this

Broy, M., & Wirsing, M. (2000). Algebraic state machines. In T. Rus (Ed.), Algebraic Methodology and Software Technology - 8th International Conference, AMAST 2000, Proceedings (pp. 89-118). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1816). Springer Verlag. https://doi.org/10.1007/3-540-45499-3_9

@inproceedings{5afca38f89f345668178d705d5537901,

title = "Algebraic state machines",

abstract = "We introduce the concept of an algebraic state machine. This is a state transition machine all parts of that are described by algebraic and logical means. This way we base the description of state transition systems exclusively on the concept of algebraic specifications. Also the state of an algebraic state machine is represented by an algebra. In particular, we describe the state spaces of the state machine by algebraic techniques, and the state transitions by special axioms called transition rules. Then we show how known concepts from algebraic specifications can be used to provide a notion of parallel composition with asynchronous interaction for algebraic state machines. As example we introduce a notion of object-oriented component and show how algebraic state machines can formalize such components.",

author = "Manfred Broy and Martin Wirsing",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2000.; 8th International Conference on Algebraic Methodology and Software Technology, AMAST 2000 ; Conference date: 20-05-2000 Through 27-05-2000",

year = "2000",

doi = "10.1007/3-540-45499-3\_9",

language = "English",

isbn = "9783540454991",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "89--118",

editor = "Teodor Rus",

booktitle = "Algebraic Methodology and Software Technology - 8th International Conference, AMAST 2000, Proceedings",

}

Broy, M & Wirsing, M 2000, Algebraic state machines. in T Rus (ed.), Algebraic Methodology and Software Technology - 8th International Conference, AMAST 2000, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1816, Springer Verlag, pp. 89-118, 8th International Conference on Algebraic Methodology and Software Technology, AMAST 2000, Iowa City, United States, 20/05/00. https://doi.org/10.1007/3-540-45499-3_9

Algebraic state machines. / Broy, Manfred; Wirsing, Martin.
Algebraic Methodology and Software Technology - 8th International Conference, AMAST 2000, Proceedings. ed. / Teodor Rus. Springer Verlag, 2000. p. 89-118 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1816).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Algebraic state machines

AU - Broy, Manfred

AU - Wirsing, Martin

PY - 2000

Y1 - 2000

N2 - We introduce the concept of an algebraic state machine. This is a state transition machine all parts of that are described by algebraic and logical means. This way we base the description of state transition systems exclusively on the concept of algebraic specifications. Also the state of an algebraic state machine is represented by an algebra. In particular, we describe the state spaces of the state machine by algebraic techniques, and the state transitions by special axioms called transition rules. Then we show how known concepts from algebraic specifications can be used to provide a notion of parallel composition with asynchronous interaction for algebraic state machines. As example we introduce a notion of object-oriented component and show how algebraic state machines can formalize such components.

AB - We introduce the concept of an algebraic state machine. This is a state transition machine all parts of that are described by algebraic and logical means. This way we base the description of state transition systems exclusively on the concept of algebraic specifications. Also the state of an algebraic state machine is represented by an algebra. In particular, we describe the state spaces of the state machine by algebraic techniques, and the state transitions by special axioms called transition rules. Then we show how known concepts from algebraic specifications can be used to provide a notion of parallel composition with asynchronous interaction for algebraic state machines. As example we introduce a notion of object-oriented component and show how algebraic state machines can formalize such components.

UR - https://www.scopus.com/pages/publications/84895059503

U2 - 10.1007/3-540-45499-3_9

DO - 10.1007/3-540-45499-3_9

M3 - Conference contribution

AN - SCOPUS:84895059503

SN - 9783540454991

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 89

EP - 118

BT - Algebraic Methodology and Software Technology - 8th International Conference, AMAST 2000, Proceedings

A2 - Rus, Teodor

PB - Springer Verlag

T2 - 8th International Conference on Algebraic Methodology and Software Technology, AMAST 2000

Y2 - 20 May 2000 through 27 May 2000

ER -

Algebraic state machines

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this