Abstract
State Machines (ASMs) are a simple but powerful formalism for modeling both hardware and software. Models typically allow an implementation freedom for a range of behavior. ASMs use two concepts to achieve this. Parallel composition abstracts from irrelevant sequentiality. Nondeterministic choice abstracts from irrelevant algorithmic detail. As a thought experiment, we wish to see the consequences of substituting parallel composition by nondeterministic composition. We have found that it provides some alternative benefits, e.g. the complex theory of partial updates wouldn’t be necessary, since successsive updates take care of combining the effect of partial updates. ASMs of different abstraction levels could be reused, since updates on different abstraction levels wouldn’t collide. It would be consistent with the current mechanism for exception handling in Microsoft’s ASM language. Finally, we also show that this change in semantics does not destroy the spirit of ASMs, in fact most ASM models wouldn’t need any change at all. We have not analyzed the consequences of using nondeterminstic composition for the ASM thesis, but for a specification language nondeterminstic composition seems to work fine. For a detailed analysis, see [1].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Wolfram Schulte. Parallelism versus nondeterminism-On the semantics of abstract state machines. Technical Report MSR-TR-2002-109, Microsoft Research, November 2002. Available from http://research.microsoft.com/pubs. 425
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schulte, W. (2003). Parallelism versus Nondeterminism — On the Semantics of Abstract State Machines. In: Börger, E., Gargantini, A., Riccobene, E. (eds) Abstract State Machines 2003. ASM 2003. Lecture Notes in Computer Science, vol 2589. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36498-6_35
Download citation
DOI: https://doi.org/10.1007/3-540-36498-6_35
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00624-4
Online ISBN: 978-3-540-36498-6
eBook Packages: Springer Book Archive