Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Linking architectural and component system views by abstract state machines
Börger E. In Languages for system specification. Norwell, MA,  Kluwer Academic Publishers,  2004. Type:Book Chapter
Date Reviewed: Feb 2 2005

This paper is chapter 16 in the book Languages for system specification [1]. The paper is a discussion of the concepts and applications of abstract state machines (ASMs), for use in software design and verification. ASMs may be viewed as a generalization of finite state machines, in which states are abstractions of states of the target software, abstract data structures are used to associate semantics for the states, transitions on the ASM are abstractions of operations for the target software, and concurrent behaviors are defined. ASMs may be contrasted with statechart models in unified modeling language (UML): statecharts are a visual abstraction, but with incomplete semantic definition, whereas ASMs have a defined (but more complex) semantic definition.

The stated goal of the chapter is to “show how abstract state machines (ASM) can be used” to relate “the finite state machine (FSM) view of model-checkable components and the architectural system view.” In fact, the paper consists of survey and summary statements about the many references, together with snippet examples from several of the references.

For readers familiar with the references, the paper should provide perspective and integration of the concepts; for readers not familiar with the references, the paper should provide a good guide to readings. For example, it might be an appropriate guide for directed readings for graduate students. For a full definition of ASMs, and for examples and case studies, the author refers to his book [2].

Reviewer:  W. Hankley Review #: CR130753 (0508-0907)
1) Grimm, C. Languages for system specification. Kluwer, Norwell, MA, 2004.
2) Börger, E.; Stärk, R.F.; , Abstract state machines: a method for high-level system design and analysis. Springer, New York, NY, 2003.
Bookmark and Share
 
State Diagrams (D.2.2 ... )
 
 
Automata (F.1.1 ... )
 
 
General (D.2.0 )
 
Would you recommend this review?
yes
no
Other reviews under "State Diagrams": Date
Modular refinement of hierarchic reactive machines
Alur R., Grosu R. ACM Transactions on Programming Languages and Systems 26(2): 339-369, 2004. Type: Article
Jul 9 2004
 Live and let die: LSC based verification of UML models
Damm W., Westphal B. Science of Computer Programming 55(1-3): 117-159, 2005. Type: Article
Oct 24 2005

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud, Inc.®
Terms of Use
| Privacy Policy