规格和描述语言 - SDL-2010 - SDL正式定义概述:一般性概述 |
附件F1介绍了SDL-2010正式句法定义的动机和主要目标。该附件简要概述了正式句法的结构,并介绍了用于定义SDL-2010句法的抽象状态机(ASM)的形式。 |
|
Citation: |
https://handle.itu.int/11.1002/1000/14049 |
Series title: |
Z series: Languages and general software aspects for telecommunication systems Z.100-Z.199: Formal description techniques (FDT) Z.100-Z.109: Specification and Description Language (SDL) |
Approval date: |
2019-10-14 |
Approval process: | AAP |
Status: |
In force |
Maintenance responsibility: |
ITU-T Study Group 17 |
Further details: |
Patent statement(s)
Development history
|
|
|
|
ITU-T Supplement
|
Title
|
Status
|
Summary
|
Table of contents
|
Download
|
Z Suppl. 1 (04/2015)
|
ITU-T Z.100-series – Supplement on SDL+ methodology: Use of ITU System Design Languages
|
In force
|
here
|
here
|
here
|
Title |
Approved on |
Download |
Specification and Description Language implementer's guide - Version 4.0.1
|
2021-04-30
|
here
|
|