I n t e r n a t i o n a l T e l e c o m m u n i c a t i o n ITU-T TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU U n i o n Z.164 (11/2007) SERIES Z: LANGUAGES AND GENERAL SOFTWARE ASPECTS FOR TELECOMMUNICATION SYSTEMS Formal description techniques (FDT) – Testing and Test Control Notation (TTCN) Testing and Test Control Notation version 3: TTCN-3 operational semantics ITU-T Recommendation Z.164 ITU-T Z-SERIES RECOMMENDATIONS LANGUAGES AND GENERAL SOFTWARE ASPECTS FOR TELECOMMUNICATION SYSTEMS FORMAL DESCRIPTION TECHNIQUES (FDT) Specification and Description Language (SDL) Application of formal description techniques Message Sequence Chart (MSC) Extended Object Definition Language (eODL) User Requirements Notation (URN) Testing and Test Control Notation (TTCN) PROGRAMMING LANGUAGES CHILL: The ITU-T high level language MAN-MACHINE LANGUAGE General principles Basic syntax and dialogue procedures Extended MML for visual display terminals Specification of the man-machine interface Data-oriented human-machine interfaces Human-machine interfaces for the management of telecommunications networks QUALITY Quality of telecommunication software Quality aspects of protocol-related Recommendations METHODS Methods for validation and testing MIDDLEWARE Processing environment architectures For further details, please refer to the list of ITU-T Recommendations. Z.100–Z.109 Z.110–Z.119 Z.120–Z.129 Z.130–Z.139 Z.150–Z.159 Z.160–Z.199 Z.200–Z.209 Z.300–Z.309 Z.310–Z.319 Z.320–Z.329 Z.330–Z.349 Z.350–Z.359 Z.360–Z.379 Z.400–Z.409 Z.450–Z.459 Z.500–Z.519 Z.600–Z.609 ITU-T Recommendation Z.164 Testing and Test Control Notation version 3: TTCN-3 operational semantics Summary ITU-T Recommendation Z.164 defines the operational semantics of TTCN-3 (Testing and Test Control Notation 3). The operational semantics are necessary to unambiguously interpret the specifications made with TTCN-3. This Recommendation is based on the TTCN-3 core language defined in [ITU-T Z.161]. Source ITU-T Recommendation Z.164 was approved on 13 November 2007 by ITU-T Study Group 17 (2005-2008) under the ITU-T Recommendation A.8 procedure. ITU-T Rec. Z.164 (11/2007) i FOREWORD The International Telecommunication Union (ITU) is the United Nations specialized agency in the field of telecommunications, information and communication technologies (ICTs). The ITU Telecommunication Standardization Sector (ITU-T) is a permanent organ of ITU. ITU-T is responsible for studying technical, operating and tariff questions and issuing Recommendations on them with a view to standardizing telecommunications on a worldwide basis. The World Telecommunication Standardization Assembly (WTSA), which meets every four years, establishes the topics for study by the ITU-T study groups which, in turn, produce Recommendations on these topics. The approval of ITU-T Recommendations is covered by the procedure laid down in WTSA Resolution 1. In some areas of information technology which fall within ITU-T's purview, the necessary standards are prepared on a collaborative basis with ISO and IEC. NOTE In this Recommendation, the expression "Administration" is used for conciseness to indicate both a telecommunication administration and a recognized operating agency. Compliance with this Recommendation is voluntary. However, the Recommendation may contain certain mandatory provisions (to ensure e.g. interoperability or applicability) and compliance with the Recommendation is achieved when all of these mandatory provisions are met. The words "shall" or some other obligatory language such as "must" and the negative equivalents are used to express requirements. The use of such words does not suggest that compliance with the Recommendation is required of any party. INTELLECTUAL PROPERTY RIGHTS ITU draws attention to the possibility that the practice or implementation of this Recommendation may involve the use of a claimed Intellectual Property Right. ITU takes no position concerning the evidence, validity or applicability of claimed Intellectual Property Rights, whether asserted by ITU members or others outside of the Recommendation development process. As of the date of approval of this Recommendation, ITU had not received notice of intellectual property, protected by patents, which may be required to implement this Recommendation. However, implementers are cautioned that this may not represent the latest information and are therefore strongly urged to consult the TSB patent database at http://www.itu.int/ITU-T/ipr/. © ITU 2008 All rights reserved. No part of this publication may be reproduced, by any means whatsoever, without the prior written permission of ITU. ii ITU-T Rec. Z.164 (11/2007) CONTENTS Page 1 Scope .............................................................