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.
Cite
CITATION STYLE
Lopez, O. P., Hayes, F., & Bear, S. (1992). Oasis: An object-oriented specification language. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 593 LNCS, pp. 348–363). Springer Verlag. https://doi.org/10.1007/BFb0035141
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
