Visualizing OCL Constraint Patterns with VOCL

Ali Hamie

2013

Abstract

A specification pattern is a generic constraint expression that can be instantiated to solve a class of specification problems. It captures and generalizes frequently used logical expressions in models. Specification patterns have been defined and represented in the Object Constraint Language OCL for UML/OCL modelling. The notation of visual OCL (VOCL) is a visualization of OCL and can be considered as an alternative solution to the textual OCL. This paper provides the visualization of some OCL constraint patterns in VOCL. For this purpose, we introduce constraint pattern templates in VOCL to represent constraint patterns in a diagrammatic form. The benefits of the visualization is that some patterns will be available in a intuitive diagrammatic notation that follows the UML notation.

Download


Paper Citation


in Harvard Style

Hamie A. (2013). Visualizing OCL Constraint Patterns with VOCL . In Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-8565-42-6, pages 129-134. DOI: 10.5220/0004317801290134

in Bibtex Style

@conference{modelsward13,
author={Ali Hamie},
title={Visualizing OCL Constraint Patterns with VOCL},
booktitle={Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2013},
pages={129-134},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004317801290134},
isbn={978-989-8565-42-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Visualizing OCL Constraint Patterns with VOCL
SN - 978-989-8565-42-6
AU - Hamie A.
PY - 2013
SP - 129
EP - 134
DO - 10.5220/0004317801290134