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.

References

  1. Ackermann, J. and Turowski, K. (2006). A library of OCL specification patterns for behavioral specification of software components. Lecture Notes in Computer Science, 4001/2006:255-269.
  2. Bottoni, P., Koch, M., Parisi-Presicce, F., and Taentzer, G. (2001). A visualization of OCL using collaborations. In <<UML>>7801, 4th International Conference on the Unified Modelling Language, pages 257- 271. Springer-Verlag.
  3. Costal, D., Gómez, C., Queralt, A., Raventós, R., and Teniente, E. (2006). Facilitating the definition of general constraints in UML. In MoDELS, volume 4199 of Lecture Notes in Computer Science, pages 260-274. Springer.
  4. OMG (2006). Unified Modeling Language Specification 2.0: Infrastructure. OMG doc. smsc/06-02-06.
  5. Wahler, M., Basin, D., Brucker, A. D., and Koehler, J. (2010). Efficient Analysis of Pattern-Based Constraint Specifications. Software and Systems Modeling, 9(2):225-255.
  6. Wahler, M., Koehler, J., and Brucker, A. D. (2006). Modeldriven constraint engineering. Electronic Communications of the EASST, 5.
  7. Warmer, J. and Kleppe, A. (2003). The Object Constraint Language: Getting Your Models Ready for MDA. Addison-Wesley, Reading, MA.
  8. Winkelmann, J. (2005). Specifcation of visualOCL: A visualisation of the object constraint language. Master's thesis, TU Berlin. (in German).
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