UML PROFILE FOR SAVECCM - Research

SaveUML profile
[2] ModelRealization: In SaveCCM only a component, clock, delay, composite
component and a complex connection can have a model attached. For each
manifestation relationship that connects the SaveModel artifact to another element,
it is checked that the artifact is connected to an element which has an appropriate
stereotype applied. By appropriate stereotype it is considered to be one of the
stereotypes defined by SaveUML profile that are used to model SaveCCM
elements listed above.
[3] NumberOfStereotypes: see the SaveAssembly constraint [6].
6.3.3.17 SaveSwitch
This stereotype is intended for modelling SaveCCM switch element. The
rationale behind using UML Component as the base classifier for the SaveCCM
switch element is the same as with the SaveComponent. The switch is externally
equivalent to a component in SaveCCM, it can have ports as the component has
and can be connected to any other component. The difference between the
component and the switch is in its internal behaviour.
In SaveCCM, switch can have a number of connection patterns and connection
conditions. In SaveUML profile those two elements are modelled using a single
stereotype – SaveSwitchCondition. Each SaveSwitch component can have any
number of SaveSwitchCondition elements that are added to SaveSwitch
component as its attributes.
Base classifier: Component
Tagged values: This stereotype does not have tagged values defined.
Constraints:
[1] ComponentConnections: see the SaveAssembly constraint [2].
[2] ComponentIntefraces: see the SaveClock constraint [4].
[3] ComponentPackagedElements: see the SaveClock constraint [5].
[4] NumberOfStereotypes: see the SaveAssembly constraint [6].
[5] SwitchAttributes: UML enables a Component to contain several types of attributes:
ports, attributes and operations. SaveSwitch component may own ports and switch
condition descriptions (properties with the SaveBindPort stereotype applied). Other
attributes are not allowed.
[6] SwitchPortNames: This constraint checks if all ports owned by a SaveSwitch
component have a unique name. This is important in order to use switch condition
descriptions where the name of the port has to be entered (see section 6.3.3.18).
[7] SwitchPorts: see the SaveComponent constraint [6].
58