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.