Issue 14596: OCL 2.1 12 Essential MOF support (ocl2-rtf)
Source: Model Driven Solutions (Dr. Edward Willink, ed(at)willink.me.uk)
Nature: Uncategorized Issue
Severity: 
Summary: 
12: Why no applicability to Essential MOF models? 

Although EMOF::Operation has no precondition feature, there is no problem in an operationContextDecl imposing a truth upon the operation.

Similarly, if Initial value and Derived values are defined as Constraints in the same way as PreConditions, then the propertyContextDecl can constrain EMOF by imposing a truth upon the Property.default : String even though String is not an Expression

Resolution: 
Revised Text: 
Actions taken:
October 31, 2009: received issue
Discussion: 

End of Annotations:=====
s is issue # 14596	From: Ed Willink <ed@willink.me.uk> 

OCL 2.1 12 Essential MOF support


12: Why no applicability to Essential MOF models? 

Although EMOF::Operation has no precondition feature, there is no problem in an operationContextDecl imposing a truth upon the operation.

Similarly, if Initial value and Derived values are defined as Constraints in the same way as PreConditions, then the propertyContextDecl can constrain EMOF by imposing a truth upon the Property.default : String even though String is not an Expression