[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 [127.0.0.1])
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-Level:
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 ([4.31.198.44])
by localhost (ietfa.amsl.com [127.0.0.1]) (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 [92.243.22.217])
(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.
Changelog:
- 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
draft-mcquistin-augmented-diagrams-01.
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
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 are also htmlized versions available at:
https://tools.ietf.org/html/draft-petithuguenin-computerate-specifying-02
https://datatracker.ietf.org/doc/html/draft-petithuguenin-computerate-specifying-02
A diff from the previous version is available at:
https://www.ietf.org/rfcdiff?url2=draft-petithuguenin-computerate-specifying-02
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:
ftp://ftp.ietf.org/internet-drafts/
_______________________________________________
I-D-Announce mailing list
I-D-Announce@ietf.org
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
- [fdt] Fwd: I-D Action: draft-petithuguenin-comput… Marc Petit-Huguenin