UML PROFILE FOR SAVECCM - Research

SaveUML profile
6.3.3.18 SaveSwitchCondition
This stereotype represents two elements from SaveCCM domain – connection
pattern and connection condition. In SaveCCM, connection pattern and connection
condition are used to model a switch behaviour. Switch connection pattern
determines two ports that can be connected, while the switch connection condition
defines the terms under which this connection is established. Although they model
the behaviour, these two elements can also be looked upon as a property of a
switch component. Therefore, SaveUML profile uses Property metaclass as the
base classifier for SaveSwitchCondition stereotype. Each SaveSwitchCondition
element is added to SaveSwitch component as its attribute.
Base classifier: Property
Tagged values:
• SetPort : String. The name of the port used in a condition (this is a part of
connection condition).
• SetPortValue : String. The value of data on set port that needs to arrive for
condition to become true (this is a part of connection condition).
• ConnectFrom : String. The name of the input port that has to be connected to
the port stated in "ConnectTo" tagged value (this is a part of connection
pattern).
• ConnectTo : String. The name of the output port that has to be connected to the
port stated in "ConnectFrom" tagged value (this is a part of connection pattern).
Constraints:
[1] PropertyConnectors: see the SaveAttribute constraint [1].
[2] PropertyNumberOfStereotypes: see the SaveAssembly constraint [6].
[3] SwitchConditionEqualPorts: Ports stated in "SetPort", "ConnectFrom" and
"ConnectTo" tagged values are not allowed to be equal. It is not allowed to connect
a port to itself or to use a set port in connection pattern.
[4] SwitchConditionFrom: Port stated in "ConnectFrom" tagged value must be an input
port of a switch component (a port with a SaveTriggerInPort, SaveDataInPort or
SaveCombinedInPort stereotype applied).
[5] SwitchConditionPorts: Checks if the ports stated in "SetPort", "ConnectFrom" and
"ConnectTo" tagged values exists (checks that the switch component owns the
ports with the stated names).
[6] SwitchConditionSetPort: Only a data or combined input port can be a set port. This
constraint checks that the port stated in "SetPort" tagged value has an appropriate
stereotype applied (SaveDataInport or SaveCombinedInPort stereotype). Also it
checks that the port stated "SetPort" tagged value is marked as a set port (the
"SetPort" tagged value of the port must be set to ‘true’).
59