The Expressive Power of Abstract State Machines I


On the background of classical concepts of system modeling, Gurevich's Abstract State Machines (ASM) provide a profound theoretical alternative, with an increasing amount of successful applications. This project follows two central goals: The expressive power of the important class of Distributed ASM will be characterized, and property preserving refinement- and composition methods are developed. This supports proper understanding of the fundamental aspects of ASM and helps to embed the ASM approach in its scientific context.


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

Duration of Project
Start date: 07/2005
End date: 06/2007

Last updated on 2020-09-03 at 23:09