1
Scope
2 References
3 Abbreviations
4 Introduction
5 Conventions
5.1 Syntactic metanotation
5.2 Proformas
6 General mapping rules
7 Proformas
7.1 Test suite control
7.1.1 Mapping
7.2 Test suite parameters
7.2.1 Mapping
7.3 Module imports
7.3.1 Mapping
7.4 Encoding
7.4.1 Mapping
7.5 Simple types
7.5.1 Mapping
7.6 Structured types
7.6.1 Mapping
7.7 Port types
7.7.1 Mapping
7.8 Component types
7.8.1 Mapping
7.9 Constants
7.9.1 Mapping
7.10 Signature
7.10.1 Mapping
7.11 Simple templates
7.11.1 Mapping
7.12 Structured template
7.12.1 Mapping
7.13 Function
7.13.1 Mapping
7.14 Defaults
7.14.1 Mapping
7.15 Named Alternative
7.15.1 Mapping
7.16 Testcase
7.16.1 Mapping
8 Tabular PresentationFormat BNF
8.1 ReferenceProforma
8.2 ParametersProforma
8.3 ControlProforma
8.4 ImportsProforma
8.5 EncodingProforma
8.6 SimpleTypesProforma
8.7 StructuredTypesProforma
8.8 PortTypeProforma
8.9 ComponentTypeProforma
8.10 ConstantsProforma
8.11 SignatureProforma
8.12 SimpleTemplatesProforma
8.13 StructuredTemplatesProforma
8.14 FunctionProforma
8.15 DefaultsProforma
8.16 NamedAltProforma
8.17 TestcaseProforma