ITU Z.121:2003

ITU Z.121:2003 Specification And Description Language (sdl) Data Binding To Message Sequence Charts (msc) 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

More details

Download

PDF AVAILABLE FORMATS IMMEDIATE DOWNLOAD
$17.53 tax incl.

$39.83 tax incl.

(price reduced by 56 %)

1000 items in stock

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.

Contact us