Abstract state machines and software requirements specifications
|V. Geist, C. Illibauer, F. Kossak, F. Stallinger. Abstract state machines and software requirements specifications. number SCCH-TR-1207, 3, 2012.|
We discuss the place of formal or semi-formal methods within a complete software requirements specification, and in particular the role of an Abstract State Machine (ASM) ground model therein. In the light of the great variety of potential readers of a specification, we stress the importance of general understandability. We draw attention to several problems we have encountered during practical work, and make propositions for the design of specification documents in which the ASM method is used.