Distributed ASM - Pitfalls and solutions

Andreas Prinz; Edel Sherratt

doi:10.1007/978-3-662-43652-3_18

Distributed ASM - Pitfalls and solutions

Andreas Prinz, Edel Sherratt

Department of Computer Science

Agder University College

Research output: Chapter in Book/Report/Conference proceeding › Conference Proceeding (Non-Journal item)

7 Citations (Scopus)

Abstract

While sequential Abstract State Machines (ASM) capture the essence of sequential computation, it is not clear that this is true of distributed ASM. This paper looks at two kinds of distributed process, one based on a global state and one based on variable access. Their commonalities are extracted and conclusions for the general understanding of distributed computation are drawn, providing integration between global state and variable access.

Original language	English
Title of host publication	Abstract State Machines, Alloy, B, TLA, VDM, and Z
Subtitle of host publication	4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Editors	Yamine Ait Ameur, Klaus-Dieter Schewe
Publisher	Springer Nature
Pages	210-215
Number of pages	6
Volume	LNCS 8477
ISBN (Print)	978-3-662-43651-6, 978-3-662-43652-3
DOIs	https://doi.org/10.1007/978-3-662-43652-3_18
Publication status	Published - 2014

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer-Verlag
Volume	8477
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Keywords

Abstract State Machine
ASM
global state
distributed computation

Access to Document

10.1007/978-3-662-43652-3_18

Permanent link

Persistent link

Cite this

Prinz, A., & Sherratt, E. (2014). Distributed ASM - Pitfalls and solutions. In Y. A. Ameur, & K.-D. Schewe (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Vol. LNCS 8477, pp. 210-215). (Lecture Notes in Computer Science; Vol. 8477). Springer Nature. https://doi.org/10.1007/978-3-662-43652-3_18

@inproceedings{d4bb6bf574124e7e8df4db09a373c136,

title = "Distributed ASM - Pitfalls and solutions",

abstract = "While sequential Abstract State Machines (ASM) capture the essence of sequential computation, it is not clear that this is true of distributed ASM. This paper looks at two kinds of distributed process, one based on a global state and one based on variable access. Their commonalities are extracted and conclusions for the general understanding of distributed computation are drawn, providing integration between global state and variable access.",

keywords = "Abstract State Machine, ASM, global state, distributed computation",

author = "Andreas Prinz and Edel Sherratt",

year = "2014",

doi = "10.1007/978-3-662-43652-3_18",

language = "English",

isbn = "978-3-662-43651-6",

volume = "LNCS 8477",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "210--215",

editor = "Ameur, {Yamine Ait } and Schewe, {Klaus-Dieter }",

booktitle = "Abstract State Machines, Alloy, B, TLA, VDM, and Z",

address = "Switzerland",

}

Prinz, A & Sherratt, E 2014, Distributed ASM - Pitfalls and solutions. in YA Ameur & K-D Schewe (eds), Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings. vol. LNCS 8477, Lecture Notes in Computer Science, vol. 8477, Springer Nature, pp. 210-215. https://doi.org/10.1007/978-3-662-43652-3_18

Distributed ASM - Pitfalls and solutions. / Prinz, Andreas; Sherratt, Edel.
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings. ed. / Yamine Ait Ameur; Klaus-Dieter Schewe. Vol. LNCS 8477 Springer Nature, 2014. p. 210-215 (Lecture Notes in Computer Science; Vol. 8477).

Research output: Chapter in Book/Report/Conference proceeding › Conference Proceeding (Non-Journal item)

TY - GEN

T1 - Distributed ASM - Pitfalls and solutions

AU - Prinz, Andreas

AU - Sherratt, Edel

PY - 2014

Y1 - 2014

N2 - While sequential Abstract State Machines (ASM) capture the essence of sequential computation, it is not clear that this is true of distributed ASM. This paper looks at two kinds of distributed process, one based on a global state and one based on variable access. Their commonalities are extracted and conclusions for the general understanding of distributed computation are drawn, providing integration between global state and variable access.

AB - While sequential Abstract State Machines (ASM) capture the essence of sequential computation, it is not clear that this is true of distributed ASM. This paper looks at two kinds of distributed process, one based on a global state and one based on variable access. Their commonalities are extracted and conclusions for the general understanding of distributed computation are drawn, providing integration between global state and variable access.

KW - Abstract State Machine

KW - ASM

KW - global state

KW - distributed computation

UR - http://hdl.handle.net/11250/281045

UR - http://hdl.handle.net/2160/43683

U2 - 10.1007/978-3-662-43652-3_18

DO - 10.1007/978-3-662-43652-3_18

M3 - Conference Proceeding (Non-Journal item)

SN - 978-3-662-43651-6

SN - 978-3-662-43652-3

VL - LNCS 8477

T3 - Lecture Notes in Computer Science

SP - 210

EP - 215

BT - Abstract State Machines, Alloy, B, TLA, VDM, and Z

A2 - Ameur, Yamine Ait

A2 - Schewe, Klaus-Dieter

PB - Springer Nature

ER -

Distributed ASM - Pitfalls and solutions

Abstract

Publication series

Keywords

Access to Document

Permanent link

Other files and links

Fingerprint

Cite this