Scenario-Based Evaluation of Abstract State Machines
In this paper we suggest a scenario-based approach to analyzing non-functional properties of ASM ground models. It is based on well-founded evaluation methods from the software architecture field and enables a designer to reason about the quality features of his model, like e. g. maintainability or testability. A set of scenarios that represent a system's non-functional requirements and the evaluation of these with an ASM model can enable an improvement of the system's qualities by using according structuring principles.
Daniel Klünder and Stefan Kowalewski