FORMAL DESCRIPTION TECHNIQUES (FDT) Specification and Description Language (SDL) RECOMMENDATION CURRENT SG Q EDITOR LATEST EQUIVALENT TARGET No. TITLE PUBLICATION TEXT* TEXT DATE Z.100 Specification and description language - Overview of SDL-2010 2016 I 17 12 Rick Reed None Z.100 Annex F1 SDL 2010 formal definition: General overview 2015 I 17 12 Rick Reed COM 17 – TD 2861 None New edition In AAP New edition 2017-10 I I Z.100 Annex F2 SDL-2010 formal definition: Static semantics 2015 I 17 12 Rick Reed COM 17 – TD 2862 Rev.2 None New edition In AAP New edition 2017-10 I I Z.100 Annex F3 SDL-2010 formal definition: Dynamic semantics 2015 I 17 12 Rick Reed COM 17 – TD 2863 Rev.1 None New edition In AAP New edition 2017-10 I I Z.101 Specification and description language - 2016 I 17 12 Rick Reed None Z.102 Specification and description language - Comprehensive SDL-2010 2016 I 17 12 Rick Reed None Z.103 Specification and description language - Shorthand notation and annotation in SDL-2010 2016 I 17 12 Rick Reed None Z.104 Specification and description language - Data and action language in SDL-2010 2016 I 17 12 Rick Reed None Z.105 Specification and description language - SDL-2010 combined with ASN-1 modules 2016 I 17 12 Rick Reed None Z.106 Specification and description language - Common interchange format for SDL-2010 2016 I 17 12 Rick Reed None
Z.107 Specification and description language - Object-oriented data in SDL-2010 (Formerly withdrawn Z.107 was SDL with embedded ASN.1) 2016 I 17 12 Rick Reed None Z.109 Specification and description language - Unified modeling language profile for SDL-2010 2016 I 17 12 Thomas Weigert Rick Reed None New edition 2017-10 I Application of Formal Description Techniques RECOMMENDATION CURRENT SG Q EDITOR LATEST EQUIVALENT TARGET No. TITLE PUBLICATION TEXT TEXT DATE Z.110 Criteria for use of formal description techniques by ITU-T 2008 I 17 12 Ostap Monkewich None Z.111 Notations and guidelines for the definition of ITU-T languages 2016 I 17 12 Rick Reed None Z.119 Guidelines for UML profile design 2007 I 17 12 Thomas Weigert None Message Sequence Chart (MSC) RECOMMENDATION CURRENT SG Q EDITOR LATEST EQUIVALENT TARGET No. TITLE PUBLICATION TEXT TEXT DATE Z.120 Message sequence (MSC) 2011 I 17 12 Loic Helouet None Z.120 Annex B Formal semantics of message sequence charts 1998 I 17 12 None Z.121 Specification and Description Language (SDL) data binding to Message Sequence Charts (MSC) 2003 I 17 12 Michael Andersson None See note at end of the tables. User Requirements Notation (URN) RECOMMENDATION CURRENT SG Q EDITOR LATEST EQUIVALENT TARGET No. TITLE PUBLICATION TEXT TEXT DATE
Z.150 User requirements notation (URN) – Language requirements and framework 2011 I 17 12 Daniel Amyot None Z.151 User requirements notation (URN) – Language definition 2012 I 17 12 Rick Reed None New edition 2017-10 I Testing and Test Control Notation (TTCN) RECOMMENDATION CURRENT SG Q EDITOR LATEST EQUIVALENT TARGET No. PUBLICATION TEXT TEXT DATE Z.161 Testing and Test Control Notation version 3: TTCN-3 core language 2016 T 17 12 Dieter Hogrefe ETSI ES 201 873-1 New edition 2017 T Z.161.1 Testing and Test Control Notation version 3: TTCN-3 language extensions: Support of interfaces with continuous signals 2015 T 17 12 Dieter Hogrefe ETSI ES 202 786 New edition 2017 T Z.161.2 Testing and Test Control Notation version 3: TTCN-3 language extensions: Configuration and deployment support 2015 T 17 12 Dieter Hogrefe ETSI ES 202 781 New edition 2017 T Z.161.3 Testing and Test Control Notation version 3: TTCN-3 language extensions: Advanced parameterization 2015 T 17 12 Dieter Hogrefe ETSI ES 202 784 New edition 2017 T Z.161.4 Testing and Test Control Notation version 3: TTCN-3 language extensions: Behaviour types 2015 T 17 12 Dieter Hogrefe ETSI ES 202 785 New edition 2017 T Z.161.5 Testing and Test Control Notation version 3: TTCN-3 Language extensions: Performance and real time testing 2015 T 17 12 Dieter Hogrefe ETSI ES 202 782 New edition 2017 T Z.162 Testing and Test Control Notation version 3: TTCN-3 tabular presentation format (TFT) 2007 T 17 12 Dieter Hogrefe ETSI ES 201 873-2 New edition 2017 T Z.163 Testing and Test Control Notation version 3: TTCN-3 graphical presentation format (GFT) 2007 T 17 12 Dieter Hogrefe ETSI ES 201 873-3 New edition 2017 T Z.164 Testing and Test Control Notation version 3: TTCN-3 operational semantics 2016 T 17 12 Dieter Hogrefe ETSI ES 201 873-4 New Edition 2017 T