Table of Contents
1Scope
2References
3SyntacticInterface
3.1Languagedeclaration
3.2Parenthesisandescapedeclarations
3.3Datadeclarationanduse
3.4Defaultdatatypesandwildcards
4Semanticinterface
4.1Well-formednessdefinitions
4.2Staticsemanticsinterfacefunctions
4.2.1Tc1,Datadefinitionstrings
4.2.2Tc2,Typereferencestrings
4.2.3Tc3,ExpressionStrings
4.2.4Tc4,Typedexpressionstrings
4.2.5EqVar,Equalvariablestrings
4.3Dynamicsemanticsinterfacefunctions
4.3.1Vars,Extractvariables
4.3.2Replace,Variablereplacement
4.3.3NewVar,Newvariable
4.3.4Eval,Evaluationofexpressions
5Example
5.1UseofdefaultSDLinterface Abstract
Provides a Specification and Description Language (Z.100) instantiation of both the syntactic and semantic elements of the Message Sequence Chart (Z.120) data interface, defines the default types, and also the syntax for allowable SDL data definitions that may be used in an MSC Document.