[Cbor] New control operators for CDDL

Carsten Bormann <cabo@tzi.org> Mon, 15 June 2020 12:09 UTC

Return-Path: <cabo@tzi.org>
X-Original-To: cbor@ietfa.amsl.com
Delivered-To: cbor@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id B5E443A0D1D for <cbor@ietfa.amsl.com>; Mon, 15 Jun 2020 05:09:12 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.897
X-Spam-Level:
X-Spam-Status: No, score=-1.897 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_MSPIKE_H4=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham 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 gYug5Y7mB31X for <cbor@ietfa.amsl.com>; Mon, 15 Jun 2020 05:09:10 -0700 (PDT)
Received: from gabriel-vm-2.zfn.uni-bremen.de (gabriel-vm-2.zfn.uni-bremen.de [134.102.50.17]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 0D8EF3A0D1E for <cbor@ietf.org>; Mon, 15 Jun 2020 05:09:10 -0700 (PDT)
Received: from [192.168.217.116] (p5089ae91.dip0.t-ipconnect.de [80.137.174.145]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by gabriel-vm-2.zfn.uni-bremen.de (Postfix) with ESMTPSA id 49lqr41f4MzySb; Mon, 15 Jun 2020 14:09:08 +0200 (CEST)
From: Carsten Bormann <cabo@tzi.org>
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable
X-Mao-Original-Outgoing-Id: 613915747.7146831-03bba2b0741139ec06275968cced7bde
Mime-Version: 1.0 (Mac OS X Mail 13.4 \(3608.80.23.2.2\))
Date: Mon, 15 Jun 2020 14:09:07 +0200
Message-Id: <E3798540-085B-4E21-A1D2-19E7010FC1BD@tzi.org>
To: cbor@ietf.org
X-Mailer: Apple Mail (2.3608.80.23.2.2)
Archived-At: <https://mailarchive.ietf.org/arch/msg/cbor/g8zYYewjoK_D-5qIW_QwsqOkTp4>
Subject: [Cbor] New control operators for CDDL
X-BeenThere: cbor@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "Concise Binary Object Representation \(CBOR\)" <cbor.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/cbor>, <mailto:cbor-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/cbor/>
List-Post: <mailto:cbor@ietf.org>
List-Help: <mailto:cbor-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/cbor>, <mailto:cbor-request@ietf.org?subject=subscribe>
X-List-Received-Date: Mon, 15 Jun 2020 12:09:13 -0000

I have submitted draft-bormann-cbor-cddl-control-00 with proposals for five new control operators:

* .cat and .plus for very basic computed literals (all that we seem to need right now)
* .abnf and .abnfb for ABNF in CDDL
* .feature for keeping track of extension point usage by an instance in validation (as already used in recent work on SDF).

Title:		Additional Control Operators for CDDL
Document date:	2020-06-15
Group:		Individual Submission
Pages:		9
URL:            https://www.ietf.org/internet-drafts/draft-bormann-cbor-cddl-control-00.txt
Status:         https://datatracker.ietf.org/doc/draft-bormann-cbor-cddl-control/
Html:           https://www.ietf.org/id/draft-bormann-cbor-cddl-control-00.html

I have also updated draft-bormann-cbor-cddl-freezer to remove those ideas from the freezer that are now represented in these five new controls.

.feature is provisionally implemented in the CDDL tool version 0.8.11; the other four are waiting for the next version of the CDDL tool.

Maybe we can talk about these on Wednesday.

Grüße, Carsten