SYSML16 — Constraints for Refine and Trace can be improved

Refine constraint#1 states:

The Refine stereotype shall only be applied to dependencies

and Refine constraint#2 states:

Dependencies with a Refine stereotype or one of its specializations applied shall have exactly one client and one supplier.

• SysML::Refine specializes StandardProfile::Refine that extends UML::Abstraction. So the constraints should refer to UML::Abstraction rather than to UML::Dependency

• constraint#1 could be replaced by a redefinition

The same with the SysML::Trace stererotype

Merged with SYSML16-274

To be fixed as suggested by SYSML16-311:
1/ Refine stereotype:

• Add a base_Abstraction property to the SysML::Requirements::Refine stereotype with the type UML::Abstraction and a multiplicity of [1] and make it a redefinition of both UML::StandardProfile::Refine::base_Abstraction and SysML::Blocks::DirectedRelationshipPropertyPath::base_DirectedRelationship

• Delete Constraint#1 from SysML::Requirements::Refine

• Constraint# 2 textual statement shall be replaced by:
  Abstractions with a Refine stereotype or one of its specializations applied shall have exactly one client and one supplier

• Constraint# 2 OCL statement shall be:

  self.base_Abstraction.client->size()=1 and self.base_Abstraction.supplier->size()=1

2/ Trace stereotype:

• Add a base_Abstraction property to the SysML::Requirements::Trace stereotype with the type UML::Abstraction and a multiplicity of [1] and make it a redefinition of both UML::StandardProfile::Trace::base_Abstraction and SysML::Blocks::DirectedRelationshipPropertyPath::base_DirectedRelationship

• Delete Constraint#1 from SysML::Requirements::Trace

• Constraint# 2 textual statement shall be replaced by:
  Abstractions with a Trace stereotype or one of its specializations applied shall have exactly one client and one supplier

• Constraint# 2 OCL statement shall be:

  self.base_Abstraction.client->size()=1 and self.base_Abstraction.supplier->size()=1