OMG UML RTF Issue [Number TBA]:
Recommended Changes to UML 2.0 Profiles to Support SysML
Source: SysML Partners (Partners@SysML.org)
SysML extends the use of Profile notation and requires that stereotypes can reference UML metaclasses. In order to satisfy the needs of SysML, the following changes need to be made to the the UML 2.0 Superstructure Profiles chapter. “Convenience documents” in .fm and .pdf formats, which redline the proposed changes to the Profiles chapter, are provided as attachments to this issue submission. (See
UML2-Super-Profiles-ConvenienceDoc-050525.fm and UML2-Super-Profiles-ConvenienceDoc-050525.pdf.)
1) p. 721: Allow stereotypes to have properties that are typed by metaclasses. Change paragraph 4 to:
“As part of a profile, it is not possible to have an association between two stereotypes or from a metaclass in the reference metamodel to a stereotype, although a unidirectional association from a stereotype to a metaclass, or equivalently typing a stereotype property by a metaclass, is allowed. The effect of new (meta) associations between stereotypes can be achieved in limited ways either by:”
2) p. 728: New presentation options. Replace the following paragraph:
“The values of a stereotype that has been applied to a model element can be shown as part of a comment symbol tied to the model element. The values from a specific stereotype are optionally preceded with the name of the applied stereotype within a pair of guillemets, which is useful if values of more than one applied stereotype should be shown.”
with the following text:
“The values of a stereotype that has been applied to a model element can be shown in one of three ways:
·As part of a comment symbol tied to the symbol representing the model element
·In compartments of a graphic node representing the model element.
·Above the name string within a graphic node or before the name string otherwise
In the case where a compartment or comment symbol is used, the user may elect to show the stereotype name in guillemets before the name string in addition to in the compartment or comment.
They are displayed as name/value pairs, thus:
If a stereotype property is multi-valued then the valuestring is displayed as a comma-separated list:
Certain values have special display rules:
·As an alternative to a name/value pair, when displaying the values of boolean properties diagrams may use the convention that if the namestring is displayed then the value is True, otherwise the value is False;
·If the value is the name of a NamedElement then optionally its qualifiedName can be used.
If compartments are used to display stereotype values then an additional compartment is required for each applied stereotype whose values are to be displayed. Each such compartment is headed by the name of the applied stereotype in guillemets. Any graphic node may have these compartments.
Within a comment symbol, or if displayed before/above the symbols's namestring, the values from a specific stereotype are optionally preceded with the name of the applied stereotype within a pair of guillemets, which is useful if values of more than one applied stereotype should be shown.
When displayed in compartments or comment symbol at most one name/value pair can appear on a single line. When displayed above/before a namestring the name/value pairs are separated by semicolons and all pairs for a given stereotype are enclosed in braces.”
3) p. 729: Extend the Clock example to show metaclass property and the use of Boolean. Replace Figure 456 with:
4) p. 730: Make instance model consistent with new definition of Clock. Replace Figure 458 with:
5) p. 731: Make this example consistent with the new definition of Clock. Replace Figure 459 with:
6) p. 731: Make example consistent with new definition of Clock. Replace Figure 461 with:
7) p. 732: Change example to be consistent with new definition of Clock. Replace figure 462 with:
8) p. 732: Show examples of new stereotype notation. Add the following including new Figure 463:
“Finally, the two alternate notational forms are shown.
- Other notational forms for showing values
AlarmClock is valid for OS version 1.1, is POSIX-compliant and it has a starting operation called Start. The compartment form of notation is shown on the left and the in-symbol form on the right (note that not all properties of Clock are shown on the right.”
9) pp. 733-734: Add association as valid graphic path. Add the following row to Table 24:
See “Profile (from Profiles)” on page 720