We think you have liked this presentation. If you wish to download it, please recommend it to your friends in any social system. Share buttons are a little bit lower. Thank you!
Presentation is loading. Please wait.
Published byJessica Nichols
Modified over 3 years ago
International Telecommunication Union © ITU-T Study Group 17 Use of ITU-T Formal Languages Amardeo Sarma NEC Europe Ltd.
2 © ITU-T Study Group 17 2004 Current status of use of ITU-T formal languages o ETSI comprehensively and successfully used ASN.1, SDL, MSC and TTCN High-level MSC popular TTCN-2 TTCN-3 o IETF Some impact of SDL in IETF already in the OSPF area and through special IETF sessions EU Project Daidalos plans to model protocols with UML/SDL/MSC and contribute to IETF o Nokia has successfully used ITU-T languages Protocol emulators useful to check change requests Lot of ASN.1 use TTCN-2 TTCN-3
3 © ITU-T Study Group 17 2004 Observation on the state of things today o UML use is growing everywhere and has become a marketing factor o Tool vendors use UML with SDL/MSC, SDL/MSC are sometimes hidden o Not only the actual work to be done at ITU-T, their marketing becomes increasingly important Should SDL, TTCN and MSC be separately marketed or as part of UML o Discussion on simplification of SDL remains controversial Integration with testing or not? Clarify how to simplify languages
4 © ITU-T Study Group 17 2004 Differentiating factors: still relevant? o Real-time, distributed communicating systems o Formal, allowing verification and validation o Many languages with a graphical syntax o Commercial tool support o Catering for users both in Industry and in Standards bodies (SDOs), e.g. ITU-T SG 11 These have been our differentiating factors and strengths
5 © ITU-T Study Group 17 2004 From previous presentation: Co-Evolution of Techniques o SDL/MSC and UML have co-evolved o Full UML 2.0 recognition planned by ITU-T o SDL graphical presentation syntax for UML is an option o A UML profile should be an ITU-T Recommendation and OMG Standard o Arrangement with OMG such as joint meetings to promote co-evolution and save meeting time.
6 © ITU-T Study Group 17 2004 From previous presentation: Language development goals o Controlled simplification of ASN.1, SDL, MSC and TTCN o Abstract (more convenient) view for standards developers w.r.t. ASN.1, SDL o Combine ASN.1, SDL, MSC and TTCN via UML Ensure co-ordinated development Applies to eODL and URN as well o Provide professional support and more (free) tools
7 © ITU-T Study Group 17 2004 A proposal: The future of ITU-T formal languages o Co-Evolution of UML and ITU-T languages remains important o UML Profiles are on the agenda o Involve input from the VeUML work o Simplification is on the agenda o Free tools are required, UML profile will help! o Use of ITU-T Languages IETF is an important if not essential body for input using ITU-T languages NGN needs formal languages this is an opportunity
ITU-T SDOs Amardeo Sarma Co-Chairman, ITU-T Study Group 17.
International Telecommunication Union © ITU-T Study Group 17 Integrated Application of SDL Amardeo Sarma NEC Europe Ltd.
Slide no. 1 =====!"§!“!Nova§ ITU-T work on technical languages and general software issues Amardeo Sarma Chairman, ITU-T Study Group 10.
International Telecommunication Union © ITU-T Study Group 17 Integrated Application of URN Daniel Amyot University of Ottawa, Canada
Systems Engineering Project: System Validation and Verification Using SDL Ron Henry ENSE 623 November 30, 2004.
The Language ITU-T Amardeo Sarma Co-Chairman, ITU-T Study Group 17.
Language Specification using Metamodelling Joachim Fischer Humboldt University Berlin LAB Workshop Geneva
System and Software Engineering Research 1 Motorola 2003 Integrated Application of MSC Clive Jervis Rapporteur Q15 Motorola UK Research Labs.
INTERVAL Project Copyright 2000 by the INTERVAL Consortium Last revised 24 October 2000 ETSI-MTS Meeting, Sophia Consortium Objectives Technical.
Gregor v. Bochmann, University of Ottawa Based on Powerpoint slides by Gunter Mussbacher(2009) with material from Amyot User Requirements Notation (URN)
DOT’98 Workshop Heidelberg, 1-2 September 1998 Tool support for Distributed Object Technology Magnus Herner, S&P Media S&P Media - A Telelogic Company.
International Telecommunication Union ITU-T Study Group 17, Moscow, 30 March – 8 April 2005 New Recommendations on ODP Arve Meisingset Rapporteur Q15.
1 © NOKIA ITU workshop.ppt/ C. Willcock, July 2004 Use of ITU-T languages in Nokia Colin Willcock Nokia Research Center ITU-T Workshop Geneva, July 2004.
All rights reserved © 2000, Alcatel, Paris. Alcatel position on ITU-T Prepared for Martigny# Feb 2001.
EG1 functionalities of the Smart Grid and Smart Meters Omar Elloumi (Alcatel-Lucent), ETSI representative to EG1 June14th 2010.
Based on Powerpoint slides by Gunter Mussbacher, Gregor v. Bochmann User Requirements Notation (URN) SEG3101 (Fall 2010)
FDT Foil no 1 On Methodology from Domain to System Descriptions by Rolv Bræk NTNU Workshop on Philosophy and Applicablitiy of Formal Languages Geneve 15.
International Telecommunication Union Geneva, 9(pm)-10 February 2009 Providing testability for ITU Recommendations Ostap Monkewich, OMCI ITU-T Workshop.
Using UML Models for the Performance Analysis of Network Systems Nico de Wet and Pieter Kritzinger Department of Computer Science University of Cape Town.
Copyright SOLINET GmbH SDL & Requirements of Signalling Systems William H. Skelton SOLINET, Stuttgart.
SIP-IMS CONFORMANCE TESTING STANDARDIZATION WORK PLAN VICE-CHAIRMAN OF ITU-T SG11 MARTIN BRAND.
DOCUMENT #:GSC15-PLEN-51 FOR:Presentation SOURCE:ITU AGENDA ITEM:Plenary 6.10 Conformance and Interoperability Testing.
GSC: Standardization Advancing Global Communications NGN-GSI TSR (Technical and Strategic Review) Chae Sub Lee, Dick Knight NGN-GSI TSR Coordinators SOURCE:ITU-T.
Technical Education Click here to move on Index H.323 Related Standards Lesson 4.
Workshop on Integrated Application of Formal Languages, Geneva J.Fischer Mappings, Use of MOF for Language Families Joachim Fischer Workshop on.
International Telecommunication Union Informal Forum Summit San Francisco, July 2003 PROGRESS REPORT ON ACTION ITEMS SINCE THE 2001 IFS Greg Jones.
All-IP Transition Initiatives June 17, ATIS Board of Directors’ Meeting October 20, 2011 NANC Meeting June 17, 2014 IP Transition Work within.
GSC: Standardization Advancing Global Communications 1 ITU-T Status Report on Disaster Relief and Early warning SOURCE:ITU-T TITLE:ITU-T Status Report.
IETF Perspective on Formal Languages Workshop - Framework and Scope of Formal Languages O. Monkewich Geneva, March 2, 2002.
1 Achieving Technical Interoperability - the ETSI Approach Hans van der Veer ETSI Board Interoperability Champion.
Requirements Specification. Welcome to Software Engineering: “Requirements Specification” “Requirements Specification” Verb? Noun? “Specification”
©Tariff Check Services Ltd Questions ??? Are you in control of your mobile phone usage and expenditure? Are you getting the best rates from your.
International Telecommunication Union “ Result of work on Deliverable 2 ” From the ICT and Climate Change Focus Group Geneva October 12-16, 2009.
System and Software Engineering Research 1 Motorola Copyright 2001 A Perspective on Harmonisation: Benefits and Barriers Clive Jervis Rapporteur Q15 Motorola.
DG INFSO- Grid Research & Infrastructures: W. Boch, M. Campolargo 1 Delivery of Industrial-strength Grid Middleware: establishing an effective European.
Philippe COUSIN Interoperability Service Manager Milan ZORIC ETSI PTCC (Protocol and Testing Competence Centre) In pursuit of Interoperability RFID and.
1 Formal Methods Demo Session Initiation Protocol (SIP) Vulnerability Testing.
Halifax, 31 Oct – 3 Nov 2011ICT Accessibility For All GTSC-9 Summary Glenn Parsons, GTSC-9 Chair, ISACC Document No: GSC16-CL-04 Source: GTSC-9 Contact:
25/11/2015 ITU-T NGN - Progress and Plans Brian Moore Lucent Technologies Chairman of ITU-T Study Group 13 1GSC-9, Seoul SOURCE:ITU-T TITLE:ITU-T NGN -
1 Recent work in the area: Requirement-Driven Development of Distributed Applications Gregor v. Bochmann School of Information Technology and Engineering.
2009/10/06 STUDY ON RECOGNITION OF PROFESSIONAL QUALIFICATIONS Alternative title slide.
World Class Standards CCIF New York - April Grids, Clouds and Service Infrastructures ETSI Strategy & New Initiatives.
IP Billing and Accounting IP 4 IP Networking & Mediacom2004 Workshop.
Cooperation & Competition in building the Web, « the universe of network-accessible information » Jean-François Abramatic Chief Product Officer ILOG.
TTCN-3 and ASN.1 interworking Analysis of backward compatibility in ASN.1 Géza Horváth TTCN-3 User Conference – 9 June 2011.
ATIS and Interoperability in the Africa Region Dr. Asok Chatterjee On Behalf of the Alliance for Telecommunications Industry Solutions (ATIS) July 30-31,
SMM 3 rd Session. Topic to be covered…. Industry updates Marketing Audit Segmentation, Productivity and ratio analysis.
GSC: Standardization Advancing Global Communications ITU-T Status Report on standardization of Networked RFID P.A. Probst/Chairman of ITU-T SG16 SOURCE:ITU-T.
World Class Standards Recommended Improvements to The ETSI Standards Engineering Process Hans van der Veer Chair OCG-IOP & Steve Randall STF308 OCG#32,
Planning and submitting a shadow report Charlotte Gage Women’s Resource Centre.
© 2017 SlidePlayer.com Inc. All rights reserved.