The Language Family @ ITU-T Amardeo Sarma Co-Chairman, ITU-T Study Group 17

advertisement
The Language Family @ ITU-T
Amardeo Sarma
Co-Chairman, ITU-T Study Group 17
Contents
Languages at SG17
 ITU-T Languages
 SDL
 ASN.1
 MSC
 TTCN
 Helping you make better standards faster

ITU-T Study Group 17
Languages at SG17
Core Competencies at ITU-T

Carrier class standards and specifications

Quality of standards play a key role

Experts and drivers in Telecommunications

Strong organisational and logistic support by the
TSB

Fast standards track

We need to make even better standards faster
ITU-T Study Group 17
Mandate of ITU-T Study Group 17




Responsible for technical languages, the methods
for their usage and other issues related to the
software aspects of telecommunication systems.
Studies on modelling, specification and description
techniques and on other software aspects in line
with the requirements of and in co-operation with
the relevant other Study Groups (4,11,13,16).
SG17 is Lead Study Group on Languages and
Description Techniques within ITU-T
SG 17 Policy: Strong coupling with industrial needs
and use
ITU-T Study Group 17
The ITU-T language family
SDL - Specification and Description
Language
 MSC - Message Sequence Chart
 ODL - Object Definition Language (adopted
from TINA)
 ASN.1 - Abstract Syntax Notation One
 TTCN Tree and Tabular Combined Notation
 CHILL - CCITT HIgh-Level Language

ITU-T Study Group 17
The ITU-T language family (new)
DCL - Distribution and Configuration
Language
 URN - User Requirements Notation
 Incorporating Time and Performance into the
languages

ITU-T Study Group 17
What makes the family different?

Real-time, distributed communicating systems

Formal, allowing verification and validation

Many languages with a graphical syntax

Commercial tool support


Tool availability required for approval

Tools vendors directly involved in work
Catering for users both in Industry and in Standards
bodies (SDOs), e.g. ITU-T SG 11
ITU-T Study Group 17
Language Usage





Initially, languages were mainly aimed at standards
and Recommendations
For the core languages, industrial use has today far
outgrown use in standards!
The use at SDOs is below the potential to:
 Improve quality of standards
 Reduce time
But: Use requires some investment
Fora support ASN.1, SDL, MSC and TTCN
ITU-T Study Group 17
Our Strategy at ITU-T SG 17
Keep the edge
by concentrating on the
differentiating factors and
focusing on our strengths
ITU-T Study Group 17
ITU-T Languages
SDL


Created for Telecommunications

Centred around the specification of behaviour,
good for use in protocols

Allows specification of structure and data

Good tool support, including integration with
other techniques

Widely used in standards and even more in
industry
Moving to other real-time application areas
ITU-T Study Group 17
SDL hot issues

Upgrade of methodology
UML-MSC-ASN.1-SDL-TTCN

CIF for SDL-2000

MSC data mapping to SDL

Time and performance features

SDL as a UML profile (OMG?)

SDL components for sale

Gnu/Visual SDL??
ITU-T Study Group 17
ASN.1





International standard : ITU-T X.680 to X.683 | ISO/IEC
8824-1 to 4 with a sizeable base of tools that support ASN.1
Describes data exchange between two communicating
applications
Several associated standardized encodings, such as:
 efficient (binary) encoding: Packed Encoding Rules
(PER)
 canonical encoding for digital signatures:
Distinguished Encoding Rules (DER)
 XML (textual) encoding rules (XER) with tool support
Mature, long record of reliability and interoperability
ASN.1 is a critical part of our daily lives; it's everywhere,
but it works so well it's invisible!
ITU-T Study Group 17
ASN.1 and the telecom industry









Intelligent network
GSM
UMTS (3G cellphones)
Voice over IP
Interactive television
Videoconference
SET, C-SET (secured electronic transaction:
e-commerce, m-commerce)
Computer-supported telecommunications
applications
...
ITU-T Study Group 17
ASN.1 in other domains








Intelligent transportation
Radio-frequency identification (RFID)
ATN (Aeronautical Telecommunication Network)
Embedded systems
Financial operations (ASC X.9, ISO TC 68)
Control of manufacturing systems
And a lot of other application domains:
see http://asn1.elibel.tm.fr/uses
Fully integrated in the formal languages SDL and
TTCN
ITU-T Study Group 17
MSC
Current Version:
Previous Version:
Next Version:
MSC 2000
MSC ’96
MSC 2004
Standard consists of:
• graphical grammar
• ASCII grammar
• static & dynamic semantics
• formal semantics, Annex B
• examples
ITU-T Study Group 17
MSC

MSC-2000 is a rich language with rigorously defined
semantics, unlike UML sequence charts
One of the advantages over competitors
MSC is widely, but informally, used often independently of
other notations.
 At IETF, MSC is clearly a candidate to formalise signal
flows
There is scope for increased tool/language penetration.
Users are often unaware of Z.120 as a standard for sequence
diagrams and that MSC has good tool support.




ITU-T Study Group 17
MSC Future Features




Message Channels
Presentation Formats
 TTCN Graphical presentation format, Z.142
 semantic restrictions, e.g. tracing
Instantiations of Universal Data Interface
 SDL interface scheduled 2002, Z.121
 ASN.1 interface?
 TTCN-3 interface?
UML alignment
 OMG UML v2.0 sequence diagrams
ITU-T Study Group 17
TTCN-3
Testing and Test Control Notation TTCN-3 is
used to write detailed test specifications
 Applicable to telecom and datacom testing
 Application Areas
 protocols
 services
 APIs
 software modules etc.

ITU-T Study Group 17
A general purpose testing language
Conformance Testing
 Interoperability testing
 Robustness testing
 Performance testing
 regression testing
 System testing
 Integration testing, etc.

ITU-T Study Group 17
TTCN-3: different presentation formats
Text format
Tabular
Format
TTCN-3
Core
Language


MSC
Format

Presentation
Format3


Presentation
Formatn

Core format is a text
based language
Core can be viewed as
text or in various
presentation formats
Tabular format for
conformance testing
Message Sequence
Chart (MSC)format
Other standardized
formats in the future
Proprietary formats
ITU-T Study Group 17
What about UML?
SDL and MSC experts key for UML 2.0
 Tools for joint support available
 UML without SDL is like a car without an
engine
 Co-operation with OMG in progress
 If you really want UML, you can use it
without losing the benefits of SDL/MSC

ITU-T Study Group 17
What about XML?





ASN.1 + XCN (XML Control Notation)
 as powerful and expressive as XSD (XML
Schema Definition)
 less verbose and much more readable.
ASN.1 is a mature schema notation for XML. No
schema mapping is needed
ASN.1/XER: efficient binary encodings with XML
(+ XSL) display (or transfer if needed)
CXER èASN.1/XER as a canonical variant of XER
for secured transactions
XER tools : http://asn1.elibel.tm.fr/links/#xml
ITU-T Study Group 17
UML and XML
are easy and popular
SDL and ASN.1
support secure, hi-quality standards
You use the best of two worlds
ITU-T Study Group 17
The next years





After UML 2.0, work together towards
 Powerful, new versions of SDL and MSC
 Strong bridges to ASN.1 and TTCN in addition
to UML
Consolidate and strengthen the use of languages in
Telecommunications
Expand further into new domains
Focus on penetrating the IETF in the coming years
Support standardisation and education with tools
ITU-T Study Group 17
Helping you make better
standards faster
What ITU-Languages do for you

Provide a method supported by commercial and free
tools

Allow checking of syntactical and logical
(semantic) correctness on the fly

Helps you check if the behaviour is what you
intended

Improves the quality of the standard


Interoperability is greatly improved
Once used properly, helps save time!
ITU-T Study Group 17
Obstacles to Language Use

Benefit unclear


Formality reduces freedom


Check track record
Freedom only reduced for issues needed for
interoperation, use correct dose of formality
Quick and dirty is better

This is not ITU-T‘s differentiator or unique
selling point
ITU-T Study Group 17
Obstacles to Language Use



No expertise in group
 Specialists should concentrate on their domain –
get support for languages
No time
 Check whether overall time is lost or gained
Missing support
 TSB should provide this!
 Or ask SG17 – we could e.g. provide tutorials in
SDL, ASN.1 etc.
ITU-T Study Group 17
Tool usage at ITU-T





SDT is currently the standard tool at ITU and ETSI
Recommendation authors send SDT files, which are
checked by TSB staff
Formal descriptions are considered non-coprighted
Common Interchange Format CIF is very important
(e.g. for those using Cinderella)!
Availability of cheap or free lightweight tool for
standards greatly helps promote SDL/MSC
 The ITU-T CD-ROM, also available for you all,
has been a step in this direction!
ITU-T Study Group 17
Professional support is needed!


To further improve standards quality, SG17
reinforced the recommendation that TSB provide
 expertise on a regular basis in the ITU-T
languages and methodologies concerning the use
of the languages
 tools, supporting and facilitating the use of ITUT languages
We really need permanent experts at ITU-T:
 ETSI success story
 Demand must come from users
ITU-T Study Group 17
ITU-T languages can help
ITU-T Recommendations
maintain or regain
competitive advantage
Support from Fora and Consortia
ASN.1 Consortium: http://www.asn1.org
 SDL Forum Society: http//www.sdlforum.org
 Indian SDL and TTCN Forum:
http://www.sdl-ttcnforum.org/

ITU-T Study Group 17
ASN.1 Consortium






Group of ASN.1 users (people and companies), specifiers
and tool-vendors
Share resources and information
Promote ASN.1 (towards newspaper and journals,
companies, universities…)
No standardization work
Three forums:
• Industry forum
• Standardization forum
• Academic forum
Website: http://www.asn1.org
ITU-T Study Group 17
ASN.1 – short summary







Robust and stable technology that has withstood the test of
time, and which continues to improve over time.
Now supports XML in ITU-T X.693 (XML Encoding Rules)
An easier schema for XML than W3C XML Schema (XSD)
Makes it possible to use XML where it currently is
impossible due to XML's verbose size
ITU-T X.694 now makes it possible to convert XSD to
ASN.1
A sizeable base of tools that support ASN.1, including PER
and XML, now exists
The rapid degree of ASN.1:2002 features implemented by
tool vendors is a testament to the strength of the ASN.1
industry.
ITU-T Study Group 17
TTCN-3 and Other Languages

ASN.1 Types
& Values
Other types
& Values2
Other types
& Valuesn
TTCN-3
Core
Language


TTCN can be
integrated with
other 'type and
value' systems
Fully harmonized
with ASN.1 (1997)
Harmonization
possible with other
type and value
systems (possibly
from proprietary
languages)
ITU-T Study Group 17
Major Elements of TTCN-3
TTCN-3 Core

Data Types
Test Data
Test System
Architecture
Test
Behaviour



Built-in and user-defined generic
data types (e.g., to define messages,
service primitives, information
elements, PDUs)
Actual test data transmitted/received
during testing
Definition of the components and
communication ports that are used to
build various testing configurations
Specification of the dynamic test
system behaviour
ITU-T Study Group 17
Download