You are here: UCM Web>UCMVirtualLibrary>VirLibSalesMScThesis (08 Mar 2010)


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.

-- Jason Kealey - 12 Oct 2005


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

Form For Virtual Library edit

Title A Bridging Methodology for Internet Protocols Standards Development
Authors I. Sales
Type Thesis
Conference/Journal Title
Publisher SITE, University of Ottawa
Month August
Year 2001
Pages 129
Keywords internet standard, internet protocl, semiformal, formal description, use case maps, sdl
Topic attachments
I Attachment Action Size Date Who Comment
pdfpdf is_msc.pdf manage 732.0 K 12 Oct 2005 - 16:57 Jason Kealey Sales MSc Thesis?
Topic revision: r3 - 08 Mar 2010 - 16:46:38 - Daniel Amyot
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