【文件属性】:
文件名称: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.