Constraint patterns are very useful for specifying OCL constraints on UML class models. They potentially shorten the development time and reduce the errors for constraint development by providing predefined templates that can be instantiated in particular contexts. Constraint patterns can be identified by analyzing existing constraints for recurring expressions and abstracting from them. This paper extends the collection of published constraint patterns by identifying further patterns as well as making some improvements for existing patterns and their description. These are derived from an example model described in UML and augmented with OCL constraints.
|International Journal on Computer Science and Information Systems
|Published - 1 Jan 2013