Refactoring abstract state machine models

Authors:
Hamed Yaghoubi Shahir;Roozbeh Farahbod;Uwe Glässer
Affiliations:
Software Technology Lab, Simon Fraser University, B.C., Canada;SAP Research, Karlsruhe, Germany;Software Technology Lab, Simon Fraser University, B.C., Canada
Venue:
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Year:
2012

Citing 6
Cited 0

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Pattern-oriented software architecture: a system of patterns

Pattern-oriented software architecture: a system of patterns
Refactoring: improving the design of existing code

Refactoring: improving the design of existing code
Object Oriented Reengineering Patterns

Object Oriented Reengineering Patterns
Abstract State Machines: A Method for High-Level System Design and Analysis

Abstract State Machines: A Method for High-Level System Design and Analysis
Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems

Formal Aspects of Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Abstract State Machine (ASM) method proposes the concept of ground models for analyzing a target system based on pseudo-code-like descriptions for reasoning about system properties in terms of state machine runs over abstract data structures. This highly iterative process builds on stepwise refinement of ground models that evolve with progressing understanding of functional system requirements. Usually, as complexity increases, reorganization of a model's internal structure helps enhance its flexibility and robustness. While this approach is common practice, the underlying principles are usually left implicit. In this paper, we propose refactoring patterns to restructure abstract machine models with the goal of improving their intelligibility and maintainability.