Title:
|
CONSTRAINT SPECIFICATIONS USING PATTERNS IN OCL |
Author(s):
|
Ali Hamie |
ISBN:
|
978-989-8533-14-2 |
Editors:
|
Hans Weghorn and Pedro IsaĆas |
Year:
|
2012 |
Edition:
|
Single |
Keywords:
|
Constraint, Pattern, UML, OCL, Specification |
Type:
|
Full Paper |
First Page:
|
147 |
Last Page:
|
154 |
Language:
|
English |
Cover:
|
|
Full Contents:
|
click to dowload
|
Paper Abstract:
|
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. |
|
|
|
|