loading...
Towards Efficient Support for Executing the Object Constraint Language
Santa Barbara, California August 01-August 05
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.787605Technology of Object-Oriented Languag ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Philippe Collet, I3S - CNRS - Universit? de Nice - Sophia Antipolis
Roger Rousseau, I3S - CNRS - Universit? de Nice - Sophia Antipolis
The Object Constraint Language (OCL) forms part of the UML notation as a language to complete graphical models by expressing precise constraints or assertions. As OCL is developed as a non-executable language, expressed properties cannot be embedded as executable assertions in the resulting implementations to provide correctness testing. Nonetheless a large part of OCL seems to be easily executable, but straightforward implementations would be inefficient and detrimental to the approach. This paper proposes a pragmatic solution for an OCL runtime support and determines the origins of potential inefficiency. The evaluation of assertions is streamlined according to their roles and the possibility of sampling quantified assertions. The triggering of assertions is driven by a changed-based system that simplifies large-scale use while ensuring that unstable parts undergo more controls.
Index Terms:
Assertions Triggering and Evaluation, Object Constraint Language, Reliability, Efficiency, UML, Implementation
Citation:
Philippe Collet, Roger Rousseau, "Towards Efficient Support for Executing the Object Constraint Language," tools, pp.399, Technology of Object-Oriented Languages and Systems, 1999
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions