TTCN-3 and ASN.1 interworking Analysis of backward compatibility in ASN.1 Géza Horváth TTCN-3 User Conference 2011 7 – 9 June 2011.

Slides:



Advertisements
Similar presentations
System and Software Engineering Research 1 Motorola 2003 Integrated Application of MSC Clive Jervis Rapporteur Q15 Motorola UK Research Labs.
Advertisements

Language Specification using Metamodelling Joachim Fischer Humboldt University Berlin LAB Workshop Geneva
Visual Formalisms Message Sequence Charts Book: Chapter 10.
Tintu David Joy. Agenda Motivation Better Verification Through Symmetry-basic idea Structural Symmetry and Multiprocessor Systems Mur ϕ verification system.
Comparing TTCN-3 and TTCN-2 TTCN-3 User Conference May 3 rd -May 5 th,2004 Sophia Antipolis.
NaLIX: A Generic Natural Language Search Environment for XML Data Presented by: Erik Mathisen 02/12/2008.
Michael F. Price College of Business Chapter 6: Logical database design and the relational model.
CSC 8310 Programming Languages Meeting 2 September 2/3, 2014.
PPL Syntax & Formal Semantics Lecture Notes: Chapter 2.
PPL Syntax & Formal Semantics Lecture Notes: Chapter 2.
1 Conceptual Modeling of User Interfaces to Workflow Information Systems Conceptual Modeling of User Interfaces to Workflow Information Systems By: Josefina.
Abstract Syntax Notation One ASN.1
2.2 A Simple Syntax-Directed Translator Syntax-Directed Translation 2.4 Parsing 2.5 A Translator for Simple Expressions 2.6 Lexical Analysis.
Syntax & Semantic Introduction Organization of Language Description Abstract Syntax Formal Syntax The Way of Writing Grammars Formal Semantic.
Why XML ? Problems with HTML HTML design - HTML is intended for presentation of information as Web pages. - HTML contains a fixed set of markup tags. This.
C++ Code Analysis: an Open Architecture for the Verification of Coding Rules Paolo Tonella ITC-irst, Centro per la Ricerca Scientifica e Tecnologica
XPath Processor MQP Presentation April 15, 2003 Tammy Worthington Advisor: Elke Rundensteiner Computer Science Department Worcester Polytechnic Institute.
APPLICATIONS OF CONTEXT FREE GRAMMARS BY, BRAMARA MANJEERA THOGARCHETI.
Chapter 1 Introduction Dr. Frank Lee. 1.1 Why Study Compiler? To write more efficient code in a high-level language To provide solid foundation in parsing.
Parser-Driven Games Tool programming © Allan C. Milne Abertay University v
Abierman-nanog-30may03 1 XML Router Configs BOF Operator Involvement Andy Bierman
Abstract Syntax Notation ASN.1 Week-5 Ref: “SNMP…” by Stallings (Appendix B)
RELATIONAL FAULT TOLERANT INTERFACE TO HETEROGENEOUS DISTRIBUTED DATABASES Prof. Osama Abulnaja Afraa Khalifah
TTCN Protocol Testing on Steroids! IEEE P WPAN Meeting March 6-10, 2000 Albuquerque, NM USA 802 Plenary Meeting Matthew Graney Telelogic North America.
Winter 2007, rev. 2008SEG Chapter 21 Chapter 2 Basic Principles.
Unit-1 Introduction Prepared by: Prof. Harish I Rathod
Chapter 3 Object Oriented Systems and Open GIS. Objectives of the Chapter Establish place of O-O in OpenGIS cover basics of O-O emphasise design issues.
Chapter 12 Support for Object oriented Programming.
The Functions and Purposes of Translators Syntax (& Semantic) Analysis.
Introduction to Compiling
1 Typing XQuery WANG Zhen (Selina) Something about the Internship Group Name: PROTHEO, Inria, France Research: Rewriting and strategies, Constraints,
3C-1 Purity Typing Language semantics Inheritance model  Single vs. Multiple inheritance  Common root Modular mechanisms Generics Object Oriented Languages.
Conceptualization Relational Model Incomplete Relations Indirect Concept Reflection Entity-Relationship Model Incomplete Relations Two Ways of Concept.
Study Group 17 ASN.1 The importance of colour John Larmouth ISO ASN.1 Rapporteur Note, for best viewing, this presentation needs.
Concepts and Realization of a Diagram Editor Generator Based on Hypergraph Transformation Author: Mark Minas Presenter: Song Gu.
C H A P T E R T W O Linking Syntax And Semantics Programming Languages – Principles and Paradigms by Allen Tucker, Robert Noonan.
14 October 2002GGF6 / CGS-WG1 Working with CIM Ellen Stokes
Overview of Compilation Prepared by Manuel E. Bermúdez, Ph.D. Associate Professor University of Florida Programming Language Principles Lecture 2.
AUTOMATIC GENERATION OF MODEL TRAVERSALS FROM METAMODEL DEFINITIONS Authors: Tomaž Lukman, Marjan Mernik, Zekai Demirezen, Barrett Bryant, Jeff Gray ACM.
A framework that describes the activities performed at each stage of a software development project. A life-cycle or a software process is the organisational.
PPL Syntax & Formal Semantics Lecture Notes: Chapter 2.
Chapter 27 Network Management Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.
Jaringan Telekomunikasi, Sukiswo ST, MT Sukiswo
Logical Database Design and the Rational Model
Chapter 3 – Describing Syntax
The ITU-T X.500 series and X.509 in a changing world
SysML 2.0 Formalism: Requirement Benefits, Use Cases, and Potential Language Architectures Formalism WG December 6, 2016.
A Simple Syntax-Directed Translator
SysML v2 Formalism: Requirements & Benefits
Dept. of Computer Science and Engineering
SIMPL-T: SDL Intended for Management and Planning of Tests By
System and Network Management
CS416 Compiler Design lec00-outline September 19, 2018
Syntax Analysis Sections :.
Introduction CI612 Compiler Design CI612 Compiler Design.
Informatics 121 Software Design I
R.Rajkumar Asst.Professor CSE
TTCN-3 Status Report.
ETSI TC MTS TDL SC meeting Reports
Semantic Markup for Semantic Web Tools:
CS416 Compiler Design lec00-outline February 23, 2019
Overview of the ETSI Test Description Language
Overview of the ETSI Test Description Language
ETSI TC MTS TDL SC meeting Reports
Chapter 10: Compilers and Language Translation
Lec00-outline May 18, 2019 Compiler Design CS416 Compiler Design.
Simple Network Management Protocol
Ponder policy toolkit Jovana Balkoski, Rashid Mijumbi
Introduction to TDL and TOP
Standards, Models and Language
Presentation transcript:

TTCN-3 and ASN.1 interworking Analysis of backward compatibility in ASN.1 Géza Horváth TTCN-3 User Conference – 9 June Bled, Slovenia

2© Nokia Siemens Networks TTCN-3 and ASN.1 interworking / Géza Horváth Introduction Géza Horváth Release 4 Product Support Engineer Nokia Siemens Networks Joint Venture of Nokia and Siemens Started operations on April 1, ,000+ employees 75 of top 100 operators worldwide 150 countries 3 billion mobile subscribers and ¼ of world’s voice households served

3© Nokia Siemens Networks TTCN-3 and ASN.1 interworking / Géza Horváth Agenda Concept of ASN.1 – TTCN-3 Compatibility of ASN.1 Planning a comparator tool Result, future

4© Nokia Siemens Networks TTCN-3 and ASN.1 interworking / Géza Horváth ASN.1 introduction Avoid the transfer of concrete syntax Vendor- and language- independent Recursive notation for complex data types Encoding rules ?

5© Nokia Siemens Networks TTCN-3 and ASN.1 interworking / Géza Horváth Using ASN.1 with TTCN-3 TTCN-3 provides a clean interface for using ASN.1 specifications: ETSI ES Alternative data type and value syntax Implicit mapping: import Internal representation of imported objects Without any lost information

6© Nokia Siemens Networks TTCN-3 and ASN.1 interworking / Géza Horváth Agenda Concept of ASN.1 – TTCN-3 Compatibility of ASN.1 Planning a comparator tool Result, future

7© Nokia Siemens Networks TTCN-3 and ASN.1 interworking / Géza Horváth The need of ASN.1 compatibility Extension marker ”...” – Specification v2 must include v1 Two compatible specifications are not necessarily syntactically identical Syntactic differences should be detected Semantics are very bound to syntax Two distinct specifications of the same protocol can be compared to evaluate the impact on the interface INTEGER(1..10) INTEGER(1..10,...)

8© Nokia Siemens Networks TTCN-3 and ASN.1 interworking / Géza Horváth Syntactic compatibility between ASN.1 specifications OPTIONAL keyword Extensible subtyping constraints Permutation of SET components What if v1 does not send the INTEGER to v2? We should know all the changes on the interface In case of SEQUENCE? What if v2 sends the value 11 to v1? Without the extensions marker?

9© Nokia Siemens Networks TTCN-3 and ASN.1 interworking / Géza Horváth Agenda Concept of ASN.1 – TTCN-3 Compatibility of ASN.1 Planning a comparator tool Result, future

10© Nokia Siemens Networks TTCN-3 and ASN.1 interworking / Géza Horváth Structure of the comparator Parser: syntactic error messages as well Transitive closure: checking references, imports Normalization: avoiding circular definitions

11© Nokia Siemens Networks TTCN-3 and ASN.1 interworking / Géza Horváth Comparator algorithm A diff-like (textual) algorithm? Detailed comparison algorithm on graphs! The goal is the find a matching between two trees Nodes of the two trees are numbered A global default mark is assigned to the root It is divided between each branch of the root, and so on recursively According to how each node matches with the corresponding one – The mark is inherited completely or – Decreased portionally to the result of the comparison Root PDU 1 PDU 2 statement 1 statement 2 Root PDU 1 PDU 2 statement 1 statement 2

12© Nokia Siemens Networks TTCN-3 and ASN.1 interworking / Géza Horváth Comparator algorithm Synthesised mark at highest level can be considered as the global level of syntactic mapping Compare each PDU of v1 to all PDU of v2 to determine the best matching

13© Nokia Siemens Networks TTCN-3 and ASN.1 interworking / Géza Horváth Agenda Concept of ASN.1 – TTCN-3 Compatibility of ASN.1 Planning a comparator tool Result, future

14© Nokia Siemens Networks TTCN-3 and ASN.1 interworking / Géza Horváth Result Simple semantic deductions based on syntactic differences – *Only notice, not incompatibility – **In some cases it can be incompatibility – ***Incompatibility Important to build up an effective visualization – A specification can be very huge

15© Nokia Siemens Networks TTCN-3 and ASN.1 interworking / Géza Horváth Extension for future Complete formalization of all the comparison rules – Fortunately the algorithm is easily extensible All the error messages are mainly syntactic Addition of the semantics in order to refine messages Integration with specification environment

16© Nokia Siemens Networks TTCN-3 and ASN.1 interworking / Géza Horváth Thank you for your attention! Géza Horváth