Issue 1476:  Constraint not appearing in CDL declaration (boca-rtf)
Source:  (, )
Nature:  Revision
Severity: 
Summary: Summary: Section 2.2.4 (BOCA Meta-Model in CDL)
 
 identifiable Expression: BaseExpression{
 };
 
 The corresponding UML diagram (section 2.2.2.7) informally states a constraint for this meta-type: “Must not 
 have side effects.”   However, the constraint does not appear in the CDL declaration.
 
 Recommendation: This constraint should appear formally in the CDL. The potential or lack of potential for 
 side effects can be detected by the by traversing the expression to determine what Invocations are made, 
 traversing the of_operation relationship that Invocation has with BocaOperation, and checking the value of 
 the the related BocaOperation’s is_query attribute.  If CDL expressions cannot express the constraint, the 
 expression syntax and meta-model should be upgraded accordingly

Resolution: 
Revised Text:  BaseExpression{
Actions taken:
June 3, 1998: received issue
Discussion: 

End of Annotations:=====
*ISSUE 48*

Section 2.2.4 (BOCA Meta-Model in CDL)

identifiable Expression: BaseExpression{
};

The corresponding UML diagram (section 2.2.2.7) informally states a
constraint for this meta-type: have side effect.s   However, the
constraint does not appear in the CDL declaration.

Recommendation: This constraint should appear formally in the CDL. The
potential or lack of potential for 
side effects can be detected by the by traversing the expression to
determine what Invocations are made, 
traversing the of_operation relationship that Invocation haexpression
syntax and meta-model should be upgraded accordingly
s with
BocaOperation, and checking the value of 
the the related BocaOperatio