Oasis: An object-oriented specification language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 593 LNCS, Issue , 1992, Pages 348-363

  Lopez, Oscar Pastor ^a   Hayes, Fiona ^b   Bear, Stephen ^b  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

^b HEWLETT PACKARD LABORATORIES   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION SYSTEMS; SPECIFICATIONS; SYSTEMS ENGINEERING;

ACTIVE OBJECT; FIRST ORDER THEORIES; OBJECT ORIENTED SPECIFICATION LANGUAGE; OBJECT-ORIENTED INFORMATION SYSTEMS;

SPECIFICATION LANGUAGES;

EID: 84880225097     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0035141     Document Type: Conference Paper

References (19)

1. S. Bear, P. Allen, D. Coleman, F. Hayes.’Graphical Specification of Object Oriented Systems'. OOPSLA 90.
2. G. Booch ’Object Oriented Design with applications’ Benjamin/Cummings 1990
3. Bubenko, J. A.: Olive, A. Dynamic or Temporal Modelling? An Illustrative Comparison SYSLAB Working Paper 117, Nov. l986
4. Coad, P., Yourdon, E.’Object Oriented Analysis’ Englewood Cliffs Prentice-Hall 1990
5. C. A. R. Hoare.’ Communicating Sequential Processes, Prentice-Hall International, 1985.
6. 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.
7. A. Goldberg, D. Robson 'smalltalk: The language and its implementation’ Addison Wesley 1983
8. P. Lindgreen ed.’ A framework of Information System Concepts'. FRISCO Interim Report. IFIP WG8. TG. 90.
9. J. W. Lloyd’ Foundations of Logic Programming’ Springer-Verlag 1987
10. R. Milner.’ A Calculus of Communicating Systems’ Lecture Notes in Computer Science, vol 92, Springer-Verlag, 1980
11. O. Pastor ’OASIS: Open and Active Specification of Information Systems’ Internal Technical Memo. HP-Labs. Bristol.
12. I. Ramos. ’Logics and OO-Data Bases: a declarative approach.’ DEXA 90
13. I. Ramos et al.’ A Conceptual Scheme Specification for Rapid Prototyping’ XII IASTED Conference on Applied Informatics. Insbruck 90.
14. Ramos, I:, Pastor, O.: Casado, V. OO and Active Formal Information System Specification In Proc, of DEXA-91, Springer-Verlag, Berlin, 1991
15. Rumbaugh, J.: Blaha, M.: Premerlani, W.: Eddy, F.: Lorensen, W. Object-Oriented Modelling and Design Prentice Hall 1991.
16. A. Sernadas et al.’ Abstract Object Types: a temporal perspective’ Colloquium on Temporal Logic and Specification.
17. 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.
18. B. Stroustrup’ The C++ Programming Language’ Addison-Wesley 1987
19. Weiser, S. P.: Lochovsky, F. OZ+: An Object Oriented Database System Object Oriented Concepts, Databases and Applications, ACM-Press 1989.