文件名称：The Abstract State Machines Method forHigh-Level System Design and Analysis
文件大小：261KB
文件格式：PDF
更新时间：2013-10-08 17:55:03
abstract state machine, high level
We explain the main ingredients of the Abstract State Machines (ASM) method for high-level system design and analysis and survey some of its application highlights in industrial software-based system engineering. We illustrate the method by defining models for three simple control systems (sluice gate, traffic light, package router) and by characterizing Event-B machines as a specific class of ASMs.We point to directions for future research and applications of the method in other areas than software engineering.