Re: [netmod] References to the "tags" typedef

Schönwälder, Jürgen <J.Schoenwaelder@jacobs-university.de> Fri, 04 October 2019 11:51 UTC

Return-Path: <J.Schoenwaelder@jacobs-university.de>
X-Original-To: netmod@ietfa.amsl.com
Delivered-To: netmod@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 77CDC120800 for <netmod@ietfa.amsl.com>; Fri, 4 Oct 2019 04:51:04 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.9
X-Spam-Level:
X-Spam-Status: No, score=-1.9 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H2=-0.001, SPF_NONE=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=jacobsuniversity.onmicrosoft.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 qJ4Iiw-3RbeA for <netmod@ietfa.amsl.com>; Fri, 4 Oct 2019 04:51:02 -0700 (PDT)
Received: from EUR03-AM5-obe.outbound.protection.outlook.com (mail-eopbgr30087.outbound.protection.outlook.com [40.107.3.87]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 2A881120120 for <netmod@ietf.org>; Fri, 4 Oct 2019 04:51:02 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=JADYu/B36FwcN/E6ZjJ6rLZ3wtIlpkA/iM8O2B+RiccqbjoJDfJDWnbHNnDFuamwNqYG+mIFy0KDXRE3vJsOWQ0gGpsTZ+Yv4VXyNJ7b4Aw6F6R6V3iA3kbqZ6PXlfzpQfJDICsh8x0J2r+C3l3/X//cNUAJZ8uBt4wpl26aUe5+Pz7jZueBvj+yBviJX0uvY8B0WWJ5XelkBalfGu24i8P+bdJ2qwpaAuJ4tmazRxWAa8EjGCbSgAsKPXnjeDmjGxcLXquldhe8hjS33csazXphvyK3UIdbaPYQB5h4qoXYMcPUVbcCMh0e2Aj3I91+OvgIm5OtQ9spKuytCK1UbA==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=WnOoE/mPUkRhPM9B3TW+NVrp5WM+gkcHQ6gptFfugCk=; b=BmbyYvHLzeQ1fnU8YOCH5H6aEL8a+080UVuYdZze/0raeIltEFoMZrbSgRNzzYQO/xR2u/PwjXv/YehdUfx2n5zGHrf1NKvWqeZIQy908MoSZpICwJiKfzyk0WZ4ljfirEk2bgkj637dI8XWdbxpinr2yr4YbGU9bIUCCqsRvA2CVSHZOEVZnDBnPR/Xe5Du1lhWYHKMh8YMDCl0Iov037KH8kVcQ+bI1tm3pDntMvVQWqvrorei/aNfp2sfkdhk+HVfcNFadoAX+8TwzI1Aa56WsDRWx1QtmrwuClF4iU+9yNH0sBjzuKMX7QkWEV5LneCzKmGIKEXQTN7sKYLWuw==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=jacobs-university.de; dmarc=pass action=none header.from=jacobs-university.de; dkim=pass header.d=jacobs-university.de; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jacobsuniversity.onmicrosoft.com; s=selector2-jacobsuniversity-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=WnOoE/mPUkRhPM9B3TW+NVrp5WM+gkcHQ6gptFfugCk=; b=Xlr6oCdrOGZaFyotPoC6F97mfObXe0uw7thvtdv+fP1g522P56pVBNuhuwWQQVKAJS6vGIgl3D0nwTCuPlwAQJE77A4T3s1b/Z9ByjS97Ia8M3PDqLKUGGejd8YBXifzBwuPC9TdfBs2kAPQx6Vw8T3MrpnDggvlDrXBo6MXFYc=
Received: from DB6P190MB0181.EURP190.PROD.OUTLOOK.COM (10.172.229.20) by DB6P190MB0422.EURP190.PROD.OUTLOOK.COM (10.175.241.17) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2305.20; Fri, 4 Oct 2019 11:50:59 +0000
Received: from DB6P190MB0181.EURP190.PROD.OUTLOOK.COM ([fe80::3031:b318:b167:f8ee]) by DB6P190MB0181.EURP190.PROD.OUTLOOK.COM ([fe80::3031:b318:b167:f8ee%12]) with mapi id 15.20.2305.023; Fri, 4 Oct 2019 11:50:59 +0000
From: =?iso-8859-1?Q?Sch=F6nw=E4lder=2C_J=FCrgen?= <J.Schoenwaelder@jacobs-university.de>
To: "Rob Wilton (rwilton)" <rwilton@cisco.com>
CC: =?iso-8859-1?Q?Bal=E1zs_Lengyel?= <balazs.lengyel@ericsson.com>, Christian Hopps <chopps@chopps.org>, Mahesh Jethanandani <mjethanandani@gmail.com>, "netmod@ietf.org" <netmod@ietf.org>
Thread-Topic: [netmod] References to the "tags" typedef
Thread-Index: AdV5zjrR87+ocsTFRHuyDJWUSmakTQASvOqAAAKhPIAAGXctcAADYFqAAAA8Z0AABH5RAA==
Date: Fri, 4 Oct 2019 11:50:59 +0000
Message-ID: <20191004115058.qsyvpylmhnjxmna5@anna.jacobs.jacobs-university.de>
References: <MN2PR11MB4366172C3044D238A5BE7C30B59F0@MN2PR11MB4366.namprd11.prod.outlook.com> <824BC817-DAFD-41CE-88B7-D24A32F22E19@gmail.com> <1B318BB7-9214-45DC-94AC-E164198CF97D@chopps.org> <MN2PR11MB436662777568D8D4746FCED0B59E0@MN2PR11MB4366.namprd11.prod.outlook.com> <20191004093533.cvxscnkgr5y4gh2p@anna.jacobs.jacobs-university.de> <MN2PR11MB4366FEF4B3817E3605D29BBDB59E0@MN2PR11MB4366.namprd11.prod.outlook.com>
In-Reply-To: <MN2PR11MB4366FEF4B3817E3605D29BBDB59E0@MN2PR11MB4366.namprd11.prod.outlook.com>
Reply-To: =?iso-8859-1?Q?Sch=F6nw=E4lder=2C_J=FCrgen?= <J.Schoenwaelder@jacobs-university.de>
Accept-Language: en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
x-clientproxiedby: AM4PR05CA0036.eurprd05.prod.outlook.com (2603:10a6:205::49) To DB6P190MB0181.EURP190.PROD.OUTLOOK.COM (2603:10a6:4:88::20)
authentication-results: spf=none (sender IP is ) smtp.mailfrom=J.Schoenwaelder@jacobs-university.de;
x-ms-exchange-messagesentrepresentingtype: 1
x-originating-ip: [2001:638:709:5::7]
x-ms-publictraffictype: Email
x-ms-office365-filtering-correlation-id: 668d13c3-767c-4909-08b2-08d748c11f85
x-ms-traffictypediagnostic: DB6P190MB0422:
x-ms-exchange-purlcount: 1
x-ms-exchange-transport-forked: True
x-microsoft-antispam-prvs: <DB6P190MB04225DAA7C4484234B4EC7ADDE9E0@DB6P190MB0422.EURP190.PROD.OUTLOOK.COM>
x-ms-oob-tlc-oobclassifiers: OLM:9508;
x-forefront-prvs: 018093A9B5
x-forefront-antispam-report: SFV:NSPM; SFS:(10009020)(376002)(396003)(136003)(366004)(346002)(39850400004)(51444003)(199004)(189003)(3450700001)(486006)(71200400001)(305945005)(256004)(71190400001)(5660300002)(99286004)(476003)(1076003)(6436002)(11346002)(6916009)(6506007)(6512007)(446003)(6306002)(25786009)(229853002)(102836004)(6486002)(478600001)(8936002)(8676002)(43066004)(76176011)(14454004)(52116002)(386003)(81166006)(7736002)(54906003)(786003)(316002)(66946007)(186003)(86362001)(66476007)(64756008)(46003)(6116002)(2906002)(4326008)(66446008)(45776006)(66556008)(6246003)(81156014); DIR:OUT; SFP:1101; SCL:1; SRVR:DB6P190MB0422; H:DB6P190MB0181.EURP190.PROD.OUTLOOK.COM; FPR:; SPF:None; LANG:en; PTR:InfoNoRecords; A:1; MX:1;
received-spf: None (protection.outlook.com: jacobs-university.de does not designate permitted sender hosts)
x-ms-exchange-senderadcheck: 1
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info: oJYmvRaGVxTTvWoEz6rhKqAZ8m57eeO6ue6sTLGqmHvoVxc9Mz2B9ft15cQLqpzpezA5UbbUUSUu17nCxVD7nHkITQRcAHckArsPMvJPJtmlSlxFysmvuECMeEyd8k2Gh7rVYw9fIu9p+pWYAaB1/4ebtLS0rL/lpF8BbLuOBBHWPx6lf91/GWVQc9BE1x/b09WxownuzLGf+p27GsZ7YiwKNq3YW9wQdmBDM8IcWNh08DE6aNLUnEwiiGANjtZt1GwRmLijpVabOGVvqgKeLmky6fRlzIgaICknrYvVaS83j3hIf5AgZUdKmQQz8vSU686b0CrPflDBFVlOu1PeWwcsa7m23PtqCoD35jY5Xx2iXc8DPAJlaq7DCR15khUDIJ/alwV8r5u8Wny9955oNIUGoPm61c5zA+u06Dq24458c39YVi/i1XNHIZmoooSySZq7ZfNiRTtc3Mh0mgXsdw==
Content-Type: text/plain; charset="iso-8859-1"
Content-ID: <CF39115D162F0842BA58722EBA57944F@EURP190.PROD.OUTLOOK.COM>
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-OriginatorOrg: jacobs-university.de
X-MS-Exchange-CrossTenant-Network-Message-Id: 668d13c3-767c-4909-08b2-08d748c11f85
X-MS-Exchange-CrossTenant-originalarrivaltime: 04 Oct 2019 11:50:59.3533 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: f78e973e-5c0b-4ab8-bbd7-9887c95a8ebd
X-MS-Exchange-CrossTenant-mailboxtype: HOSTED
X-MS-Exchange-CrossTenant-userprincipalname: 8guc99Wy7Y4WCGINTWe+Newp/xfQ6UQoUUH5rMDPKJXAofkiTB0dp3GjMKOu/zptqb1y7vtol2gJ3BTiZQ2lHaRNKtCZgmgiOoqabC6bACI=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB6P190MB0422
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/tos-w9RCbYFNQvCAVcfS-KzL2Bw>
Subject: Re: [netmod] References to the "tags" typedef
X-BeenThere: netmod@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: NETMOD WG list <netmod.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/netmod>, <mailto:netmod-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/netmod/>
List-Post: <mailto:netmod@ietf.org>
List-Help: <mailto:netmod-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/netmod>, <mailto:netmod-request@ietf.org?subject=subscribe>
X-List-Received-Date: Fri, 04 Oct 2019 11:51:05 -0000

On Fri, Oct 04, 2019 at 10:04:56AM +0000, Rob Wilton (rwilton) wrote:
> 
> The YANG instance data draft provides some other choices:
> (1) (External Method) Don't define the schema, just assume that clients know what it will be for YANG packages.  E.g. it would be specified in the YANG packages RFC.
> (2) (URI method) Put the schema in a separate instance data document and reference that.  This could be defined in the YANG packages RFC, but it might open the question of what URI can you use to retrieve it.
> (3) Simplified inline schema.
> 
> It is the third one that I would ideally like to use.
> 
> Here, the package data would like something like this (sorry, in JSON this time):
> 
>   "ietf-yang-instance-data:instance-data-set": {
>     "name": "example-ietf-network-device-pkg",
>     "module": [ "ietf-yang-package@2019-09-11.yang" ],
>     "description": "YANG package definition",
>     "content-data": {
>       "ietf-yang-package:yang-package": {
>         "name": "example-ietf-network-device-pkg",
>         // Actual package information goes here.
>       }
>     }
>   }
> 
> Here, the schema is defined by the "module" line "ietf-yang-package@2019-09-11.yang"yang".  I think that there are some details to work out, but I think that the import dependencies for "ietf-yang-package.yang" could be automatically resolved as import-only YANG modules.  I have also tried to minimize the required imports (e.g. don't import YANG library, perhaps don't import from module-tags).

The import vs. implement distinction is today in the schema. If people
invent other ways to express schemas, then they will likely have to
find a way to express that distinction. Right now, there is no rule
that says import only definitions must be in separate modules. (In
fact, in several cases, you will only learn over time what people
import only.)

> In terms of typedefs, are two typedefs equivalent if they have exactly the same definition in two different modules?  Or does the fact that they are named given them a slightly different meaning?

Two typedefs foo:t1 and bar:t2 may be semantically the same but they
also remain to be two different definitions. Equivalence of typedefs
may mean two different things, depending on the context (or the kind
of equivalence you care about in a certain context).

/js

-- 
Juergen Schoenwaelder           Jacobs University Bremen gGmbH
Phone: +49 421 200 3587         Campus Ring 1 | 28759 Bremen | Germany
Fax:   +49 421 200 3103         <https://www.jacobs-university.de/>