A bridging methodology for Internet protocols standards development.

FieldValue
dc.contributor.advisorProbert, Robert L.,
dc.contributor.authorSales, Igor Saturno Agra.
dc.date.accessioned2009-03-23T18:29:56Z
dc.date.available2009-03-23T18:29:56Z
dc.date.created2001
dc.date.issued2001
dc.identifier.citationSource: Masters Abstracts International, Volume: 40-06, page: 1554.
dc.identifier.isbn9780612678590
dc.identifier.urihttp://hdl.handle.net/10393/9369
dc.identifier.urihttp://dx.doi.org/10.20381/ruor-7774
dc.description.abstractAn 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 semi-formal 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.
dc.format.extent120 p.
dc.publisherUniversity of Ottawa (Canada)
dc.subject.classificationComputer Science.
dc.titleA bridging methodology for Internet protocols standards development.
dc.typeThesis
dc.degree.nameM.C.S.
dc.degree.levelMasters
CollectionTh├Ęses, 1910 - 2010 // Theses, 1910 - 2010

Files
MQ67859.PDF4.55 MBAdobe PDFOpen