%0 Book Section %1 lopez1992oasis %A Lopez, Oscar Pastor %A Hayes, Fiona %A Bear, Stephen %B Advanced Information Systems Engineering %C Berlin, Heidelberg %D 1992 %I Springer %K language oasis objectoriented specification %P 348--363 %R 10.1007/BFb0035141 %T OASIS: An Object-Oriented Specification Language. %U http://dblp.uni-trier.de/db/conf/caise/caise92.html#LopezHB92 %V 593 %@ 978-3-540-55481-3

@inbook{lopez1992oasis, abstact = {This paper introduces Oasis, a language for specifying object-oriented information systems using a deductive (temporal) approach. Oasis extends first versions of OBLOG and MOL, 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.}, added-at = {2010-04-26T15:32:41.000+0200}, address = {Berlin, Heidelberg}, author = {Lopez, Oscar Pastor and Hayes, Fiona and Bear, Stephen}, biburl = {https://www.bibsonomy.org/bibtex/2260957936a19002157edd7fb2cf83348/lama}, booktitle = {Advanced Information Systems Engineering}, date = {2002-01-03}, doi = {10.1007/BFb0035141}, interhash = {171387d852ccc5f39575a8119135d1ab}, intrahash = {260957936a19002157edd7fb2cf83348}, isbn = {978-3-540-55481-3}, issn = {0302-9743 (Print), 1611-3349 (Online)}, keywords = {language oasis objectoriented specification}, month = {#jan#}, pages = {348--363}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2010-04-26T15:32:41.000+0200}, title = {OASIS: An Object-Oriented Specification Language.}, url = {http://dblp.uni-trier.de/db/conf/caise/caise92.html#LopezHB92}, volume = 593, year = 1992 }