Prototyping object oriented specifications in an algebraic environment

Abstract

This paper presents an algebraic environment aimed to achieve operational prototypes [3] from an object-oriented description of the Universe of Discourse CUoD). Based on the OASIS object-oriented specification language [15] and the works initiated in [16], two algebraic specifications are provided: the first formalizes the OASIS language; the second is a formalization of the lives of the objects in the UoD. From an OASIS description of the conceptual scheme, the object-oriented algebraic prototyper (OOAP) automatically generates a validated ground term of the term algebra of the OASIS specification. After a consistency analysis OOAP generates an OBJ3 prototype for that specification which is internally executed as a rewriting system. It is then ready to be used by developers and users in order to validate and verify functional requirements of the information system. An implementation of the OOAP has been carried out using the functional language OBJ3.