structured specifications in ietf documents
play

Structured Specifications in IETF Documents Stephen McQuistin Colin - PowerPoint PPT Presentation

Structured Specifications in IETF Documents Stephen McQuistin Colin Perkins HotRFC @ IETF 103 ASCII packet diagrams are useful 2 ASCII packet diagrams are useful but .. 3 4 ASCII packet diagrams 5 ASCII packet diagrams 6


  1. Structured Specifications in IETF Documents Stephen McQuistin Colin Perkins HotRFC @ IETF 103

  2. ASCII packet diagrams are useful � 2

  3. ASCII packet diagrams are useful but .. � 3

  4. � 4

  5. ASCII packet diagrams � 5

  6. ASCII packet diagrams � 6

  7. ASCII packet diagrams � 7

  8. ASCII packet diagrams � 8

  9. ASCII packet diagrams � 9

  10. ASCII packet diagrams � 10

  11. ASCII packet diagrams many variations with 
 subtle differences � 11

  12. Parsing packet diagrams Subtle differences in structure and English prose make • parsing packet diagrams difficult But many benefits if we can parse them: can generate parser • code, perform continuous integration → better standards Many efforts to introduce structured descriptions: ABNF, 
 • ASN.1, TLS presentation language, .. Clusters of adoption → need a broad framework, not another • description language � 12

  13. Discussion Help us understand: what are the technical and social • obstacles to adoption of structured languages? Work is part of a broader project on improving the standards • process using structured languages and formal methods Stephen McQuistin 
 • sm@smcquistin.uk Colin Perkins 
 • csp@csperkins.org � 13

Recommend


More recommend