Toward Translating Design Constraints to Run-Time Assertions

We have implemented key parts of a prototype tool for translating OCL assertions to implementation assertions. We illustrate the approach by applying the prototype tool to an example, contrast it with other current proposals which rely more on run-time interpretation, and discuss some issues in design assertion propagation.