Re: [Json] JSON Schema Language

Tim Bray <tbray@textuality.com> Wed, 29 May 2019 02:40 UTC

Return-Path: <tbray@textuality.com>
X-Original-To: json@ietfa.amsl.com
Delivered-To: json@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id E9A781200F8 for <json@ietfa.amsl.com>; Tue, 28 May 2019 19:40:58 -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, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_NONE=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=textuality-com.20150623.gappssmtp.com
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 js-p3O-jwgAt for <json@ietfa.amsl.com>; Tue, 28 May 2019 19:40:56 -0700 (PDT)
Received: from mail-io1-xd2c.google.com (mail-io1-xd2c.google.com [IPv6:2607:f8b0:4864:20::d2c]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 52D32120099 for <json@ietf.org>; Tue, 28 May 2019 19:40:56 -0700 (PDT)
Received: by mail-io1-xd2c.google.com with SMTP id u13so539789iop.0 for <json@ietf.org>; Tue, 28 May 2019 19:40:56 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=textuality-com.20150623.gappssmtp.com; s=20150623; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=lttWZsRbojDzH/cXFQRyUe/ho8c419lZ+VAPfPEw9PQ=; b=RG3AqETNGXpuAvTevxC90OlMyeyoXLsaYWzTPKkUhafYh0l+CSAYU8kSPgAKI0AvjC ZIWmN4JxgEQL6wEM1LMhRgrBJSjwRA5OyTI2TTQmg9KGcG5gtPYJhlShleHU7nTsDp59 N0rGwd3uni0oKBM6jUeE2S0IQPTLcZLaW/m4+xExxNh7h+mpD2kDVl0lMVFW0/q8ellE bhuAmX9VmKqK3FdsAoJXfXxEeHYz9fyDW1xFrC2pA9At9Axspu9urfmY+TbJx60XXezw rB1G2xIMnH+A4i3WleyL6YD9cii+fspOFdfMsIFOjMR3QRHOsXbfkuTMEJ/L/WbKOwBH LV3g==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=lttWZsRbojDzH/cXFQRyUe/ho8c419lZ+VAPfPEw9PQ=; b=XmRRu4JZsp3st/CdVer6LsC031Cwp+HjAU+vzHQiKBCLsAsTch1aXH7OxXExctC6q5 9S71AA9AcjrQWszfDPldRTrSTQljMQ2aQtYBWg9oj9h5Ih0Fv82XPKe1vsosHMMzUPkf Af+UAe3SaJaIjKSxXoNgR3SjrYYSRDJPf007IE4TD62iNt31a4WfzLRlOuBc3ufnXv/q e23dPUZfWYjnpmymD5H2Vykj2+VUkVhMt/mgJ1YPVk6exz+ty9/QHMqhi3vqCYmkXf7i MGRMCVkoFYgQgAWDXDHvLH0zmmihjXfRcV9d4PGH1awgSQwSbi+wZt2Xj4tsybL9A3/c JyCw==
X-Gm-Message-State: APjAAAUlEP1iQk1T65GKliSTZyImcY9fjRIEbh1e3/Hk440t87hmjSlK G24nqOghPQulbyUpKGYzjn6THvrSKH7VLgybIAL0Qw==
X-Google-Smtp-Source: APXvYqzoqbyXw7mP4DOS1LqTqWI/mzFaK0xXtxQGtO4TLss7w8lEqfvhTFjPhub1UWIYiZtr2fLNj9gkNuh4vzT54J8=
X-Received: by 2002:a05:6602:211a:: with SMTP id x26mr1130054iox.202.1559097655482; Tue, 28 May 2019 19:40:55 -0700 (PDT)
MIME-Version: 1.0
References: <CAJK=1RjV1uv0eOdtFZ8cKn-FfCwCiGP5r2hOz1UamiM6YV4H1A@mail.gmail.com> <CAHBU6itE8kub1qtdRoW8BqxaOmzMv=vUo1aDeuAr3HX141NUGg@mail.gmail.com> <77994bdb-a400-be90-5893-b846a8e13899@gmail.com> <20190507154201.GP21049@localhost> <CEF72901-5077-4305-BA68-60624DCE952D@bzfx.net> <69ea0c99-e983-5972-c0aa-824ddeecb7c4@dret.net> <CAMm+LwjyVjnJuWE4+a9Ea=_X1uuEGuK+O4KojzN3uVQ+s+HqUQ@mail.gmail.com> <058f58a3-dd27-998e-5f54-4874aff5f2f0@dret.net> <20190507221726.GR21049@localhost> <CAJK=1Rj7PBD-bbwvsqgjQQzp4Aoidb-W2q5Lj6asMHHDHaTVYQ@mail.gmail.com> <646abf11-496b-c120-45d6-2a1aeab051a8@codalogic.com> <8224451C-F21B-41E5-A834-A9005050CB1F@tzi.org> <CAJK=1RjdYD6TZCNrw=H3d9ZLKLxZZOwVCOYYPwfbP+1ETDDz1Q@mail.gmail.com> <11CDA7F6-30BB-40E4-8926-2EDCBCFD785B@tzi.org>
In-Reply-To: <11CDA7F6-30BB-40E4-8926-2EDCBCFD785B@tzi.org>
From: Tim Bray <tbray@textuality.com>
Date: Tue, 28 May 2019 19:40:44 -0700
Message-ID: <CAHBU6iv8ZsFM5yco5gi+gcyU8d=u3bOSgiKaF6-hv-GARgNh9w@mail.gmail.com>
To: Carsten Bormann <cabo@tzi.org>
Cc: Ulysse Carion <ulysse@segment.com>, JSON WG <json@ietf.org>
Content-Type: multipart/alternative; boundary="000000000000ece1ab0589fdb575"
Archived-At: <https://mailarchive.ietf.org/arch/msg/json/lfmYkdO2-wfh6Jr9X2ycSc5JKgY>
Subject: Re: [Json] JSON Schema Language
X-BeenThere: json@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "JavaScript Object Notation \(JSON\) WG mailing list" <json.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/json>, <mailto:json-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/json/>
List-Post: <mailto:json@ietf.org>
List-Help: <mailto:json-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/json>, <mailto:json-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 29 May 2019 02:40:59 -0000

So Carsten, I am a person who would benefit from a super-simple JSON schema
langauge; in effect, something like JSL + enums + timestamps.  Furthermore,
as I've said, I'm willing to invest some IETF-work cycles to get such a
thing, in the event we could interest the community.  Do you think that
doing such a JSL and defining it using established CDDL semantics might be
a good idea?

Alternately, might we retain CDDL syntax and define a profile/subset which
would be appropriate for us JSON-only simpletons?

I'm not terribly fussy about mechanisms.



On Fri, May 10, 2019 at 12:16 AM Carsten Bormann <cabo@tzi.org> wrote:

> On May 10, 2019, at 05:55, Ulysse Carion <ulysse@segment.com> wrote:
> >
> > Carsten,
> >
> > Do you think that our difference in opinion on CDDL vs JSON Schema
> > Language may be attributable to a difference in requirements?
>
> Hi Ulysse,
>
> I’m not even sure we disagree.  That was why I became interested in
> converting between JSL and CDDL.  As I was trying to show, CDDL might make
> a fine presentation language for JSL, and JSL might be a nice “profile” for
> CDDL that is very simple to process.
>
> > It seems to me that your use-case is centered around defining
> > standards and other complex data requirements. CDDL is, in my view,
> > unquestionably a better choice for this use-case. In my mind, CDDL is
> > ABNF for CBOR, and that is undeniably what standards dealing with CBOR
> > or its near-equivalents require. The existing references, from RFCs,
> > to CDDL are testament to this.
>
> Yes, you are describing the intention correctly.  I would add that CDDL
> has proven as useful for describing pure JSON protocols as for CBOR.
>
> Not all JSON/CBOR protocols need the full capabilities of CDDL.  For
> instance, the example in the CDDL spec for RFC 7071 could easily be
> expressed in JSL, except for two details: reputation-object is not meant to
> be extensible (reputon is), and there are some value constraints (some
> values are integers).
>
> > But I (and I suspect Tim) am more preoccupied solely with defining the
> > mundane sorts of messages that come out of JSON event processing and
> > repetitive JSON APIs. Tim has blogged (see link in my original email)
> > about dealing with AWS's CloudWatch events. That's messages that look
> > like this:
> >
> >
> https://docs.aws.amazon.com/AmazonCloudWatch/latest/events/EventTypes.html
> >
> > Tons of messages, and frequently being added and updated. But none of
> > these messages are particularly exciting from a schema perspective.
>
> Well, I just had a look at (randomly selected)
>
> https://docs.aws.amazon.com/AmazonCloudWatch/latest/events/EventTypes.html#health-event-types
> You’d need to add enumerations to JSL.  There are also timestamps in the
> object (ironically in two different formats).  There is a table that maps
> language tags to messages in that language.  (And the second and third
> example have a missing bracket.)  But I can’t really say, because the
> description by example only just begins to expose the actual intention.
>
> > CDDL can do much more than is necessary for merely representing
> > CloudWatch events. This may seem like a good thing, but such excess
> > capability reduces the suitability of the solution. JSON Schema
> > Language is intentionally small and scuttled in scope, so as to
> > simplify code and UI generation. By being so limited in scope, JSON
> > Schema Language fits more easily into the architecture of a system
> > that would like to integrate it.
>
> I’ve seen my share of developments that start simple.  How much
> functionality will be added to JSL before it becomes a standard?  Also, the
> law of extensibility tells us it will be extended even after becoming a
> standard.
>
> Of course, in its domain, CDDL is incredibly simple.  Compare to JCR: JCR
> is about three times as complex as CDDL.  This is because CDDL was built
> from a few very simple building blocks, which combine nicely to provide its
> functionality.  JCR is more of an accretion of features, which in sum can
> do most of what CDDL can do.
>
> But back to JSL and CDDL:
> What I’m interested in is what are the sweet spots on this functionality
> vs. complexity continuum.  I think we have found two of these sweet spots
> (at least maybe after a little more calibration).  Now how do we handle the
> onslaught of applications that don’t quite fit the sweet spots?
>
> The question that intrigues me: Is it possible to define something that is
> as simple as JSL when you need just that, but allows dipping into the
> capabilities of something like CDDL where needed?
>
> By the way: You may not be aware of the WISHI activity we have in the
> T2TRG (thing-to-thing research group) of the IRTF.  Here we look at
> modeling (not just for data) and at translating between different modeling
> approaches.  http://wishi.space if you want to have a look.
>
> Grüße, Carsten
>
> _______________________________________________
> json mailing list
> json@ietf.org
> https://www.ietf.org/mailman/listinfo/json
>