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.
Preview
Unable to display preview. Download preview PDF.
References
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.
Harel,D. Dynamic Logic in Handbook of Philosophical Logic II, editors D.M.Gabbay, F.Guenthner; pags. 497–694. Reidel 1984
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.
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)
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
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.
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
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).
Pastor,O.;González, A. OO-METHOD: An Object-Oriented Methodology for Software Production in the Proceedings of the DEXA-92 Conference, Valencia (Spain)
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).
Ramos,I. Logic and OO Databases: a Declarative Approach Proc. of the DEXA 90, Springer-Verlag 1990
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
Wieringa R. J. Algebraic Foundations for Dynamic Conceptual Models PhD thesis, Dept. of Mathematics and Computer Science, Vrije Universiteit, Amsterdam, May 1990.
Wieringa R.J.;Meyer J.-J.Ch. Actors, Actions and Initiative in Normative System Specification Annals of Mathematics and Artificial Intelligence, 1992.
Author information
Authors and Affiliations
Editor information
Rights 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