Subject: [fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-14.txt

From: Marc Petit-Huguenin <[email-masked]>
Date: Mon, 11 Oct 2021 10:06:09 -0700

A computerate specification can be seen as a way to bring together the tools that are used to author an Internet-Draft, with the goal of making that Internet-Draft better.  In a way a computerate specification acts as a bridge between these tools and the various formalism present in an RFC, formalism that various people will use to implement and test IETF protocols.

Although it is not the first of these formalism to be part of the tooling (that would be TPN), version -14 is the first version that contains the tools to define an ABNF and render it in the document, with the guarantee that the ABNF is syntactical correct.  Note that the philosophy behind a computerate specification is not to run validations tools (like the various ABNF validation tools at https://tools.ietf.org/) when the document is built, but to ensure that the ABNF is correct in the first place, and so running these tools against the ABNF is unnecessary.  Validation -- much like code testing -- can, and will be, skipped; correctness by construction cannot.

I will be submitting a new draft in few hours that is intensively using that technique to define its ABNF.

Version -14 is also meant to help people getting started writing computerate specifications with an improved Appendix A (that should contains all the instructions to get started), and the availability of a template in the Docker image.

Questions, comments, and suggestions can be sent here or directly to my email address.  I am also available on [email-masked]/MPH.

Happy specifying...

-------- Forwarded Message --------
Subject: I-D Action: draft-petithuguenin-computerate-specifying-14.txt
Date: Mon, 11 Oct 2021 09:41:20 -0700
From: [email-masked]
Reply-To: [email-masked]
To: [email-masked]

A New Internet-Draft is available from the on-line Internet-Drafts directories.

         Title           : The Computerate Specifying Paradigm
         Author          : Marc Petit-Huguenin
	Filename        : draft-petithuguenin-computerate-specifying-14.txt
	Pages           : 136
	Date            : 2021-10-11

Abstract:
    This document specifies a paradigm named Computerate Specifying,
    designed to simultaneously document and formally specify
    communication protocols.  This paradigm can be applied to any
    document produced by any Standard Developing Organization (SDO), but
    this document targets specifically documents produced by the IETF.

The IETF datatracker status page for this draft is:
https://datatracker.ietf.org/doc/draft-petithuguenin-computerate-specifying/

There is also an HTML version available at:
https://www.ietf.org/archive/id/draft-petithuguenin-computerate-specifying-14.html

A diff from the previous version is available at:
https://www.ietf.org/rfcdiff?url2=draft-petithuguenin-computerate-specifying-14

Internet-Drafts are also available by anonymous FTP at:
ftp://ftp.ietf.org/internet-drafts/

_______________________________________________
I-D-Announce mailing list
[email-masked]
https://www.ietf.org/mailman/listinfo/i-d-announce
Internet-Draft directories: http://www.ietf.org/shadow.html
or ftp://ftp.ietf.org/ietf/1shadow-sites.txt

-- 
Marc Petit-Huguenin
Email: [email-masked]
Blog: https://marc.petit-huguenin.org
Profile: https://www.linkedin.com/in/petithug