Prototyping Object Oriented Specifications in an Algebraic Environment

This paper presents an algebraic environment aimed to achieve operational prototypes [3] from an object-oriented description of the Universe of Discourse (UoD). 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.

[1]  T. H. Tse.  A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory , 1991 .

[2]  Oscar Pastor,et al.  OASIS: An Object-Oriented Specification Language , 1992, CAiSE.

[3]  Grady Booch,et al.  Object-Oriented Design with Applications , 1990 .

[4]  David J. DeWitt,et al.  The Object-Oriented Database System Manifesto , 1994, Building an Object-Oriented Database System, The Story of O2.

[5]  Cristina Sernadas,et al.  Objects, Object Types, and Object Identification , 1988, Categorial Methods in Computer Science.

[6]  Jean-Pierre Jouannaud,et al.  Operational Semantics for Order-Sorted Algebra , 1985, ICALP.

[7]  Alan M. Davis,et al.  Operational prototyping: a new development approach , 1992, IEEE Software.

[8]  Roelf J. Wieringa,et al.  Algebraic Foundations for Dynamic Conceptual Models , 1990 .

[9]  José Ambrosio Toval Álvarez.  Formalización algebraica de un entorno de producción automática de prototipos orientados a objetos , 1994 .

[10]  José Luiz Fiadeiro,et al.  The Basic Building Blocks of Information Systems , 1989, ISCO.

[11]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.

[12]  José Meseguer,et al.  Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics , 1987, Research Directions in Object-Oriented Programming.

[13]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .