Issue 2173:  Validate the OCL constraints in the MOF specification (mof-rtf)
Source:  (, )
Nature:  Revision
Severity:  Minor
Summary: Summary: Take steps to validate as much as possible of the OCL in the 
 MOF specification. Ideally, they should all be compiled and "executed" 
 to ensure that they behave as expected. This should be feasible at least 
 for the OCL constraints in the Model package.
 
 

Resolution: 
Revised Text: 
Actions taken:
November 6, 1998: received issue
Discussion: 
This issue has been reopened to remind the RTF that the OCL in the MOF spec still needs to be checked by an OCL compiler / evaluator if one becomes available. 



End of Annotations:=====
Return-Path: <crawley@dstc.edu.au>
To: mof-rtf@omg.org, issues@omg.org
Subject: Validate the OCL constraints in the MOF specification
Date: Fri, 06 Nov 1998 13:23:44 +1000
From: Stephen Crawley <crawley@dstc.edu.au>


["new issue 3" from Seattle RTF doc.]

Source: DSTC (Dr. Stephen Crawley, crawley@dstc.edu.au)
Nature: Revision
Severity: Minor
Summary: Take steps to validate as much as possible of the OCL in the 
MOF specification. Ideally, they should all be compiled and "executed"

to ensure that they behave as expected. This should be feasible at
least 
for the OCL constraints in the Model package.