Runtime Constraint Checking Approaches for OCL, a Critical Comparison

Download Now Date Added: May 2010
Format: PDF

There are many benefits of checking design constraints at run-time - for example, automatic detection of design drift or corrosion. However, there is no comparative analysis of different approaches although such an analysis could provide a sound basis for determining the appropriateness of one approach over the others. In this paper, the authors conduct a comparative analysis and evaluation of different constraint checking approaches possible for the Object Constraint Language (OCL). They compare several approaches including direct translation to implementation languages, use of executable assertion languages, and use of aspect-oriented programming languages.