[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