Issue 18792: The resolution to issue 18415 contains invalid OCL (uml25-ftf)
Source: Microsoft (Mr. Steve Cook, stcook(at)microsoft.com)
Nature: Uncategorized Issue
Severity: 
Summary: 18415 was applied in Ballot 6.  The revised OCL for sources_and_targets_kind contains the expressions self.informationSource.classifier and self.informationTarget.classifier, which are not well-typed.  The first subexpression gives a NamedElement which in general does not have a classifier.  The correct OCL should check if it is an InstanceSpecification, cast to InstanceSpecification and then check its classifier.

Resolution: 
Revised Text: 
Actions taken:
July 2, 2013: received issue
Discussion: 

End of Annotations:=====

m: Steve Cook <Steve.Cook@microsoft.com>
To: "issues@omg.org" <issues@omg.org>
CC: "uml25-ftf@omg.org" <uml25-ftf@omg.org>
Subject: The resolution to issue 18415 contains invalid OCL
Thread-Topic: The resolution to issue 18415 contains invalid OCL
Thread-Index: Ac53PGTarFEyHxmsT0SgPIVfP7LVUw==
Date: Tue, 2 Jul 2013 16:00:21 +0000
Accept-Language: en-GB, en-US
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
x-originating-ip: [10.166.18.104]
X-Forefront-Antispam-Report: 
 CIP:131.107.125.37;CTRY:US;IPV:CAL;IPV:NLI;EFV:NLI;SFV:NSPM;SFS:(5403001)(199002)(189002)(56816003)(19300405004)(50986001)(80022001)(63696002)(20776003)(47976001)(6806003)(49866001)(81542001)(4396001)(16236675002)(47736001)(65816001)(33656001)(51856001)(83072001)(512954002)(16406001)(54316002)(79102001)(53806001)(69226001)(77096001)(56776001)(81342001)(77982001)(71186001)(15202345003)(74876001)(74662001)(76176001)(76786001)(76796001)(59766001)(55846006)(46102001)(76482001)(54356001)(47446002)(74502001)(74706001)(74366001)(31966008);DIR:OUT;SFP:;SCL:1;SRVR:BN1AFFO11HUB032;H:TK5EX14HUBC106.redmond.corp.microsoft.com;CLIP:131.107.125.37;RD:InfoDomainNonexistent;A:1;MX:1;LANG:en;
X-OriginatorOrg: microsoft.onmicrosoft.com
X-O365ENT-EOP-Header: Message processed by -  O365_ENT: Allow from ranges
 (Engineering ONLY)
X-Forefront-PRVS: 0895DF8FFD
X-Virus-Scanned: amavisd-new at omg.org


18415 was applied in Ballot 6.  The revised OCL for sources_and_targets_kind contains the expressions self.informationSource.classifier and self.informationTarget.classifier, which are not well-typed.  The first subexpression gives a NamedElement which in general does not have a classifier.  The correct OCL should check if it is an InstanceSpecification, cast to InstanceSpecification and then check its classifier.