美利体育登录入口官网:ITU-T Z Suppl. 1-2015
ITU-T Z.100系列 – SDL+方法论补充：ITU系统设计语言的使用
ITU-T Z.100-series – Supplement on SDL+ methodology: Use of ITU System Design Languages
- 标准号
- ITU-T Z Suppl. 1-2015
- 发布
- 2015年
- 总页数
- 112页
- 发布单位
- 国际电信联盟
- 当前最新
- ITU-T Z Suppl. 1-2015
- 引用标准
- ITU-T I.130 ITU-T Q.1200 ITU-T Q.65 ITU-T X.219 ITU-T X.680 ITU-T X.681 ITU-T X.682 ITU-T X.683 ITU-T X.903 ITU-T Z.100 ITU-T Z.101 ITU-T Z.102 ITU-T Z.103 ITU-T Z.104 ITU-T Z.105 ITU-T Z.106 ITU-T Z.107 ITU-T Z.120 ITU-T Z.151
- 适用范围
- 本补编适用于负责在ITU-T Z.100系列标准使用领域制定方法的人员。其目标是为有效使用ITU-T Z.100系列语言推荐（包括规范与描述语言SDL-2010以及消息序列图符号）提供一种方法。该方法的适用应导致目标应用程序使用SDL-2010（可选地结合ASN.1）和消息序列图符号的明确规范。
| 术语 | 描述 |
|---|---|
| 活动 activity | 工程过程中的特定步骤，由一种或多种方法支持。 |
| 分析 analysis | 逐步探索收集的需求、组织其包含的信息并将其记录为反映该组织格式的活动。 |
| 应用系统 application system | 用于提供功能和特性的复杂部件集合；在本补编中，通常不区分系统规范、系统描述和实际系统实例。 |
| 形式化 formalization | 逐步生成系统的正式SDL+描述的活动。 |
| 验证 validation | 通过相关方法、程序和工具评估应用是否完全实现、符合适用标准和准则，并满足需求记录中表达的目的的过程。 |
| 验证模型 validation model | 用于执行形式验证的规范或实现的详细版本，可能包含环境的一部分。 |
| 需求收集 requirements collection | 在开发正式SDL-2010描述的过程中，初步评估已捕获的需求并处理随之产生的问题的活动。 |