Re: [netmod] Mail regarding draft-mansfield-netmod-uml-to-yang

Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de> Thu, 30 July 2015 15:54 UTC

Return-Path: <j.schoenwaelder@jacobs-university.de>
X-Original-To: netmod@ietfa.amsl.com
Delivered-To: netmod@ietfa.amsl.com
Received: from localhost (ietfa.amsl.com [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id B82041B2DD4 for <netmod@ietfa.amsl.com>; Thu, 30 Jul 2015 08:54:50 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -3.86
X-Spam-Level:
X-Spam-Status: No, score=-3.86 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, HELO_EQ_DE=0.35, RCVD_IN_DNSWL_MED=-2.3, T_RP_MATCHES_RCVD=-0.01] autolearn=ham
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 ANfQaympOLiS for <netmod@ietfa.amsl.com>; Thu, 30 Jul 2015 08:54:48 -0700 (PDT)
Received: from atlas3.jacobs-university.de (atlas3.jacobs-university.de [212.201.44.18]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id E3E051A8824 for <netmod@ietf.org>; Thu, 30 Jul 2015 08:54:47 -0700 (PDT)
Received: from localhost (demetrius5.irc-it.jacobs-university.de [10.70.0.222]) by atlas3.jacobs-university.de (Postfix) with ESMTP id 05E051864 for <netmod@ietf.org>; Thu, 30 Jul 2015 17:54:43 +0200 (CEST)
X-Virus-Scanned: amavisd-new at jacobs-university.de
Received: from atlas3.jacobs-university.de ([10.70.0.220]) by localhost (demetrius5.jacobs-university.de [10.70.0.222]) (amavisd-new, port 10030) with ESMTP id 9BLu3xgU9h6N for <netmod@ietf.org>; Thu, 30 Jul 2015 17:54:40 +0200 (CEST)
Received: from hermes.jacobs-university.de (hermes.jacobs-university.de [212.201.44.23]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "hermes.jacobs-university.de", Issuer "Jacobs University CA - G01" (verified OK)) by atlas3.jacobs-university.de (Postfix) with ESMTPS for <netmod@ietf.org>; Thu, 30 Jul 2015 17:54:40 +0200 (CEST)
Received: from localhost (demetrius3.jacobs-university.de [212.201.44.48]) by hermes.jacobs-university.de (Postfix) with ESMTP id BAE612004A for <netmod@ietf.org>; Thu, 30 Jul 2015 17:54:43 +0200 (CEST)
X-Virus-Scanned: amavisd-new at jacobs-university.de
Received: from hermes.jacobs-university.de ([212.201.44.23]) by localhost (demetrius3.jacobs-university.de [212.201.44.32]) (amavisd-new, port 10024) with ESMTP id bjYb-lE7lqUD; Thu, 30 Jul 2015 17:54:41 +0200 (CEST)
Received: from elstar.local (elstar.jacobs.jacobs-university.de [10.50.231.133]) by hermes.jacobs-university.de (Postfix) with ESMTP id D019D20047; Thu, 30 Jul 2015 17:54:40 +0200 (CEST)
Received: by elstar.local (Postfix, from userid 501) id 70AFB35F649D; Thu, 30 Jul 2015 17:54:36 +0200 (CEST)
Date: Thu, 30 Jul 2015 17:54:36 +0200
From: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
To: "netmod@ietf.org" <netmod@ietf.org>
Message-ID: <20150730155434.GA17437@elstar.local>
Mail-Followup-To: "netmod@ietf.org" <netmod@ietf.org>
References: <D1DE7AF7.666F0%ari.sodhi@calix.com> <EBDD2E088274B14BA201104F444C8E4E9CC1830A26@HE111649.emea1.cds.t-internal.com> <8DBC3FDAC14BE441AED9C5939C7775858F25EE4D@US70TWXCHMBA12.zam.alcatel-lucent.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
Content-Disposition: inline
X-Clacks-Overhead: GNU Terry Pratchett
Content-Transfer-Encoding: quoted-printable
In-Reply-To: <8DBC3FDAC14BE441AED9C5939C7775858F25EE4D@US70TWXCHMBA12.zam.alcatel-lucent.com>
User-Agent: Mutt/1.4.2.3i
Archived-At: <http://mailarchive.ietf.org/arch/msg/netmod/rvFDowshzZEZiAXjK6KDlYRX8-c>
Subject: Re: [netmod] Mail regarding draft-mansfield-netmod-uml-to-yang
X-BeenThere: netmod@ietf.org
X-Mailman-Version: 2.1.15
Precedence: list
Reply-To: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
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: Thu, 30 Jul 2015 15:54:50 -0000

Hi all,

is it possible to use/configure an email quoting style that works with
text-only email readers? I know, it is old fashioned, but I do read
all my email in a terminal window...

Thanks,

/js

On Thu, Jul 30, 2015 at 03:26:53PM +0000, Lam, Hing-Kam (Kam) wrote:
> Hi,
> 
> Additional responses inline below.
> 
> Regards,
> Kam
> 
> From: netmod [mailto:netmod-bounces@ietf.org] On Behalf Of B.Zeuner@telekom.de
> Sent: Thursday, July 30, 2015 10:44 AM
> To: netmod@ietf.org
> Subject: Re: [netmod] Mail regarding draft-mansfield-netmod-uml-to-yang
> 
> Hallo,
> 
> Thanks for sharing your questions and comments; some initial responses are provided below in line.
> Note that we have made some further progress that we plan to reflect in an update of this draft which of course will take into account the netmod discussions and input including  this e-mail thread.
> 
> Regards
> Bernd
> Deutsche Telekom AG
> Europe & Technology
> Standardization Services
> Bernd Zeuner
> Heinrich-Hertz-Str. 3-7, 64295 Darmstadt, Germany
> +49 6151 58-12086 (phone)
> E-Mail: b.zeuner@telekom.de<mailto:b.zeuner@telekom.de>
> www.telekom.com<http://www.telekom.com>
> Life is for sharing.
> Deutsche Telekom AG
> Supervisory Board: Prof. Dr. Ulrich Lehner (Chairman)
> Board of Management: Timotheus Höttges (Chairman),
> Reinhard Clemens, Niek Jan van Damme,
> Thomas Dannenfeldt, Dr. Thomas Kremer, Claudia Nemat
> Commercial register: Amtsgericht Bonn HRB 6794
> Registered office: Bonn, Germany
> VAT identification no. DE 123475223
> Big changes start small - conserve resources by not printing every e-mail.
> From: netmod [mailto:netmod-bounces@ietf.org] On Behalf Of Ari Sodhi
> Sent: Wednesday, July 29, 2015 6:44 PM
> To: netmod@ietf.org<mailto:netmod@ietf.org>
> Subject: [netmod] Mail regarding draft-mansfield-netmod-uml-to-yang
> 
> There are some interesting ideas proposed. Here are some initial questions and somewhat random comments based on a quick read of draft-mansfield-netmod-uml-to-yang-00.
> 
> General questions on draft-mansfield-netmod-uml-to-yang:
> 
>   1.  Is the proposed mapping supposed to be bi-directional in nature? In other words, is the intent to support a mapping between UML and YANG that enables IM UML -> DM YANG -> IM UML in a round trip manner.  [Bernd] The intent was UML -> YANG; but YANG -> UML is also possible. <Kam> The rationale of UML --> YANG being the intent is that we start with protocol-neutral modeling using UML first. The I-D draft-betts-netmod-framework-data-schema-uml contains more details of this approach. Now given so many YANG drafts have been created, in some cases it might be helpful to revert (YANG --> UML) engineer the YANG drafts to UML so that comparison/analysis can be made.  </Kam> The text in this section uses the term predictable. Should it not be deterministic?[Bernd] Yes, agreed.
>   2.  Does there need to be a set of UML usages defined - similar to what ONF did? <Kam> The referenced ONF TR-514 UML guidelines, which is publicly available, described the usages. </Kam> Some of the UML concepts such as aggregation usually need definition as even the OMG UML 2.5 spec says aggregation is open to some interpretation. This is touched on in section 5.5 of draft-mansfield-netmod-uml-to-yang but it seems ambiguous as both composition and aggregation map to container. The examples are not so clear - the first seems more like composition to me as there is a lifecycle implication between instances of ClassA and ClassB. The second example - the list could also be a set of leafref to the ClassD key.
> [Bernd] You are right. Some statements (to be verified):
> 
> ·         UML composition association is mapped to container/list within a container/list; the reference is "passed by value"
> 
> ·         UML aggregation association is mapped to a leafref within a container/list; the reference is "passed by reference".
> 
>   1.  Did the authors consider the use of UML stereotypes/annotations to help support the mapping between UML and YANG? This may help remove potential ambiguity in the mapping. [Bernd] We did not add YANG specific UML stereotypes because the intent was that the UML be agnostic to any data schema (DM). <Kam> Hi Ari, I am not sure I understand your question correctly? Do you mean applying the lifecycle stereotypes  to qualify the status of the mapping rules? I.e., some of the mapping rules may be preliminary at the moment, etc.?. </Kam>
> 
> comments on draft-mansfield-netmod-uml-to-yang:
> 
>   1.  Section 3 - What about UML packages and module/submodule relationship. Modules can be a root package with submodules being sub-packages.Need to enforce the semantics of include/import per RFC 6020. Any value in considering relating YANG features to packages - ie. Represent yang Feature statements
> [Bernd] The mapping of UML packages to YANG modules/submodules is an identified open issue which is under discussion. You raise some good points to consider.
> 
>   1.  Section 5.2 - UML abstract is stated to map to a container. Containers either represent containment for organization reasons or with presence the container itself is configuration data. I do not get the mapping of abstract to this. Can you explain?
> [Bernd] The current thinking is to map abstract superclasses to "grouping" statements. This allows also to map multiple inheritance. Note: This is also the mapping that we have used for the Link object class in draft-lam-teas-usage-info-model-net-topology-01.
> 
>   1.  Section 5.2 - both support and condition map to "if-feature" statement in yang. This seems ambiguous. How does one distinguish in YANG which is which?
> [Bernd] Support and condition belong together. If the "support" is conditional, then the "condition" explains the conditions under which the class has to be supported.
> 
>   1.  Section 5.2 - "must" statement - could this not map to OCL?
> [Bernd] Good idea; we are still discussing this point as a general place for mapping UML constraints. YANG seems to have here constraints between attribute values in mind.
> 
>   1.  Section 5.2 - wrt objectCreationNotfication/objectDeletionNotification - in UML how are these represented -seems to rely on ONF OpenModelCass if I understand the source correctly? [Bernd] Yes, you are right. This is an additional class property defined in the OpenModel profile. It defines that a notification has to be sent when an instance of this class is instantiated or deleted. It seems like there are some assumptions wrt to the Object Class. In YANG can these map to notification statements. [Bernd] Meanwhile we have mapped this to the "notification" statement which goes beyond the simple "a notification has to be sent". Is there some notification hierarchy in YANG/UML where these notifications (objectCreationNotificaiton/objectDeletionNotification) exist? [Bernd] Not now; but will be in the future. More current drafts of RFC 6020 (I.e. draft-ietf-netmod-rfc6020bis-06) propose notifications to be top level of a module or associated with data nodes (container or list data nodes).   This notion could be leveraged as the source of the notification in YANG - xpath to its source in containment model.
>   2.  Section 5.4.4 - a complex data type does not always map to grouping IMO except if the grouping has a singular top level container. A grouping is a reusable construct that gets "flattened out" in the context they are used within. Groupings can also be refined/augmented to tailor their usage contextually.
> [Bernd] We define complex data types in a separate UML package (TypeDefinitions). They can always be reused as the type of class attributes or operation parameters.
> 
>   1.   Section 5.5 -The mapping is ambiguous as stated above.  composition is a stronger type of association then aggregation and infers ownership of lifecycle of the contained items. That is when the composing instance is destroyed, the contained items are also destroyed. Its a is a part of relationship. Aggregation can be used to mean a point of control for manipulating the contained.  It does not infer lifecycle control.
> [Bernd] That's completely true. See our answer to General::2.
> 
>   1.  Section 5.5 - Its not clear how cleanly augment maps to inheritance. Augment can apply to many things in YANG - container, list, leaf-list, uses, choice .... I can kind of see augment of a container mapping to inheritance. Augments can also specify conditions as to when they apply - i.e. If if type == ethernetCsmacd
> [Bernd] True. In recent discussions we concluded that augment is more appropriate for mapping to conditional composition then inheritance. We see the "grouping" statement as the main mapping for inheritance. The "extension" statement is no longer used here.
> 
>   1.  Section 5.6 - I don't see how UML interface maps to a container. A UML interface represents a contract. A container either represents containment for organization reasons or with presence the container itself is configuration data. This may need more discussion - or at least more explanation.
> [Bernd] We use the UML Interface artifact as a grouping of operations. A container can be used to group actions.
> [cid:image001.png@01D0CA3E.1F2ED390]
> 
> 
>   1.  Section 5.11 - what does package map to? Is it module/submodule? [Bernd] Regarding the mapping of packages see our answer to Comments::1 above. Could a conditional package not also map to module/submodule with if-feature as a top-level entity?[Bernd] That's possible but we see the conditional Pacs closer to the object class. They provide the attributes for an object class on a conditional basis. This pattern is used e.g., to enhance a technology agnostic object class with technology specific attributes.
> 
> 
> 
> Ari Mark Sodhi
> System Engineer and Architect II
> T 707.766.3413
> M 707.775.1379
> E asodhi@calix.com<mailto:asodhi@calix.com>
> 
> Calix
> 1035 N. McDowell Boulevard
> Petaluma, CA 94954
> T 707.766.3000
> F 707.283.3100
> 
> 
> 



> _______________________________________________
> netmod mailing list
> netmod@ietf.org
> https://www.ietf.org/mailman/listinfo/netmod


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