Legacy Issue Number: 15986
Source: Model Driven Solutions ( Ed Seidewitz)
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.
Reported: FUML 1.0 — Wed, 26 Jan 2011 05:00 GMT
Disposition: Resolved — FUML 1.1
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.
Updated: Fri, 6 Mar 2015 20:58 GMT
FUML11 — fUML 1.1 should be based on UML 2.4
- Key: FUML11-4
- OMG Task Force: fUML 1.1 RTF