Issue 15726: OCL expressions should be used for precise description of constraints (uml-testing-profile-rtf)
Source: Fraunhofer FOKUS (Mr. Marc-Florian Wendland, marc-florian.wendland(at)fokus.fraunhofer.de)
Nature: Revision
Severity: Minor
Summary: Rational
#####################
OCL is the OMG’s formal, MOF-based language to express fine-grained constraints in MOF-based models. OCL expressions are unambiguous, precise and computable.


Issue
#####################
All constraints in UTP specification are defined with natural language. In order to help readers (tool vendors, tester, modeler) to implement, understand and apply the stereotypes of UTP properly, it would be helpful to use formal OCL expressions for these constraints. The natural language description may remain in the specification, meaning the OCL supplements the already existing description. The benefits would be two-folded: Both readers with and without OCL knowledge would be able to understand the specification.
UML 2.3 Superstructure, section 18.3.2 Extension, subsection Semantics explains how OCL constraints can be exploited to define restriction on the extended metaclass.
Resolution: 
Revised Text: 
Actions taken:
October 14, 2010: received issue
Discussion: 
Deferred due to time restrictions
End of Annotations:=====

m: webmaster@omg.org
Date: 14 Oct 2010 05:47:06 -0400
To: <issues@omg.org>
Subject: Issue/Bug Report


*******************************************************************************
Name:            Marc-Florian Wendland
Employer:        Fraunhofer FOKUS
mailFrom:        marc-florian.wendland@fokus.fraunhofer.de
Terms_Agreement: 
Specification:   UML Testing Profile
Section:         6.3
FormalNumber:    formal/05-07-07
Version:         1.0
Doc_Year:        2005
Doc_Month:       July
Doc_Day:         07
Page:            10-36
Title:           OCL expressions should be used for precise description of constraints
Nature:          Revision
Severity:        Minor
CODE:            3TMw8
B1:              Report Issue


Description:


Rational
#####################
OCL is the OMG.s formal, MOF-based language to express fine-grained constraints in MOF-based models. OCL expressions are unambiguous, precise and computable.


Issue
#####################
All constraints in UTP specification are defined with natural language. In order to help readers (tool vendors, tester, modeler) to implement, understand and apply the stereotypes of UTP properly, it would be helpful to use formal OCL expressions for these constraints. The natural language description may remain in the specification, meaning the OCL supplements the already existing description. The benefits would be two-folded: Both readers with and without OCL knowledge would be able to understand the specification.
UML 2.3 Superstructure, section 18.3.2 Extension, subsection Semantics explains how OCL constraints can be exploited to define restriction on the extended metaclass.