The ASM ground model method as a foundation of requirements engineering (2003)
| Venue: | Verification: Theory and Practice, volume 2772 of LNCS |
| Citations: | 20 - 9 self |
BibTeX
@INPROCEEDINGS{Börger03theasm,
author = {Egon Börger},
title = {The ASM ground model method as a foundation of requirements engineering},
booktitle = {Verification: Theory and Practice, volume 2772 of LNCS},
year = {2003},
pages = {145--160},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. Building ground models is one of the three constituents of the engineering method for computer-based systems which is known as Abstract State Machine (ASM) method [16]. In this note we characterize ground models, whose epistemological role for a foundation of system design resembles the one Aristotle assigned to axioms to ground science in reality, avoiding infinite regress. We explain how ASM ground models help to resolve two major problems of requirements engineering, providing means a) to obtain for complex computer-based systems an adequate understanding by humans, and b) to cope with ever-changing requirements by faithfully capturing and tracing them via well-documented modeling–for–change. We point out that via an appropriate refinement method one can relate ground models to executable code. 1 IINTRODUCTION In a recent paper [6] Daniel Berry identifies requirements engineering as the main source for “the inevitable pain of software development”, explaining “why there
