The ASM Ground Model Method as a Foundation of Requirements Engineering [chapter]

Egon Börger
2003 Lecture Notes in Computer Science  
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
more » ... tain 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. THE ROLE OF GROUND MODELS The fundamental problem is clearly identified in Brooks' famous analysis in [17]: 3 In those papers ASMs were used to build a ground model for what later became the ISO standard of Prolog (see [13] ), but the used method is independent of Prolog. 4 See the appendix for a definition.
doi:10.1007/978-3-540-39910-0_6 fatcat:kfedosnmdvci7liufadnq6gb4y