Prototyping object oriented specifications in an algebraic environment

  • A. Toval
  • I. Ramos
  • O. Pastor
Conceptual Modelling
Part of the Lecture Notes in Computer Science book series (LNCS, volume 856)


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.


algebraic specifications conceptual modelling object-oriented prototyping object-oriented specification 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    M. Atkinson; F. Bancilhon; D. DeWitt; K. Dittrich; D. Maier and S. Zdonik. “The object-oriented database system manifesto”. In Proc. of the First Int. Conf. on Deductive and Object-Oriented Databases, Kyoto, Japan, December 1989Google Scholar
  2. [2]
    G.Booch. “Object Oriented Design with applications”. The Benjamin/Cummings Publishing Company Inc. (1991)Google Scholar
  3. [3]
    A.M. Davis. “Operational prototyping: a new development approach”. IEEE Software. September 1992, vol. 9, n.5Google Scholar
  4. [4]
    H.-D.Ehrich;A.Sernadas; C.Sernadas. “Objects,Object Types and Object Identification” in Categorical Methods in Computer Science, H.Ehrig (ed.). Springer-Verlag 1988Google Scholar
  5. [5]
    H.Ehrig;B.Mahr. “Fundamentals of Algebraic Specification 1”. Springer-Verlag. 1985Google Scholar
  6. [6]
    J.A.Goguen; J.J Jouannaud and J.Meseguer. “Operational Semantics of order-sorted algebra”, in W.Brauer (ed.) Proc. 1985 Int. Conf. on Automata, Languages and Programming, Springer 1985, LNCS n∘ 194Google Scholar
  7. [7]
    J.A.Goguen; J.Meseguer. “Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics”, in Research Directions in Object-Oriented Programming, B.Shriver and P.Wegner (eds.). MIT Press (1987) pp.417–477Google Scholar
  8. [8]
    J.Goguen; J.Meseguer, “Order-Sorted Algebra I”, Technical Report, SRI International, Standford University, 1988Google Scholar
  9. [9]
    J.A.Goguen; T.Winkler;J.Meseguer;K.Futatsugi and J.P.Jouannaud, “Introducing OBJ3” SRI-CSL Report (Draft of January 1992)Google Scholar
  10. [10]
    IS-CORE: Information Systems — Correctness and Reusability Esprit-2 BRA WG 3023, Second Year Report, September 1991Google Scholar
  11. [11]
    Udo W. Lipeck, G. Koschorreck (eds.). Proc. of the Int. Workshop on: Information Systems — Correctness and Reusability IS-CORE'93, Institut für Informatik, Hannover, September 1993Google Scholar
  12. [12]
    R.Jungclaus, T.Hartmann, G.Saake, C.Sernadas, “Introduction to TROLL-A Language for Object-Oriented Specification of Information Systems” in. [10]Google Scholar
  13. [13]
    B.Meyer, “Object-Oriented Software Construction”. Prentice-Hall 1988Google Scholar
  14. [14]
    Jesus G. Molina; Ambrosio Toval; Manuel González. “Sape: a structured analysis prototyping environment” stream: software development and maintenance (Poster Sessions). 12TH World Computer Congress. IFIP CONGRESS 92 Madrid (Spain). September 7–11, 1992Google Scholar
  15. [15]
    O.Pastor; Hayes,F.; S.Bear. “OASIS: An Object-Oriented Specification Language” in Proceedings of the CAISE-92 Conference, Spriger-Verlag (1992)Google Scholar
  16. [16]
    I. Ramos; O. Pastor and J.H.Canós “On the use of algebras as a semantic domain for Objects Societies”, Proc. of the Deductive Approach to Information Systems and Databases, Costa Brava (Catalonia, Spain), Sept. 92Google Scholar
  17. [17]
    A.Sernadas; J.Fiadeiro; C.Sernadas; H.-D.Ehrich. “The Basic Building Blocks of information Systems” Proc. IFIP 8.1 Working Conference, Falkenberg, E.,Lindegreen,P. (eds.), North Holland, Amsterdam, 1989, pp.225–246Google Scholar
  18. [18]
    Sernadas, A.; Sernadas, C. Gouveia, P.; Resende, P. “OBLOG: An Informal Introduction” Research Report INESC 1991.Google Scholar
  19. [19]
    A. Toval. “EMTR-01: First Technical Report on the Euromethod Progress”. Internal Report. E.U. Informática. Universidad de Murcia (Spain). October 1990.Google Scholar
  20. [20]
    A. Toval. “EEC: EUROMETHOD IN PROGRESS”. Short Note, IEEE Computer Society/TCSE Newsletter, April 1992Google Scholar
  21. [21]
    A. Toval. “Formalización Algebraica de un Entorno de Producción Automática de Prototipos Orientados a Objetos”. PH.D. dissertation. Departamento de Sistemas Informaticos y Computación. Universidad Politécnica de Valencia (Spain). Mayo 1994Google Scholar
  22. [22]
    T.H.Tse. “A Unifying Framework for Structured Analysis and Design Models: an approach using initial algebra semantics and category theory”. Cambridge University Press (1991)Google Scholar
  23. [23]
    R.J.Wieringa. “Algebraic Foundations for Dynamic Conceptual Models”. PhD Thesis, Vrije Universiteit, Amsterdam, 1990Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • A. Toval
    • 1
  • I. Ramos
    • 2
  • O. Pastor
    • 2
  1. 1.Dept. de Informática y Sistemas. Facultad de InformáticaUniversidad de MurciaMurciaSpain
  2. 2.Dept. de Sistemes Informatics i Computació (DSIC)Universitat Politecnica de ValenciaValenciaSpain

Personalised recommendations