Skip to main content
SpringerLink
Log in
Book cover

International Conference on Networked Systems

NETYS 2016: Networked Systems pp 202–208Cite as

A Formal Model for WebRTC Signaling Using SDL

  • Conference paper
  • First Online:

  • 574 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCCN,volume 9944))

Abstract

We present a formal approach to modeling Jingle protocol and the related IETF protocols STUN, TURN and ICE using Specification and Description Language (SDL). The aim is to perform a complete unambiguous model for signaling exchange between two WebRTC communicating entities, and study their behavior in real network conditions like the presence of NAT (Network Address Translation) and firewalls. The main objective is to demonstrate the feasibility of using a formal language, such as SDL to model a system as complex as IETF RTCWeb architecture using Jingle as a signaling mechanism.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    https://sites.google.com/site/jinglesdlmodel/.

References

  1. Javascript Session Establishment Protocol Specification, IETF Internet Draft. V.06 (2015)

    Google Scholar 

  2. Interactive Connectivity Establishment: A Protocol for NAT Traversal for Offer/Answer Protocols Specification, IETF Internet Standard track. RFC 5245 (2010)

    Google Scholar 

  3. Session Traversal Utilities for NAT (STUN), IETF Internet Standard track. RFC 5389 (2008)

    Google Scholar 

  4. Traversal Using Relays around NAT (TURN): Relay Extensions to Session Traversal Utilities for NAT (STUN). IETF Internet Standard track. RFC 5766 (2010)

    Google Scholar 

  5. Chan, K.Y., v. Bochmann, G.: Methods for designing SIP services in SDL with fewer feature interactions. University of Ottawa (2003)

    Google Scholar 

  6. Jingle Specification, XMPP Standard Foundation, Standard Track. XEP-0166 (2008)

    Google Scholar 

  7. Saint-Andre, P., Smith, K., Tronçon, R.: XMPP: The Definitive Guide, Building Real-Time Applications with Jabber, 1st edn., Treseler, M.E. (ed.) O’Reilly Books, New York (2009)

    Google Scholar 

  8. Jingle RTP Session Specification. Standard Track. XEP-0167 (2008)

    Google Scholar 

  9. Jingle RAWUDP Transport Specification. Standard Track. XEP-0177, (2009)

    Google Scholar 

  10. Jingle ICEUDP Transport Specification. Standard Track. XEP-0176 (2009)

    Google Scholar 

  11. RTCWeb JSEP XMPP/Jingle Mapping Specification, IETF Internet Draft. V.02 (2013)

    Google Scholar 

  12. ITU-TS Recommendation Z.100: Specification and Description Language (SDL), International Telecommunication Union, ITU-TS, Geneva, Switzerland (1999)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut National des Postes et Télécommunications, Rabat, Morocco

    Asma El Hamzaoui, Hicham Bensaid & Abdeslam En-Nouaary

  2. Labmia, Faculté des Sciences, Mohammed V University in Rabat, Rabat, Morocco

    Hicham Bensaid

Authors
  1. Asma El Hamzaoui
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hicham Bensaid
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Abdeslam En-Nouaary
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Asma El Hamzaoui .

Editor information

Editors and Affiliations

  1. Uppsala University , Uppsala, Sweden

    Parosh Aziz Abdulla

  2. Université Paris Diderot , Paris, France

    Carole Delporte-Gallet

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this paper

Cite this paper

El Hamzaoui, A., Bensaid, H., En-Nouaary, A. (2016). A Formal Model for WebRTC Signaling Using SDL. In: Abdulla, P., Delporte-Gallet, C. (eds) Networked Systems. NETYS 2016. Lecture Notes in Computer Science(), vol 9944. Springer, Cham. https://doi.org/10.1007/978-3-319-46140-3_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-46140-3_16

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-46139-7

  • Online ISBN: 978-3-319-46140-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation