From analysis to design in a deductive and object-oriented environment

  • Oscar Pastor López
  • Isidro Ramos
  • José H. Canós
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 720)


In this paper we present an Object-Oriented (OO) methodology for software production, and we focus on the analysis to design transition. OO-METHOD provides software tools covering the classical development phases of analysis, design and implementation, all this within a graphical, user-friendly working environment. Starting from a graphical system specification as the product of the OO analysis step, we produce the corresponding system specification in OASIS (a formal and OO specification language used as design tool). Finally, depending on the chosen working environment (logic or OO), we can obtain a final software product automatically by using the corresponding translator.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    R. Balzer et al.:Software Technology in the 1990s: Using a New Paradigm. IEEE Computer Science Press,Nov.1983.Google Scholar
  2. 2.
    J. A. Bubenko, A.Oliv é: Dynamic or Temporal Modelling? an illustrative comparison. SYSLAB Working Paper 117,Nov.1986.Google Scholar
  3. 3.
    C.Gane, T.Sarson: Structured System Analysis. Englewood Cliffs,NJ:Prentice Hall, 1979Google Scholar
  4. 4.
    O.Pastor,I.Ramos,J,Canós: Object Oriented and Relational Specification of Information Systems. Second International Workshop on the Deductive Approach to Information Systems and Databases. Aiguablava,Sept.1991.Google Scholar
  5. 5.
    O.Pastor,F.Hayes,S.Bear: OASIS: An Object-Oriented Specification Language. In the Proceedings of the CAiSE-92, Manchester,UK.Google Scholar
  6. 6.
    O.Pastor,A.Gonz ález: OO-METHOD: An OO Methodology for S oftware Production. Proceedings of DEXA-92, ValenciaGoogle Scholar
  7. 7.
    O.Pastor. Diseno y Desarrollo de un Entorno de Producción Autom ática de Software basado en el Modelo OO. PhD Thesis, U.P.V., Valencia 1992.Google Scholar
  8. 8.
    I.Ramos: Logics and OO-Data Bases: a declarative approach. Proceedings of DEXA-90, Springer-Verlag, 1990 pag. 348–363.Google Scholar
  9. 9.
    I.Ramos,O.Pastor: OO and Active Formal Information System Specification. Proceedings of DEXA-91, Berlin (1991)Google Scholar
  10. 10.
    E.Yourdon: Modern Structured Analysis. Englewood Cliffs,NJ:Prentice Hall, 1989Google Scholar
  11. 11.
    R.J. Wieringa, A formalization of objects using equational dynamic logic, Proc. of the 2nd DOOD Conference, Springer-Verlag, 1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Oscar Pastor López
    • 1
  • Isidro Ramos
    • 1
  • José H. Canós
    • 1
  1. 1.Departament de Sistemes Informatics i ComputacióUniversität Politecnica de ValenciaSpain

Personalised recommendations