JUCS - Journal of Universal Computer Science 8(1): 2-74, doi: 10.3217/jucs-008-01-0002
The Origins and the Development of the ASM Method for High Level System Design and Analysis
expand article infoEgon Börger
‡ University of Pisa, Pisa, Italy
Open Access
Abstract
The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the period from 1984, when the idea for the concept of ASMs (under the name dynamic or evolving algebras or structures) appears for the first time in a foundational context, to the year 2001 where a mathematically well-founded, practical system development method based upon the notion of ASMs is in place and ready to be industrially deployed. Some lessons for the future of ASMs are drawn.
Keywords
system design, specification methods, system analysis, abstract state machines, models of computation