ASIOS: A tool for the interactive transformation of algebraic specifications into object-oriented specifications

This paper presents an overview of the key features, the architecture, and the usage of the tool ASIOS which supports the systematic refinement of algebraic specifications into object-oriented specifications. The tool helps to bridge the gap between functional specification concepts and object-oriented modeling techniques. Moreover, an important area of application comprises the mechanized top-down development of information storing components. The tool has demonstrated in undergraduate courses to improve students´ understanding for the conceptual differences of both specification techniques. Throughout the paper, we exemplify the usage of the tool using the well-known abstract data type stacks of natural numbers.