## 需求图 RequirementDiagram
### *约束*
1. A SysMLRequirementDiagram shall have as a defaultNamespace a Package or a Class with a Requirement stereotype or one of its specializations applied.
2. 图外框所代表的模型元素类型可以是: package、model、modelLibrary、view、requirement
## SysML Requirements
***
### Requirement
需求有两个属性：id和text，这两种属性的类型都是String。
#### 约束
1. 没有opreation、attribute、association、generalization
2. 只可以和stereotype为requirement进行嵌套
3. 不可以作为其他模型元素的类型
### Test Case
测试用例是验证(verify)需求是否满足(satisfied）的一种方法
#### *约束*
1. The type of return parameter of the stereotyped model element shall be VerdictKind.
## SysML Requirement Relationships
### Copy
拷贝关系
#### *约束*
1. 连接两端图元必须是requirement
2. 需求的属性中text需要一样，且起始端的text为read-only。
### DerviveReqt
派生
#### *约束*
连接两端图元必须是requirement
### Refine
改善
#### *建议*
1. 一般使用用例对文本的功能性需求进行改善，用例一一更精确，并且还带有说明一一会提供文本需求所无法表达的细节和清晰度
#### *约束*
无
### Satisfy
满足
#### *约束*
1 连接线末端必须为requirement
### Trace
追踪
#### *建议*
用其他类型代替它
#### *约束*
无
### Verify
验证
#### *约束*
连接线起始端类型为test case，末端类型为requirement
### Satisfy
满足
#### *建议*
连接线开始端通常是block
#### *约束*
连接线末端类型必须是requirement