Issue 9915: Using "def" (ocl2-rtf)
Source: LIANTIS GmbH (Mr. Constantin Szallies, constantin.szallies(at)liantis.com)
Nature: Enhancement
Severity: Significant
Summary: Using "def" I would like to specify static (classifier scoped) properties and operations.

Resolution: 
Revised Text: (1) In section 7.4.4, just before "The names of the attributes …", add the following paragraph.
Operations or attributes defined by "definitions expressions" may be static (classifier scoped). In that case the static keyword should be used before "def".
context MyClass;
static def : globalId() : Integer = …;

(2) In section 7.4.9 add the "static" keyword after the "pre" keyword.

(3) In section 12.12.6, replace production rule [B], 

[B] invOrDefCS[1] ::= ‘def’ (simpleNameCS)? ‘:’ defExpressionCS invOrDefCS[2]

by the following:

[B] invOrDefCS[1] ::= ('static')? ‘def’ (simpleNameCS)? ‘:’ defExpressionCS invOrDefCS[2]

Actions taken:
July 11, 2006: received issue
October 16, 2009: closed issue
Discussion: 
Notation for calling static operations was available but there was no notation their definition (except when the operation is taken from a UML diagram). This is somehow inconsistent. 
The solution is to add the "static" prefix before the "def" keyword to define static helpers.

End of Annotations:=====

m: webmaster@omg.org
Date: 11 Jul 2006 05:10:47 -0400
To: <issues@omg.org>
Subject: Issue/Bug Report



--------------------------------------------------------------------------------

Name: Constantin Szallies
Company: Liantis GmbH & Co KG
mailFrom: constantin.szallies@liantis.com
Notification: Yes
Specification: Object Constraint Language
Section: none
FormalNumber: formal/06-05-01
Version: 2.0
RevisionDate: 03/01/2006
Page: none
Nature: Enhancement
Severity: Significant
HTTP User Agent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; SV1; .NET CLR 1.1.4322; InfoPath.1)
Description
Using "def" I would like to specify static (classifier scoped) properties and operations.