Constraint specifications using patterns in OCL

Research output: Contribution to journalArticlepeer-review


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.
Original languageEnglish
JournalInternational Journal on Computer Science and Information Systems
Issue number1
Publication statusPublished - 1 Jan 2013


Dive into the research topics of 'Constraint specifications using patterns in OCL'. Together they form a unique fingerprint.

Cite this