FUML — [FUML] 7.4.2.2.14 ObjectFlow

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

Section: 7.4.2.2.14 (ObjectFlow)

Summary:

As shown in Fig. 12.14 of the UML 2.2 Beta1 specification, an ObjectFlow can have two optional behaviors,

a transformation and a selection. No such behaviors are supported in the fUML subset.

Proposed resolution:

Add a second OCL constraint on ObjectFlow:

[2] ObjectFlow::no_transformation_or_selection_behavior()

– An ObjectFlow cannot have a transformation or a selection behavior in the fUML subset.

self.transformation->isEmpty() and self.selection->isEmpty()

The transformation and selection properties of ObjectFlow are only introduced at the level of CompleteActivities. And, per Subclause 7.4.1 of the fUML spec, “The UML 2 Superstructure package CompleteActivities is excluded in its entirety from fUML”. Since transformation and selection are association ends, their associations simply do not appear in the fUML subset, so no constraints are necessary.

Of course, the isMulticase and isMultireceive attributes on ObjectFlow are also only in CompleteActivities, but they still appear in the fUML subset (with constraints). However, these and other similar attributes should actually be removed from the fUML subset abstract syntax (see Issue 14561).

Revised Text:
None.
Disposition: Closed, no change