OASIS: An Object-Oriented Specification Language

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.