Verify : public class
Created: 2006-08-30 09:39:53
Modified: 2010-04-29 14:10:02
Project:
Advanced:
<p>Verify is a relationship metaclass, which signifies a dependency relationship between a Requirement and a VVCase. It shows the relationship when a client VVCase verifies the supplier Requirement.<br/></p><p><br/></p><p>Semantics:<br/></p><p>The Verify metaclass signifies a refined requirement/verified by relationship between a Requirement and a VVCase, where the modification of the supplier Requirement may impact the verifying client VVCase. The Verify metaclass implies that the semantics of the verifying client VVCase is not complete, without the supplier Requirement. <br/></p><p><br/></p><p>Notation:<br/></p><p>A Verify relationship is shown as a dashed arrow between the Requirements and VVCase.<br/></p><p><br/></p><p>Extension:<br/></p><p>To specializes SysML::Verify, which specializes the UML stereotype Trace, which extends Dependency.<br/></p><p><br/></p><p>Temporary change in the profile (to overcome bug in Eclipse/UML2 concerning standard stereotypes)<br/></p><p>- added extension towards Dependency<br/></p><p>- removed generalization link towards SysML::Verify<br/></p>
Element Source Role Target Role Details
VVCase
Class  
Name:  
 
Name: verifiedByCase
TheVVCase that verifies the supplier Requirement
 
VVProcedure
Class  
Name:  
 
Name: verifiedByProcedure
The AbstractVVProcedures used to verify the Requirement.
 
Requirement
Class  
Name:  
 
Name: verifiedRequirement
The set of Requirements which the client VVCase verify.
 
Element Source Role Target Role Details
VerificationValidation
Class  
Name:  
 
Name: verify
 
 
Object Type Connection Notes
VerificationValidation Class Weak  
RequirementsRelationship Class Generalization