Re: [hackathon] Formal Languages at the Hackathon

[Kent Watsen <[e-mail]>]

I posted an I-D back in February on a similar idea.  The draft refers to YANG modules as an example throughout, but the idea applies equally to any structured format.  The draft does not define a "formal language", so much as define steps for a build-time script, to create self-validating submittable xml2rfc documents.  I haven't picked the project up since due to being busy on other things, but I will again if my chair/shepherd effort-level ever spikes again  ;)

	https://tools.ietf.org/html/draft-kwatsen-git-xiax-automation-01 <https://tools.ietf.org/html/draft-kwatsen-git-xiax-automation-01>

Kent


> On Nov 6, 2019, at 6:24 AM, Lucas Pardue <[e-mail]> wrote:
> 
> Hello,
> 
> The timing of this is quite good because the QUIC WG have recently been debating the pros and cons of the bitmap diagram for describing packets and frames particularly for variable-length fields, see issue #3115 [1].
> 
> Cheers
> Lucas
> 
> [1] https://github.com/quicwg/base-drafts/issues/3115 <https://github.com/quicwg/base-drafts/issues/3115>
> On Wed, Nov 6, 2019 at 10:09 AM Stephen McQuistin <[e-mail] <mailto:[e-mail]>> wrote:
> Hi all,
> 
> Marc Petit-Huguenin and I are championing formal languages projects at the hackathon in Singapore. Broadly, these
> projects seek to improve the quality of standards by using formal and structured languages in specification documents.
> These documents can then be parsed by tooling that can, for example, generate parser code or verify properties for the
> protocol being specified.
> 
> There will be two formal languages projects being worked on: Augmented Packet Header Diagrams and Computerate
> Specifying. Details for both projects are available on the Wiki at https://trac.ietf.org/trac/ietf/meeting/wiki/106hackathon/formal-languages <https://trac.ietf.org/trac/ietf/meeting/wiki/106hackathon/formal-languages>,
> but I'll give a brief outline of the Augmented Packet Header Diagrams project here. I'll let Marc describe his
> Computerate Specifying project separately.
> 
> The Augmented Packet Header Diagram format (draft-mcquistin-augmented-ascii-diagrams) is a consistent packet header
> diagram format and accompanying structured text constructs that allow for the parsing process of protocol headers to be
> fully specified. This provides support for the automatic generation of parser code, and for other benefits that follow
> from being able to use tooling to process packet header diagrams.
> 
> Our goal at the hackathon is to improve both the Augmented Packet Header Diagram format itself, by attempting to rewrite
> existing I-Ds and RFCs using its syntax, and to improve the tooling, and in particular, its Rust parser generator.
> 
> Please join us: we are particularly interested in examples of packet header diagrams that might be challenging to write
> in the format our draft describes, and in how our tooling might fit into existing workflows.
> 
> I-D: https://datatracker.ietf.org/doc/draft-mcquistin-augmented-ascii-diagrams <https://datatracker.ietf.org/doc/draft-mcquistin-augmented-ascii-diagrams>
> Getting started information: https://trac.ietf.org/trac/ietf/meeting/wiki/106hackathon/formal-languages <https://trac.ietf.org/trac/ietf/meeting/wiki/106hackathon/formal-languages>
> 
> Thanks,
> 
> Stephen
> 
> 
> 
> _______________________________________________
> hackathon mailing list
> [e-mail] <mailto:[e-mail]>
> https://www.ietf.org/mailman/listinfo/hackathon <https://www.ietf.org/mailman/listinfo/hackathon>
> _______________________________________________
> hackathon mailing list
> [e-mail]
> https://www.ietf.org/mailman/listinfo/hackathon