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

Marc Petit-Huguenin <marc@petit-huguenin.org> Wed, 20 November 2019 08:39 UTC

Return-Path: <marc@petit-huguenin.org>
X-Original-To: fdt@ietfa.amsl.com
Delivered-To: fdt@ietfa.amsl.com
Received: from localhost (localhost []) by ietfa.amsl.com (Postfix) with ESMTP id 1DAA4120A92 for <fdt@ietfa.amsl.com>; Wed, 20 Nov 2019 00:39:20 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.107
X-Spam-Status: No, score=-1.107 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RDNS_NONE=0.793, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=no autolearn_force=no
Received: from mail.ietf.org ([]) by localhost (ietfa.amsl.com []) (amavisd-new, port 10024) with ESMTP id 4pvYwXdhLk5O for <fdt@ietfa.amsl.com>; Wed, 20 Nov 2019 00:39:19 -0800 (PST)
Received: from implementers.org (unknown []) (using TLSv1.2 with cipher ADH-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 0E6E01208CB for <fdt@ietf.org>; Wed, 20 Nov 2019 00:39:16 -0800 (PST)
Received: from [IPv6:2001:0:53aa:64c:d4:48dc:e07a:6243] (unknown [IPv6:2001:0:53aa:64c:d4:48dc:e07a:6243]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client CN "Marc Petit-Huguenin", Issuer "implementers.org" (verified OK)) by implementers.org (Postfix) with ESMTPS id BA7A2AE4A2 for <fdt@ietf.org>; Wed, 20 Nov 2019 09:39:13 +0100 (CET)
References: <157396636740.22401.9156935449291410865@ietfa.amsl.com>
To: fdt@ietf.org
From: Marc Petit-Huguenin <marc@petit-huguenin.org>
X-Forwarded-Message-Id: <157396636740.22401.9156935449291410865@ietfa.amsl.com>
Message-ID: <23064a5e-ffd1-51b6-a3a4-fb0d697ae5f1@petit-huguenin.org>
Date: Wed, 20 Nov 2019 16:39:11 +0800
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.2.1
MIME-Version: 1.0
In-Reply-To: <157396636740.22401.9156935449291410865@ietfa.amsl.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Archived-At: <https://mailarchive.ietf.org/arch/msg/fdt/tMDF6AWKQbG_J451VTfj-daFL5Y>
Subject: [fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-02.txt
X-BeenThere: fdt@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Mailing list for the discussion of the use of formal description techniques in IETF documents <fdt.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/fdt>, <mailto:fdt-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/fdt/>
List-Post: <mailto:fdt@ietf.org>
List-Help: <mailto:fdt-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/fdt>, <mailto:fdt-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 20 Nov 2019 08:39:20 -0000

In case you missed it, I released last Sunday a new version of the draft and the tooling, all part of the work done during the Hackathon.

Comments, suggestions and questions are welcome.


-  Document
    o  Switch to rfcxml3.
    o  Status is now experimental.
    o  Many nits.
    o  Fix incorrect errata stats.
    o  Move acknowledgment section at the end.
    o  Rewrite the APHD section (formerly known as AAD) to match
    o  Fix non-ascii characters in the references.
    o  Intermediate AsciiDoc representation for serializers.
-  Tooling
    o  xmlrfc3 is now the default extension.
    o  "docName" and "category" attributes are now generated, and
       the "prepTime" is removed.
    o  Update xml2rfc to 2.35.0.
    o  Remove LanguageTool.
    o  Update Metanorma to version 0.3.17.
    o  Update Asciidoctor to 2.0.10.
    o  Update list of Working Groups.
-  Library
    o  No update.

-------- Forwarded Message --------
Subject: I-D Action: draft-petithuguenin-computerate-specifying-02.txt
Date: Sat, 16 Nov 2019 20:52:47 -0800
From: internet-drafts@ietf.org
Reply-To: internet-drafts@ietf.org
To: i-d-announce@ietf.org

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-02.txt
	Pages           : 37
	Date            : 2019-11-16

    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:

There are also htmlized versions available at:

A diff from the previous version is available at:

Please note that it may take a couple of minutes from the time of submission
until the htmlized version and diff are available at tools.ietf.org.

Internet-Drafts are also available by anonymous FTP at:

I-D-Announce mailing list
Internet-Draft directories: http://www.ietf.org/shadow.html
or ftp://ftp.ietf.org/ietf/1shadow-sites.txt