Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences

University of Texas at El Paso

Series

2014

Formal specification

Articles 1 - 1 of 1

Full-Text Articles in Physical Sciences and Mathematics

Extending Ocl To Better Express Uml Qualified Associations, Alla Dove, Aditi Barua, Yoonsik Cheon Mar 2014

Extending Ocl To Better Express Uml Qualified Associations, Alla Dove, Aditi Barua, Yoonsik Cheon

Departmental Technical Reports (CS)

A qualified association in the Unified Modeling Language (UML) is an association that allows one to restrict the objects referred in an association using a key called a qualifier. A qualified association can appear in a constraint written in the Object Constraint Language (OCL) to specify a precise UML model. However, the OCL notation fails to provide appropriate support for expressing certain types of constraints written using qualified associations. In this paper we first describe a deficiency of OCL in expressing qualified associations and then propose a small extension to OCL to make it more expressive. The key idea of …