Skip to main content
SpringerLink
Log in

OASIS v2: A class definition language

  • Conference paper
  • First Online:
Database and Expert Systems Applications (DEXA 1995)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 978))

Included in the following conference series:

  • 133 Accesses

Abstract

In this paper we present OASIS 2.1, the last version of OASIS. OASIS is a formal, OO Specification Language developed in DSIC ([1] [4] [6] [8] [7] [12] [11]). In its initial versions, the Software Development Environment associated to the Language was formalized using first order theories that evolve over time. This lead us to a Logic Programming environment with the complement of a for dealing with dynamics. But as will be shown later, it has a natural, sound and complete formal basis within the context of Dynamic Logic. A new formalization of OASIS according to this view is presented in this paper, in order to properly characterize objects as observable processes. The language expressiveness has been thus enriched, trying to balance ease for specification use and a precise formal framework. Additionally, language implementations have been built for rapid prototyping purposes by generating logic prototypes (implemented in logic programming languages) functionally equivalent to any given OASIS specification.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Canós,J.H.:Pastor,O. Object Oriented and Functional Specification of Information Systems in Proc. of DEXA-91 Conference, Berlin,1991 351–386, Sept.1981.

    Google Scholar 

  2. Harel,D. Dynamic Logic in Handbook of Philosophical Logic II, editors D.M.Gabbay, F.Guenthner; pags. 497–694. Reidel 1984

    Google Scholar 

  3. Hartmann,T.; Kusch,J.; Saake,G.; Hartel,P. Revised Version of the Conceptual Modeling and Design Language Troll Proc. of the International IS-CORE Workshop, pags.89–102; Amsterdam-1994.

    Google Scholar 

  4. Pastor,O.:Hayes,F.:Bear,S. OASIS: An Object Oriented Specification Language In the Proceedings of the CAiSE-92 Conference, Springer-Verlag, pag. 348–363; Mayo 1992, Manchester (UK)

    Google Scholar 

  5. Pastor,O.;Ramos,I.;Cuevas,J.;Devesa,J.;Canos,J.H. OASIS 2,0: An Object Definition Language for Object Oriented Databases Technical Report, DSIC-UPV, Febrero 1994

    Google Scholar 

  6. Pastor O. Diseño y Desarrollo de un Entorno de Producción Automática de Sotfware basado en el modelo OO PhD thesis, DSIC-UPV, May 1992.

    Google Scholar 

  7. Pastor,O.:Ramos,I:,Canos,J.H. Object Oriented and Relational Specification Of Information Systems In the Proc. of the 2nd International Workshop of the Deductive Approach for DB and IS, Aiguablava (Catalonia), 1991

    Google Scholar 

  8. Pastor,O;Casamayor,J.C. A Deductive and Object Oriented Environment for Software Production In the Proc. of the Workshop in Expert Systems, AI and Software Engineering Application, ILPS-91, San Diego (California).

    Google Scholar 

  9. Pastor,O.;González, A. OO-METHOD: An Object-Oriented Methodology for Software Production in the Proceedings of the DEXA-92 Conference, Valencia (Spain)

    Google Scholar 

  10. Pastor,O.;Ramos,I.;Canos, J. From Analysis to Design in an OO and deductive environment in the Proceedings of the DEXA-93 Conference, Prague (Chec Republic).

    Google Scholar 

  11. Ramos,I. Logic and OO Databases: a Declarative Approach Proc. of the DEXA 90, Springer-Verlag 1990

    Google Scholar 

  12. Ramos,I:,Pastor,O.:Canos,J.H. On the use of Algebras as Semantic Domains of Object Societies In the Proc. of the 3rd International Workshop of the Deductive Approach for DB and IS, Roses(Catalonia), 1992

    Google Scholar 

  13. Wieringa R. J. Algebraic Foundations for Dynamic Conceptual Models PhD thesis, Dept. of Mathematics and Computer Science, Vrije Universiteit, Amsterdam, May 1990.

    Google Scholar 

  14. Wieringa R.J.;Meyer J.-J.Ch. Actors, Actions and Initiative in Normative System Specification Annals of Mathematics and Artificial Intelligence, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Camino de Vera, S/N, 46071, Valencia

    Oscar Pastor López, Isidro Ramos Salavert & José H.Canós Cerdá

Authors
  1. Oscar Pastor López
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Isidro Ramos Salavert
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. José H.Canós Cerdá
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Norman Revell A Min Tjoa

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

López, O.P., Salavert, I.R., Cerdá, J.H. (1995). OASIS v2: A class definition language. In: Revell, N., Tjoa, A.M. (eds) Database and Expert Systems Applications. DEXA 1995. Lecture Notes in Computer Science, vol 978. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0049107

Download citation

  • DOI: https://doi.org/10.1007/BFb0049107

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60303-0

  • Online ISBN: 978-3-540-44790-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation