FUML — 7.5.2.2.9 SendSignalAction

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))

Change the constraint as proposed