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.
Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}