TIK Report 136 The Formal Definition of Anlauff’s eXtensible Abstract State Machines

Abstract

eXtensible Abstract State Machines (XASM) [1, 4, 2, 3] has been designed and implemented by Anlauff as formal development tool for the Montages project. Unfortunately a formal semantics of XASM has not been given up to now. We streamline Anlauff’s original design and present a denotational semantics, complementing the existing informal description. In fact we found that XASM implement a semantic generalization of Gurevich’s Abstract State Machines (ASMs) [13, 14, 15, 16]. The initial idea for this generalization came from May’s work [22] which is the first paper formalizing sequential composition, iteration and hierarchical structuring of ASMs. May notes that his approach complements

1 Figure or Table

Cite this paper

@inproceedings{Kutter2002TIKR1, title={TIK Report 136 The Formal Definition of Anlauff’s eXtensible Abstract State Machines}, author={Philipp W. Kutter}, year={2002} }