An object oriented methodological approach for making automated prototyping feasible

  • Oscar Pastor
  • Vicente Pelechano
  • Begoña Bonet
  • Isidro Ramos
Object-Oriented Databases 1
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1134)


We present the OO-Method, an Object-Oriented Methodology that complements the use of formal specification languages with the background of the classical informal OO Analysis and Design proposals. This methodology eliminates the ambiguity of such methods and puts into practice the appropiate properties of formal specification languages in a practical way. It uses a formal OO Specification Language called Oasis as a design tool. The most relevant contribution of the OO-Method is that it generates the specification in an automated way from the graphical models obtained in the Analysis step and the quoted specification is a robust documentation of the System. Finally, code generators make possible to obtain implementations of the specification in different Software Development Environments, including declarative (Prolog-based) and imperative environments.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Boo94]
    Booch,G. Object Oriented Design with Applications. The Benjamin/Cummings Publishing Company,Inc. 1994Google Scholar
  2. [Har94]
    Hartmann T.;Saake,G.;Jungclaus,R.;Hartel,P.;Kusch, J. Revised Version of the Modelling Language Troll (Troll version 2.0) Technische Universitat Braunschweig, Informatik-Berichte, 94-03 April 1994.Google Scholar
  3. [Jac92]
    Jacobson I.,Christerson M.,Jonsson P.,Overgaard G., Object Oriented Software Engineering, a Use Case Driven Approach. Reading, Massachusetts. Addison-WesleyGoogle Scholar
  4. [Pas92-1]
    Pastor,O.,Hayes,F.,Bear,S. OASIS: An Object Oriented Specification Language, Proceedings of the CAiSE92, LCNS 593, pp.: 348–363, Springer VerlagGoogle Scholar
  5. [Pas92-2]
    Pastor, O. Diseño y Desarrollo de un Entorno de Producción Automática de Software basado en el Modelo Orientado a Objetos. Phd Thesis, managed by Isidro Ramos, 1992, DSIC-UPV (Valencia).Google Scholar
  6. [Pas92-3]
    Pastor,O. OO-METHOD: An Object Oriented Methodology for Software Production. Proceedings of the DEXA 92, Springer-Verlag, pp. 121–127. ISBN: 3-211-82400-6Google Scholar
  7. [Pas93]
    Pastor,O.,Ramos,I.,Canos J.H. From Analysis to Design in an Object Oriented and Deductive Environment. Proceedings of the DEXA 93, LCNS 720, pp.:667–673, Springer-VerlagGoogle Scholar
  8. [Pas95]
    Pastor,O.: Ramos, I. Oasis 2.1.1: A Class-Definition Language to Model Information Systems Using an Object-Oriented Approach, February 94 (1st ed.), March 95 (2nd ed.), October 95 (3th ed.).Google Scholar
  9. [Pas96-1]
    Pastor,O.;Pelechano,V.; Bonet,B.; Ramos, I. OO-Method 2.0: una metodología de Análisis y Diseño Orientada a Objetos. Technical Report, DSIC-UPV, 1996.Google Scholar
  10. [Pas96-2]
    Pastor,O.;Merseguer,J.;Romero,J.; Barberá,J.M. Descripción del entorno gráfico de la herramienta CASE OO-METHOD. Technical Report, DSIC-UPV, 1996.Google Scholar
  11. [Pas96-3]
    Pastor,O.;Pelechano,V.; Bonet,B.; Ramos, I. Using OO-Method: a practical guide to software modelling. Technical Report, DSIC-UPV, 1996.Google Scholar
  12. [Ser87]
    Sernadas,A.;Sernadas,C.; Ehrich,H.D. Object-Oriented Specification of Databases: An Algebraic Approach In P.M.Stocker, W.Kent eds., Proceedings of VLDB 87, pp.-107–116. Morgan Kaufmann, 1987Google Scholar
  13. [Ram90]
    Ramos, I. Logic and OO Databases: a Declarative Approach Porceedings of the Dexa 90, Springer-Verlag, 1990Google Scholar
  14. [Ram92]
    Ramos,I.:Pastor,O.:Canos,J.H. On the use of Algebras as Semantic Domains of Object Societies In the Proceedings of the 3rd International Workshop of the deductive Approach for DB an IS, Roses (Costa Brava), 1992.Google Scholar
  15. [Rum91]
    Rumbaugh J.,Blaha M., Permerlani W., Eddy F.,Lorensen W. Object Oriented Modeling and Design. Englewood Cliffs, Nj. Prentice-HallGoogle Scholar
  16. [Wir90]
    Wirfs-Brock R.,Wilkerson B.,Wiener L., Designing Object Oriented Software. Englewood Cliffs NJ. Prentice-Hall.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Oscar Pastor
    • 1
  • Vicente Pelechano
    • 1
  • Begoña Bonet
    • 1
  • Isidro Ramos
    • 1
  1. 1.Departament de Sistemes Informàtics i ComputacióUniversitat Politècnica de ValènciaValènciaSpain

Personalised recommendations