The Expressive Power of Abstract State Machines II

Gurevich' Abstract State Machines (ASM) offer an increasingly attractive alternative to the classical concepts of system modelling, both theoretically and in applications. This project follows two aims: The expressive power of the important class of Distributed ASM is to be characterized. Furthermore, property preserving refinement and composition methods for ASM are derived. This deepens the understanding of the fundamental aspects of ASM and helps to embed it into the scientific environment system modelling.