Abstract state machines and software requirements specifications

Authors Verena Geist
Christa Illibauer
Felix Kossak
Friedrich Stallinger
Title Abstract state machines and software requirements specifications
Type techreport
Number SCCH-TR-1207
Institution Software Competence Center Hagenberg GmbH
Month March
Year 2012
SCCH ID# 1207
Abstract

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.