Specifying and Implementing the Operational Use of Constraints in Object-Oriented Applications

Verheecke, B. and Straeten, R.V.D.

The design of software applications largely amounts to capturing constraints, representing the domain under study. Current casetools do not provide an unambiguous way to represent constraints and ignore most of the constraints when moving to code. In this article constraints are expressed in the Object Constraint Language (OCL) on class diagrams of the Unified Modelling Language (UML). We present a framework assisting the developer in making the transition from constraints on detailed design level to implementation. This framework defines a structure representing the issues related to turning declarative constraints into operational code. Our approach exploits the object-oriented paradigm by representing constraints as explicit classes in the implementation. The points in the code where the constraints must be checked are automatically deduced using the model and by performing path analysis on declarative constraint expressions. An improved code generator is built and integrated in the Argo/UML case-tool. This framework enables developers to exploit the high levels of information that are available in UML/OCL models.

Cite as: Verheecke, B. and Straeten, R.V.D. (2002). Specifying and Implementing the Operational Use of Constraints in Object-Oriented Applications. In Proc. Fortieth International Conference on Technology of Object-Oriented Languages and Systems (TOOLS Pacific 2002), Sydney, Australia. CRPIT, 10. Noble, J. and Potter, J., Eds. ACS. 23-32.

(from crpit.com) (local if available)