FUML11 — fUML 1.1 should be based on UML 2.4

Specification: Semantics of a Foundational Subset for Executable UML Models, FTF Beta 3 (ptc/10-03-14)

Foundational UML (fUML) 1.0 as finalized is based on UML 2.3. With the completion of the UML 2.4 RTF, fUML should be moved to UML 2.4. This would be consistent with the recently adopted Alf action language specification, which will be finalized based on UML 2.4.

Fortunately, nothing seems to have changed in UML 2.4 that would substantively effect the specification of the fUML abstract syntax subset. However, the fUML normative XMI should be regenerated consistent with UML 2.4/XMI 2.4. Further, UML 2.4 has separated the primitive type model into a separate XMI file with normative XMI IDs, and these should be used for referencing those types in the normative XMI for the fUML Foundational Model Library.

The following issues resolved in UML 2.4 and UML 2.4.1 have an impact on the fUML subset.
• Issue 10831: “PackageableElement::visibility” uses “false” as default value
• Issue 12583: OCL 2.0 8.2 Real
• Issue 13718: Section 12.3.48 on page 412
• Issue 13993: UML 2.2 Issue - availability of PrimitiveTypes for UML models
• Issue 14631: All enumeration literals in the model have their "classifier" collections empty
• Issue 14632: Associations with same name that live in different packages violate unique name constraint
• Issue 14926: is composite, but does not subset ownedElement
• Issue 14931: remove BehavioredClassifier::ownedTrigger
• Issue 14977: Matching subsettting across association ends
• Issue 15369: UML 2.4: Add Property::isId
• Issue 15370: UML 2.4: Add Package::URI
• Issue 15526: Missing subsetting of redefinitionContext by Property::owningAssociation
• Issue 15664: Property::isID should not be optional
• Issue 16232: No unambiguous way in UML 2.4 to serialize StructuredActivityNode
Further, comparison if the fUML 1.0 abstract syntax model with that of UML 2.4.1 identifies the following additional corrections need to fUML.
• Remove Class::isAbstract attribute (this is already inherited from Classifier).
• Add default of true for Generalization::isSubstitutable.
• Note exclusion of Parameter::defaultValue, Parameter::default and Property::default.
• Add default of “in” for Parameter::direction.
See also the resolution to Issue 15987 “The fUML Foundational Model Library should support the new UML 2.4 Real primitive type”. For simplicity, all revisions related to the new Real type are handled in that resolution.