109

urn:lsid:arphahub.com:pub:3dc5f44e-8666-58db-bc76-a455210e8891

JUCS - Journal of Universal Computer Science

jucs

0948-695X 0948-6968

Journal of Universal Computer Science

10.3217/jucs-008-01-0002

27843

Research Article

C.1 - PROCESSOR ARCHITECTURES C.3 - SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS D.1 - PROGRAMMING TECHNIQUES D.2 - SOFTWARE ENGINEERING D.3 - PROGRAMMING LANGUAGES F.1.1 - Models of Computation F.1.2 - Modes of Computation F.3.1 - Specifying and Verifying and Reasoning about Programs F.3.2 - Semantics of Programming Languages F.4.2 - Grammars and Other Rewriting Systems F.4.3 - Formal Languages G.0 - GENERAL H.1 - MODELS AND PRINCIPLES I.6 - SIMULATION AND MODELING

The Origins and the Development of the ASM Method for High Level System Design and Analysis

Börger

Egon

boerger@di.unipi.it 1

University of Pisa, Pisa, Italy

University of Pisa

Pisa

Italy

Corresponding author: Egon Börger (boerger@di.unipi.it).

Academic editor:

2002

28 01 2002

8 1 2 74 0973DC2F-348F-59AA-8264-CA9D630F618A 6996095

Egon Börger

This article is freely available under the J.UCS Open Content License.

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.