Methodological Work
The research reported here is of methodological
nature. It presents contributions to the development of the Abstract State
Machines method for system design and analysis, explains why the method works
also under industrial constraints and compares it to other well known
approaches in the field. For a systematic monograph-and-textbook-style
presentation of the method, which covers also the papers referenced below, see
the AsmBook
- DEVELOPMENT of the ASM method
- ASM Ground
Model Method.pdf, an introduction into the modeling constituent
of the Asm Method.
- ASM Refinement
Method.pdf, an introduction into the refinement constituent of
the Asm Method.
- AsmDefinition:
definition of the computational constituent of the Asm Method. An informal definition and a
formalized one appear in
Chapter 2 of Jbook with updated versions in Chapter 2.2 (Working
Definition) and Chapter 2.4 (Detailed Definition: Mathematical Foundation)
of the AsmBook .
- ASM Models for FUNDAMENTAL COMPUTATIONAL
CONCEPTS
-
A definition of
concurrency for ASMs with a Concurrent ASM
Thesis
(paper
with K.-D.Schewe in Acta Informatica 2015)
-
Composition and Submachine Concepts for
Sequential ASMs
(A definition of turbo ASMs, integrating
composition
and structuring concepts which reflect frequently used refinements of
ASMs, in particular SEQ, ITERATE and parameterized (recursive)
SUBMACHINEs.)
Abstract. See also Chapter 4.1
of
AsmBook.
-
A model for Recursion in ASMs
(Using turbo ASMs to naturally
integrate functional programming techniques into ASMs, illustrated by
modelling standard forms of recursion.)
Paper.pdf, appeared in the Proc. of ASM 2003. See also Chapter
4.1.2
of
AsmBook.
-
Abstract
State Processes
(An integration of
process-algebraic
composition and structuring concepts into ASMs, in
particular interleaving and selected synchrony.) Invited lecture to ASM
2003, Paper.pdf,
appeared in the Proc. Springer LNCS 2589.
See also Chapter 4.2 of AsmBook.
-
A Comparative
Study of Computation and Specification Models
Invited lecture to the Action
Semantics Workshop at FLOC’02 in Copenhague, Draft
Paper.pdf in the Proc. (BRICS Series NS-02-08,
Aarhus 2002). See also
a
revised.pdf
version to appear in APAL 2003 and see
Chapter 7.1
of AsmBook
- INDUSTRIAL
APPLICATIONS of the ASM Method
- Two industrial experience reports on
software engineering applications of the ASM method under industrial
constraints (See also Chapter 9.4 (Making ASMs fit for their
Industrial Deployment) of AsmBook)
- Report on a Practical Application of
ASMs in Software Design (Falko
project at Siemens Corporate Research, Munich.)
- Using Abstract State
Machines at Microsoft: A Case Study
- ASM Case Study Book (also called
Jbook) exhibits ground modeling,
refinement, validation and verification of Java and its JVM implementation
- Workflow and interaction patterns, business
processes, web services
- SURVEYS of the ASM
Method
- Why Use Evolving Algebras for Hardware
and Software Engineering (A non-technical 1995 paper explaining the epistemological reasons why use ASMs
as specification and high-level design language). See also Chapter 9.2 (Recognizing the practical
relevance of ASMs) of
AsmBook.
- High Level System Design and Analysis
using Abstract State Machines
(A non-technical introduction explaining the ASM method, surveying
its major applications prior to 1999, and comparing it to other major
modelling approaches in the literature) .
See the Introduction and Chapter 1 of AsmBook.
- llustrating to the
Practitioner the Power of ASMs for Modelling and Analysing Real-life
Systems. A
short Survey
( taken from Springer LNI Series Vol.P-45
(2004) 235-239) of
large-scale and industrial applications of ASMs. A more detailed survey (as of
2003) is
found in Chapter 9 of the AsmBook.
- Using the ASM Method for
Hoare’s Verified Software Challenge
- Abstract State Machines at the Cusp of the
Millenium (A
historical perspective of the ASM method, with a list of challenging
future problems.
Paper.pdf).
See also Chapter 9 (History and Survey of ASM Research)
and the list of problems on pg. 429 of AsmBook.
- Historical Survey : detailed description of the industrial
and academic achievements of the method
with an annotated bibliography of over 300 items, covering the
period 1984-2001. Title:“The Origins and
the Development of the ASM Method for High Level System Design and
Analysis” freely
available at JUCS 8 (1) 2002. Locally a Draft
version is available. Updated December 2002 version (with 440 items) in Ch. 9
(History and Survey of ASM Research) of AsmBook .
- INTRODUCTIONS to the ASM Method
- Goals of
the method:
describes the goals of the method and its scientific and
practical role as a discipline for the engineering of certifiably
reliable systems (Introduction to the AsmBook)
- Introduction describes the three constituents of the method: machine concept, ground model concept, refinement concept (from a talk to
BCS/London)
- Tutorial Introduction FromFSMToASM
final version in Springer LNAI 3717, pp. 264-283, 2005
- ASM Method: A Quick for Students. 4 lectures.pdf
delivered at ETH Zuerich, Dec 2004
- Discrete Systems Modeling (explaining the role of ASMs
for modeling systems. Draft
Word document, final version to appear in Encyclopedia of Physical
Sciences and Technology, Academic Press, 2001). See
also Chapter 9 (History and Survey of ASM Research) of AsmBook.
- For more material, up to date until
the year 2000, see the ASM website.