Issue 13511: 7.5.2.2.9 SendSignalAction (fuml-ftf)
Source: NASA (Dr. Nicolas F. Rouquette, nicolas.f.rouquette(at)jpl.nasa.gov)
Nature: Uncategorized Issue
Severity: 
Summary: Specification: Semantics of a Foundation Subset for Executable UML Models, FTF – Beta 1 (ptc/08-11-03)

Section: 7.5.2.2.9 SendSignalAction

 

Summary:

 

The description of the constraint states:

 

The target input pin must have a type that has a reception for the signal

 

The OCL constraint is invalid:

 

self.target.activity.allFeatures()->select(oclIsKindOf(Reception))->collect(oclAsType(Reception).signal)-

>includes(self.signal)

 

 

Proposed resolution:

 

Change:

 

self.target.activity.allFeatures()->select(oclIsKindOf(Reception))->collect(oclAsType(Reception).signal)-

>includes(self.signal)

 

To:

 

self.target.type.oclAsType(Classifier).allFeatures()->select(oclIsKindOf(Reception))

->exists(f:Feature|self.signal.conformsTo(f.oclAsType(Reception).signal))

Resolution: Change the constraint as proposed
Revised Text: In Subcluase 7.5.2.2.9, change:

self.target.activity.allFeatures()->select(oclIsKindOf(Reception))
->collect(oclAsType(Reception).signal)->includes(self.signal)
to:

self.target.type.oclAsType(Classifier).allFeatures()
->select(oclIsKindOf(Reception))
->exists(f:Feature|self.signal.conformsTo(f.oclAsType(Reception).signal))

Actions taken:
February 18, 2009: received issue
July 23, 2010: closed issue
Discussion: 

End of Annotations:=====

m: "Rouquette, Nicolas F" <nicolas.f.rouquette@jpl.nasa.gov>
To: "issues@omg.org" <issues@omg.org>
Date: Wed, 18 Feb 2009 09:32:44 -0800
Subject: 7.5.2.2.9 SendSignalAction
Thread-Topic: 7.5.2.2.9 SendSignalAction
Thread-Index: AcmR7uhkYhloipHvQMKxTH/TbaezcQ==
Accept-Language: en-US
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
acceptlanguage: en-US
X-Source-IP: altvirehtstap02.jpl.nasa.gov [128.149.137.73]
X-Source-Sender: nicolas.f.rouquette@jpl.nasa.gov
X-AUTH: Authorized


Specification: Semantics of a Foundation Subset for Executable UML Models, FTF . Beta 1 (ptc/08-11-03)

Section: 7.5.2.2.9 SendSignalAction

 

Summary:

 

The description of the constraint states:

 

The target input pin must have a type that has a reception for the signal

 

The OCL constraint is invalid:

 

self.target.activity.allFeatures()->select(oclIsKindOf(Reception))->collect(oclAsType(Reception).signal)-

>includes(self.signal)

 

 

Proposed resolution:

 

Change:

 

self.target.activity.allFeatures()->select(oclIsKindOf(Reception))->collect(oclAsType(Reception).signal)-

>includes(self.signal)

 

To:

 

self.target.type.oclAsType(Classifier).allFeatures()->select(oclIsKindOf(Reception))

->exists(f:Feature|self.signal.conformsTo(f.oclAsType(Reception).signal))