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.


Principal Investigators
Reisig, Wolfgang Prof. Dr. rer. nat. habil. (Details) (Software Engineering and Theory of Programming I)

Duration of Project
Start date: 02/2009
End date: 01/2010

Last updated on 2020-14-03 at 23:17