Abstract

An Internet protocol must follow a certain standard set by the IETF (Internet Engineering Task Force). Internet Standards are plain text documents that are often hard for implementers to interpret. Hence, IETF requires at least two distinct, interoperable implementations before accepting a proposal as an Internet standard. To improve the quality of the IETF standards, we propose a bridging methodology which uses a semiformal and a formal description technique to bridge from English to a more precise specification.

Our bridging methodology (denoted USHLTD) uses “UCMs (Use Case Maps) as the requirements source notation (a semi-formal description technique) and SDL (Specification and Description Language, an executable international standard formal description technique) as the design destination notation.

To validate USHLTD, we conduct a case study on a widely deployed Internet routing protocol of great current interest called OSPF (Open Shortest Path First) and a key function, LSA (Link State Advertisement) refreshment. We analyse the results of applying our approach to the case study, and make recommendations for further research and validation.

-- JasonKealey - 12 Oct 2005

Discussion

  • Please feel free to discuss this article directly on this page. Constructive comments are welcomed! Please sign your TWiki name.

FormForVirtualLibrary edit

Title A Bridging Methodology for Internet Protocols Standards Development
Authors I. Sales
Type Thesis
Conference/Journal Title
Volume/Number
Editors
Publisher SITE, University of Ottawa
Month August
Year 2001
Pages 129
DOI
Keywords internet standard, internet protocl, semiformal, formal description, use case maps, sdl
Topic revision: r3 - 08 Mar 2010, DanielAmyot
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback