Towards efficient support for executing the object constraint language

Proceedings - Technology of Object-Oriented Languages and Systems, TOOLS 1999

Volumn , Issue , 1999, Pages 399-408

  Collet, Philippe ^a   Rousseau, Roger ^a  

^a UNIVERSITY OF NICE SOPHIA ANTIPOLIS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EXECUTABLE ASSERTIONS; EXECUTABLES; GRAPHICAL MODEL; LANGUAGE RUNTIMES; LARGE PARTS; LARGE-SCALES; OBJECT CONSTRAINT LANGUAGE; PROPERTY; RUNTIME SUPPORT; UML NOTATION;

EID: 77953851448     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Object Management Group, “Object Constraint Language specification”, Tech. Rep. version 1.1, ad/97-08-08, IBM www.software.ibm.com/ad/ocl, 1 Sept. 1997.
2. Jos Warmer and Anneke Kleppe, The Object Constraint Language: Precise Modeling with UML, Addison-Wesley Publishing Co. (Reading, MA), 1999.
3. Object Management Group, “UML notation guide”, Tech. Rep. version 1.1, ad/97-08-05, Rational Software Corporation www.rational.com/uml, 1 Sept. 1997.
4. Reto Kramer, “iContract - the Java Design by Contract tool”, in International Conference on Technology of Object-Oriented Languages and Systems (Tools 26, USA'98), Madhu Singh, Bertrand Meyer, Joseph Gil, and Richard Mitchell, Eds. 1998, p. 513 pages, IEEE Computer Society Press (New York).
5. R.G.G. Cattell, Douglas Barry, Dirk Bartels, Mark Berler, Jeff Eastman, Sophie Gamerman, David Jordan, Adam Springer, Henry Strickland, and Drew Wade, The Object Database Standard: ODMG 2.0, Morgan Kaufmann Publishers Inc., 1997.
6. Mark Richters and Martin Gogolla, “On formalizing the UML Object Constraint Language OCL”, in Proc. 17th Int. Conf. Conceptual Modeling (ER'98), Tok Wang Ling, Sudha Ram, and Mong Li Lee, Eds. 1998, number 1507 in Lecture Notes in Computer Science, Springer-Verlag (Berlin).
7. A. Hamie, J. Howse, and S. Kent, “Interpreting the Object Constraint Language”, in Asia Pacific Conference in Software Engineering. 1998, IEEE Computer Society Press (New York).
8. Object Management Group, “UML semantics”, Tech. Rep. version 1.1, ad/97-08-04, Rational Software Corporation www.rational.com/uml, 1 Sept. 1997.
9. J. Claussen, A. Kemper, G. Moerkotte, and K. Peithner, “Optimizing queries with universal quantification in object-oriented and object-relational databases”, in 23rd International Conference on Very Large Data Bases (VLDB 1997). 1997, Morgan Kaufmann Publishers Inc.
10. Joe W. Duran and Simeon C. Ntafos, “An evaluation of random testing”, IEEE Transactions on Software Engineering, vol. 10, no. 4, pp. 438-444, Jul. 1984.
11. Joe W. Duran and John J. Wiorkowski, “Quantifying software validity by sampling”, IEEE Transactions of Reliability, vol. 29, no. 2, pp. 141-144, Jun. 1980.
12. Donald E. Knuth, Seminumerical Algorithms, vol. 2 of The Art of Computer Programming, Addison-Wesley Publishing Co. (Reading, MA), 1969.
13. Bertrand Meyer, An Object-Oriented Environment: Principles and Application, The O-O series. Prentice Hall Inc. (Englewood Cliffs, NJ), 1994.
14. Philippe Brissi and Roger Rousseau, “IREC: An object-oriented abstract representation to handle software components in a persistent framework”, in Object-Oriented Technology for Database and Software Systems, Vangalur S. Alagar and Rokia Missaoui, Eds., pp. 6-21. World Scientific Publishing Co. (Singapore), 1995.
15. Philippe Collet and Roger Rousseau, “OQUAL: An Expressive and Efficient Object Assertion Language”, in Third Intern. Conf. on Object-Oriented Technology (WOON'98), Alexander V. Smolyaninov and Alexei S. Shestialtynov, Eds. St Petersburg Electrotechnical Univ., Jun. 1998, pp. 1-10, Martinus Nijhoff Intern., (Zoetermeer, The Netherlands).
16. Bertrand Meyer, Eiffel: The Language, Object-Oriented Series. Prentice Hall Inc. (Englewood Cliffs, NJ), 1991, Second revised printing, 1992.