Abstract
This paper introduces Oasis, a language for specifying object-oriented information systems using a deductive (temporal) approach ([3]). Oasis extends first versions of OBLOG ([17]) and MOL([12]), a trace based specification languages, with:
-
1.
triggered relationships which enable specification of active objects
-
2.
supporting rapid prototyping by generating the First Order Theory formally equivalent to a specification.
-
3.
introducing class operators within an algebraic formal environment to deal with object reification.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
S.Bear,P.Allen,D.Coleman,F.Hayes.’ Graphical Specification of Object Oriented Systems'. OOPSLA 90.
G.Booch’ Object Oriented Design with applications’ Benjamin/Cummings 1990
Bubenko,J.A.:Olive,A. Dynamic or Temporal Modelling? An Illustrative Comparison SYSLAB Working Paper 117,Nov.l986
Coad,P.,Yourdon, E.’ Object Oriented Analysis’ Englewood Cliffs Prentice-Hall 1990
C.A.R. Hoare.’ Communicating Sequential Processes, Prentice-Hall International, 1985.
Gehani,N.:Jagadish,H.V. Ode as an Active Database:Consirainis and Triggers Proceedings of the 17th International Conference on Very Large Data Bases.VLDB 1991, Barcelona.
A.Goldberg, D.Robson 'smalltalk:The language and its implementation’ Addison Wesley 1983
P.Lindgreen ed.’ A framework of Information System Concepts'. FRISCO Interim Report. IFIP WG8.TG.90.
J.W.Lloyd’ Foundations of Logic Programming’ Springer-Verlag 1987
R.Milner.’ A Calculus of Communicating Systems’ Lecture Notes in Computer Science, vol 92,Springer-Verlag, 1980
O.Pastor’ OASIS:Open and Active Specification of Information Systems’ Internal Technical Memo. HP-Labs.Bristol.
I.Ramos.’ Logics and OO-Data Bases:a declarative approach.’ DEXA 90
I.Ramos et al.’ A Conceptual Scheme Specification for Rapid Prototyping’ XII IASTED Conference on Applied Informatics. Insbruck 90.
Ramos,I:,Pastor,O.:Casado,V. OO and Active Formal Information System Specification In Proc, of DEXA-91, Springer-Verlag,Berlin,1991
Rumbaugh,J.:Blaha,M.:Premerlani,W.:Eddy,F.:Lorensen,W. Object-Oriented Modelling and Design Prentice Hall 1991.
A.Sernadas et al.’ Abstract Object Types: a temporal perspective’ Colloquium on Temporal Logic and Specification.
Sernadas,A.:Sernadas,C:Ehrich, H.D. Object Oriented Specification of Databases: An Algebraic Approach. Proc. 13th Int.Conf. on Very Large Data Bases VLDB'87,Brighton,1987. Morgan-Kaufmann, Palo Alto, 1987, pp. 107–116.
B.Stroustrup’ The C++ Programming Language’ Addison-Wesley 1987
Weiser,S.P.:Lochovsky,F. OZ+:An Object Oriented Database System Object Oriented Concepts, Databases and Applications, ACM-Press 1989
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lopez, O.P., Hayes, F., Bear, S. (1992). Oasis: An object-oriented specification language. In: Loucopoulos, P. (eds) Advanced Information Systems Engineering. CAiSE 1992. Lecture Notes in Computer Science, vol 593. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035141
Download citation
DOI: https://doi.org/10.1007/BFb0035141
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55481-3
Online ISBN: 978-3-540-47099-1
eBook Packages: Springer Book Archive