Re: [fdt] Proposed charter text & meeting

Stephen McQuistin <sm@smcquistin.uk> Fri, 28 August 2020 15:46 UTC

Return-Path: <sm@smcquistin.uk>
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 2F0B03A0CA9 for <fdt@ietfa.amsl.com>; Fri, 28 Aug 2020 08:46:28 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.1
X-Spam-Level:
X-Spam-Status: No, score=-2.1 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, HTML_MESSAGE=0.001, RCVD_IN_MSPIKE_H2=-0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=smcquistin.uk header.b=BKkkcBR0; dkim=pass (2048-bit key) header.d=messagingengine.com header.b=coxCfYxh
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 Gn4QYr4ny6A3 for <fdt@ietfa.amsl.com>; Fri, 28 Aug 2020 08:46:26 -0700 (PDT)
Received: from wout5-smtp.messagingengine.com (wout5-smtp.messagingengine.com [64.147.123.21]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 523753A0CA8 for <fdt@ietf.org>; Fri, 28 Aug 2020 08:46:26 -0700 (PDT)
Received: from compute3.internal (compute3.nyi.internal [10.202.2.43]) by mailout.west.internal (Postfix) with ESMTP id 46F72B7A; Fri, 28 Aug 2020 11:46:25 -0400 (EDT)
Received: from mailfrontend2 ([10.202.2.163]) by compute3.internal (MEProxy); Fri, 28 Aug 2020 11:46:25 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=smcquistin.uk; h=from:message-id:content-type:mime-version:subject:date :in-reply-to:cc:to:references; s=fm1; bh=y9r5CUTq/OZwiHW2HqeV+1g abcFs1/tbofXk8TVQIq4=; b=BKkkcBR0GdlfpDd81rYADte3VNYEnHrjhN2ckcN BDCIL9YjTPbx//UP8gq0mC9LD9Q7L2tPEmrxJOBsKHy9f78YGPyCeYBQE+CJ5IVx 2xQoqOzqyHCcubAegEHxoeu82akjitaI3WFqDbvjs5ass4LGVbRbYdvWc6act1ny O3BjxdU7h3uh/eAi7i599rd9Uon8a15ETFm0XKEQp2uzC+BfyMNHzZBf21+K7D1A MPtkeIUFMyLQgZLKhdHwJYx2OQeL+o4eTz5DvNOyIb5DIGtXLqR/Kb04qEdpzv8c G0XdqdWGd9cNlAmBJhBaj+wLPzNfSzKOPw8bfYgtnUlH9aA==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-proxy :x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s=fm3; bh=y9r5CU Tq/OZwiHW2HqeV+1gabcFs1/tbofXk8TVQIq4=; b=coxCfYxhQqMIaJwGRnh/UN 7QhGpXW8MZtaSGayEtF84lhPioCoS7yIL34YSzLdg7CkqXb/GCvnAjJJW7taJrh4 nKzVbeZoFqb4lm7Yu0sqOzF7ijr1LGtAH3R4upd/J2tDPiQiKIEvkT0+h2ZImC59 7WLn3FYmhCUksB+672v30aY9Q6fRKz5UNRqJgEVDHb8qlFjt/GkASVRaprlUpMpY H38ri019ipl5EZr9TlCC7ItQPbVRBJPjlXjKB+dvXlnQeCd8Ori+4Pd2uX3gTar1 e2nMR12K5nJ2CwK42ZH5NFSjsuqadvgllsDHp8fjRnqQlfypYj1kSnlUZJ+c8qEw ==
X-ME-Sender: <xms:0CZJX63qLDhXeDfh6T1IZxvlZksxEHFnFaEIbs9LiJ-6MU8G7JJEKA>
X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduiedruddvkedgudduucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmne cujfgurhephffktgggufffjgfvfhfosegrtdhmrehhtdejnecuhfhrohhmpefuthgvphhh vghnucfotgfsuhhishhtihhnuceoshhmsehsmhgtqhhuihhsthhinhdruhhkqeenucggtf frrghtthgvrhhnpeejtdffhfekffefvefftdevueffhfefhfehheefvddviedvledtgffh leektdejkeenucffohhmrghinhephhgrtghkmhgurdhiohdpihgvthhfrdhorhhgnecukf hppedutdelrdduheegrdduleehrddunecuvehluhhsthgvrhfuihiivgeptdenucfrrghr rghmpehmrghilhhfrhhomhepshhmsehsmhgtqhhuihhsthhinhdruhhk
X-ME-Proxy: <xmx:0CZJX9F1aetU90kKgcUE8_N_ALLRH-j6_TkERAOhmsHKI1pyG4G0Yg> <xmx:0CZJXy5Izc2doCnH_Pzjn_aC5ShJKTkU8ICXiOKyJfyJruEcdCjbKw> <xmx:0CZJX717jMJIn9oKwXmNQ99HtWKZLk5KoXK5SxbfBrJjUoWM9aSKaQ> <xmx:0CZJXxQe3Q2xM-Aat04GkNepraIDMCn3tgtELzbW2qZAPMgA9Sf93A>
Received: from localhost (host109-154-195-1.range109-154.btcentralplus.com [109.154.195.1]) by mail.messagingengine.com (Postfix) with ESMTPA id D250A30600A6; Fri, 28 Aug 2020 11:46:23 -0400 (EDT)
From: Stephen McQuistin <sm@smcquistin.uk>
Message-Id: <EDD16469-E734-4F24-BE86-47C54F1A721E@smcquistin.uk>
Content-Type: multipart/alternative; boundary="Apple-Mail=_96AB264B-C84B-48A2-BE72-8BC65918E551"
Mime-Version: 1.0 (Mac OS X Mail 14.0 \(3652.0.5.2.1\))
Date: Fri, 28 Aug 2020 16:46:22 +0100
In-Reply-To: <BD60952D-51BB-4D45-898E-A8D58B83F71C@tzi.org>
Cc: fdt@ietf.org
To: Carsten Bormann <cabo@tzi.org>
References: <16D9B498-78F0-41AB-BAFC-77250C084A33@smcquistin.uk> <EA48528D-F798-4ED1-9BA1-39603E3C804E@smcquistin.uk> <B8882E15-4E47-4921-AED5-F2A1F4B36C11@smcquistin.uk> <BD60952D-51BB-4D45-898E-A8D58B83F71C@tzi.org>
X-Mailer: Apple Mail (2.3652.0.5.2.1)
Archived-At: <https://mailarchive.ietf.org/arch/msg/fdt/lhuOq_KFhYfvDPja_An1LGMt7ks>
Subject: Re: [fdt] Proposed charter text & meeting
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: Fri, 28 Aug 2020 15:46:28 -0000

Hi,

> On 28 Aug 2020, at 15:19, Carsten Bormann <cabo@tzi.org> wrote:
> 
> On 2020-08-28, at 15:37, Stephen McQuistin <sm@smcquistin.uk> wrote:
>> 
>> The meeting is to discuss the next steps for proposing an FDT group, and specifically, this draft charter text:
>> 	https://hackmd.io/@fdt/S1wTyI-fv
> 
> I expect we will be live-editing that at the meeting?

Yes — I think that’s a good plan.

> I made one minor change, but I wasn’t sure how to mark this as my proposed change (I used italics and a [cabo] mark).
> If you like that change, maybe you can “accept” it.

Done.

> Not that it is necessary to do that now, but moving to codimd.ietf.org would have the advantage that you can see who added some text.
> (Properly integrating codimd with git or github is still an unsolved problem AFAIK.)

I wasn’t aware of codimd.ietf.org <http://codimd.ietf.org/>, but I’ll take a look, and perhaps migrate before the meeting.

> Re agenda: I think we could keep the side meeting focused on the administrative part, and (assuming we can pull it off) schedule an actual PRG meeting soon for the actual technical presentations and discussions.

This makes sense: if we can agree the broad objectives/goals and organisation in this meeting, it would be easier to then schedule a meeting that fits around that.

> We could also discuss setting up a (possibly wiki-like) structure where we could collect pointers to relevant work and maybe get some taxonomy work started so we have a way to group those pointers into meaningful clusters.

Also a good idea: not sure where this could be hosted, but grouping this together would be good.

> (One think I’d like to understand in the long run is how we will build entire specifications that make use of one or more FDT techniques, in the sense of literate programming — literate specification :-)  Making the specification techniques directly applicable to this like Augmented Packet Header Diagrams is certainly one way, but it also would be good to have a standard way to author specs with in-line ABNF or CDDL and have both readable text and processable specification at the end.  Add references between specifications in various stages of evolution to this if you think that alone is too easy.)

Perhaps an xml2rfc element for processable specifications, that would be processed by the tooling to produce the text? Many problems follow from that of course..

Stephen