The ASM Method for System Design and Analysis. A Tutorial Introduction
We introduce into and survey the ASM method for highlevel system design and analysis. We explain the three notions|Abstract State Machine [37], ASM ground model (system blueprint) [7] and ASM refinement [8]|that characterize the method, which integrates also current validation and verification techniques.We illustrate how the method allows the system engineer to rigorously capture requirements by ASM ground models
…
An outstanding feature of the ASM method is that within a single precise yet simple conceptual framework, it naturally supports and uniformly integrates the following activities and techniques, as illustrated by Fig. 1 (taken from [24]): { the major software life cycle activities, linking in a controllable way the two ends of the development of complex software systems:
- requirements capture by constructing rigorous ground models, i.e. accurate concise high-level system blueprints (system contracts), formulated in domain-specific terms, using an application-oriented language which can be understood by all stakeholders [7],
- architectural and component design bridging the gap between speci fication and code by piecemeal, systematically documented detailing of abstract models via stepwise refined models to code [8],
- validation of models by their tool-supported simulation,
- verification of model properties by tool-supported proof techniques,
- documentation for inspection, reuse and maintenance by providing, through the intermediate models and their analysis, explicit descriptions of the software structure and of the major design decisions,
…
Website: www.di.unipi.it | Filesize: 334kb
No of Page(s): 21
Click here to download The ASM Method for System Design and Analysis. A Tutorial Introduction.
Related Copyrighted Books
Related Tutorial
Tags: asm, design, design implementation
Comments
Leave a Reply