Re: [netmod] evaluation of "when" under NMDA

Balazs Lengyel <balazs.lengyel@ericsson.com> Tue, 05 December 2017 14:37 UTC

Return-Path: <balazs.lengyel@ericsson.com>
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 135821294EC for <netmod@ietfa.amsl.com>; Tue, 5 Dec 2017 06:37:48 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -3.386
X-Spam-Level:
X-Spam-Status: No, score=-3.386 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, HTML_MESSAGE=0.001, MIME_HTML_ONLY=0.723, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_PASS=-0.001, T_DKIM_INVALID=0.01, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=fail (1024-bit key) reason="fail (message has been altered)" header.d=ericsson.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 yeFhcgeo8K-z for <netmod@ietfa.amsl.com>; Tue, 5 Dec 2017 06:37:46 -0800 (PST)
Received: from sessmg23.ericsson.net (sessmg23.ericsson.net [193.180.251.45]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 0A969127076 for <netmod@ietf.org>; Tue, 5 Dec 2017 06:37:45 -0800 (PST)
X-AuditID: c1b4fb2d-d57ff700000036aa-49-5a26af38565c
Received: from ESESSHC003.ericsson.se (Unknown_Domain [153.88.183.27]) by sessmg23.ericsson.net (Symantec Mail Security) with SMTP id 5E.A6.13994.83FA62A5; Tue, 5 Dec 2017 15:37:44 +0100 (CET)
Received: from EUR03-AM5-obe.outbound.protection.outlook.com (153.88.183.145) by oa.msg.ericsson.com (153.88.183.27) with Microsoft SMTP Server (TLS) id 14.3.352.0; Tue, 5 Dec 2017 15:37:43 +0100
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ericsson.onmicrosoft.com; s=selector1-ericsson-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version; bh=p/UVbfTBPIKc9eYjLgt4WV1FjFM7ajjkUbP5H0udl0k=; b=mYI6L4ldSVQ+FFCizh789fX3XHb6j08kVgwzWDnlDmzieAqbryvGvx5IAyQYtk6EDqvzw3/Vv5h+uC+CFaZs1pbdbeRgNYyqI5L+WFAk058kfKZdhDmKLi969mTL/6HLujjMatUGYFCE0yHYxhgHVBAN+39ecIqT7yWH5f9q9JU=
Received: from [159.107.197.124] (91.82.100.59) by AM4PR07MB3428.eurprd07.prod.outlook.com (2603:10a6:205:b::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P256) id 15.20.302.2; Tue, 5 Dec 2017 14:37:42 +0000
To: Robert Wilton <rwilton@cisco.com>, Andy Bierman <andy@yumaworks.com>, Ladislav Lhotka <lhotka@nic.cz>
CC: NETMOD WG <netmod@ietf.org>
References: <1512404811.1422.63.camel@nic.cz> <20171204.173431.1294203680272812703.mbj@tail-f.com> <1512407158.6635.8.camel@nic.cz> <CABCOCHRg7H=DbS1oxOhdq=dkQgAcL_r1ECSFgcU=DkE-vXwcOg@mail.gmail.com> <409e9bb5-fcbe-d94f-a7cb-cb7961d9fdb2@cisco.com>
From: Balazs Lengyel <balazs.lengyel@ericsson.com>
Message-ID: <aa579364-ac89-36f4-8947-4a5eb1c6ba48@ericsson.com>
Date: Tue, 05 Dec 2017 15:37:35 +0100
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.5.0
MIME-Version: 1.0
In-Reply-To: <409e9bb5-fcbe-d94f-a7cb-cb7961d9fdb2@cisco.com>
Content-Type: text/html; charset="utf-8"
Content-Language: en-US
Content-Transfer-Encoding: 8bit
X-Originating-IP: [91.82.100.59]
X-ClientProxiedBy: HE1P191CA0009.EURP191.PROD.OUTLOOK.COM (2603:10a6:3:cf::19) To AM4PR07MB3428.eurprd07.prod.outlook.com (2603:10a6:205:b::13)
X-MS-Office365-Filtering-Correlation-Id: ee72b4e7-76e5-4867-e63b-08d53bedbe47
X-Microsoft-Antispam: UriScan:; BCL:0; PCL:0; RULEID:(5600026)(4604075)(4534020)(4602075)(4627115)(201703031133081)(201702281549075)(2017052603286); SRVR:AM4PR07MB3428;
X-Microsoft-Exchange-Diagnostics: 1; AM4PR07MB3428; 3:uwOxmM5BsuTkJvlsQBZCGpv+/euRMavnAC+bxqm3MPweMGz2vNsSdOgzpPTn80lBd74PhH2szrt6KWhnUR19nlv1VRQXVqu12Mx5/a8ekA4Z9BYk6Z0PD0dyqeW62rq4qv4K9tfpWzNZ1WIAzVYtO0STAZWThO+KkazRNS7BvkN85HJc+15g0zkIHs71dT1GN5rOp+baV/CglbKw8X17m+ABsL5IwW8OaZUaYdEto5ZQWUd4RxLUicJ3i7EXjIya; 25:ERYroukop4MADriU+jN7SvADCasE9T/6Kppuu7uXj7OrG6omqBLIIjvxLoCUEv55WeOf6SsmPXKJW8XN71O+S5nmOuuMFjikfzOznjgc/EZMEk7sbFbT61V3PBIY6zZUZxfn6x5+L7LinG6YfBywWD0cg0bP3AMCdTX4RgHkKJLwpn+UcDX2xLKJ0ejH+98YEZe5bLEt1Rx1X+NDBOlxcRcZO8jpcdrC3D+wB/3s62z6b74xxII6qhUroM7IZ/HFrBPYiMm7+hiefG14LAIr5iyF90Ml0tI+IiINvTL3alXqQaD3c7BUyQyY1hpu7RJe2UCgm7HD5gKEasqdzKIUpQ==; 31:D/SkCEVZ0jj06rG7RMR+OeJi+BL3MeLO5/WCAo5oYV2SFnqmBtyd6JeM3tQVwuzQOHqeeseW6t4Ujb8bDF6jZrom8NZVpgHOJ80/mkq/fwV1T7wlh18d+WpnYE857bnFHgZmbfsHCowQTUCjZflB4HXQU+dzcr/A9CBkUskoK3tIA9tleCxdPh1mYSG4dgvvK6s1NwbCXGPE52nsqRcMsCZ9pBA6wDgvQ0NBInLEttY=
X-MS-PublicTrafficType: Email
X-MS-TrafficTypeDiagnostic: AM4PR07MB3428:
Authentication-Results: spf=none (sender IP is ) smtp.mailfrom=balazs.lengyel@ericsson.com;
X-Microsoft-Exchange-Diagnostics: 1; AM4PR07MB3428; 20:nJkbiOymBxA7OUvyN/3w6CxC8IqHnV+9UFTM/Lm/KBFfxRQJsnQMHwxkgatFcaygMQnCZkmvHwvGySQwqnN8NRlUMKNxrhgc74uhRfa8d+GgI6913mq+CLJSEc4nMlFfOUOWycKQBFMlDjG0tF6QBQ7PQEq4FI1J/fArd90OWhm+uQ37vgsjfGKBBOkA3fBXbVQEBspX+pOGuvg6ClRbLTid2LaJxSn8Gm31DKfWdA/zbpKPPmtG2OToZsZy6V9dvBK9LJfUb8FOm7ocMZNXc9Ex1ZJBGFHhZOFl12gtIfZqNTYpAfrQfBm3BOnPoJs1ysPRECJZjkZ64b/wPw29Dh2NtlD7zeayd6/Ej8snUkaJbgKvgyXWDhHufqJhyB1wxNmG+Aa9g9gBgOkqx+t+Cb2UVpAu5/FiVFRkbF34XzFVqH2Zn11uRdqpRNJfI3gt00LJM37f9oU8bqHzlE4vv1Pgoqf4oeki70yzvdVmz+iZwB0iaVWju1TuTVsp2eyG; 4:yrmre8RmK+ZD3ywVTXjHQegVIpGMav4Hb538lt8+ypDL/NvyYkeRcM+Ji3ix/auvH/oOvoyqgXbDMxx9ZbAn/+uYMJaOHcjbD1Umy7bOtgkgTmQHk6+EuLitLNwprWFPWmK9gc4kR65RK8dRqtmkPOCWvANC1EZMGQBm+ayU6T4pT0VTfsgV42GlHzJDjXcjM2innmlU197tuszqgRgqiDAnHVLT+Qvz0b3QGcpXtFHUoWt86RCCXDt2IL5tW0BS5E1Fzm0Cdhwc9lFUGSG8O0g0uZaULESTLhhImHgZ4ehYmE7wNo2AyeNZxAh8kWUF/yMW9Bfa5UCR7iDZIZMgpd42Jsbs9LHqIatBORCARtI7HA5KruqARs1jXXOahI30
X-Microsoft-Antispam-PRVS: <AM4PR07MB342849760C6D987FCD55FF6FF03D0@AM4PR07MB3428.eurprd07.prod.outlook.com>
X-Exchange-Antispam-Report-Test: UriScan:(37575265505322)(158342451672863)(95692535739014);
X-Exchange-Antispam-Report-CFA-Test: BCL:0; PCL:0; RULEID:(6040450)(2401047)(8121501046)(5005006)(3002001)(10201501046)(3231022)(93006095)(93001095)(6041248)(201703131423075)(201702281528075)(201703061421075)(201703061406153)(20161123555025)(20161123558100)(20161123560025)(20161123562025)(20161123564025)(6072148)(201708071742011); SRVR:AM4PR07MB3428; BCL:0; PCL:0; RULEID:(100000803101)(100110400095); SRVR:AM4PR07MB3428;
X-Forefront-PRVS: 0512CC5201
X-Forefront-Antispam-Report: SFV:NSPM; SFS:(10009020)(6049001)(366004)(376002)(346002)(39860400002)(189002)(252514010)(24454002)(51444003)(377424004)(199003)(110136005)(93886005)(7736002)(53546010)(58126008)(316002)(16576012)(68736007)(2950100002)(6666003)(5660300001)(65826007)(86362001)(81156014)(81166006)(36756003)(31696002)(25786009)(8676002)(65956001)(66066001)(65806001)(16526018)(478600001)(97736004)(49976008)(64126003)(229853002)(4326008)(54896002)(236005)(105586002)(2870700001)(23846002)(83506002)(189998001)(31686004)(52116002)(101416001)(3846002)(6116002)(6486002)(33646002)(76176011)(54356011)(23676004)(2486003)(106356001)(6246003)(8936002)(53936002)(52146003)(50466002)(2906002)(78286006); DIR:OUT; SFP:1101; SCL:1; SRVR:AM4PR07MB3428; H:[159.107.197.124]; FPR:; SPF:None; PTR:InfoNoRecords; MX:1; A:1; LANG:en;
Received-SPF: None (protection.outlook.com: ericsson.com does not designate permitted sender hosts)
X-Microsoft-Exchange-Diagnostics: 1;AM4PR07MB3428;23:WxEBwnbhsyNNHzKCUC1jvwXAWRGZPKVQAHdCp81JrMFSsn+WsuSiv0VFur0j/ZhsdG/lVBGZVKFwH1J/xLy3eH9wRaXPM8yx2cKwCHRkXVu9P2zbRphGW4z+QnCLunPujERz2MiahxEwO13H6x2rWSatzK7U10hmo7AKJU3nl9bWrt9J1Ds7vakvFmFSF4TYxRGS7nODH32lxjQoOTEtkSbmAQbTcqW6Ha4nnEaTdBBORl2qt4Turt/I753xdPne40lN+wigBxAVPUgJWKcD1po8YslVmUh+4+L1pRDDf/7HvLirksNGkSoTrt6Fvb9OJ4G2gbhEyaWnlgMVIUMyCYygTKX+ie99hdzPSQ6K0RbqQgtXZRClx+Swv0VBG/3DDbYkmHSm8BxojYW9rn2sB8rdsPsYhi0u4DkTogvRp6SFvtPW+zHK2rnAL8NS3CLLmj1N04bFdWMDPxMJK0lW0NlZfOGoPxmn2s6lpOcYmJAd107ZMxLh4Ze4Bw+GxhoJrw6f7Oqt23f5k+0KtdbfhXWAglOTAWNId4mo+Ul+dAh3MYkjSGl0TSuNqMu5BkA4yvJzV9EjN7MCmcYdFSTf6k1sTOob8AkBTa+XZyHubCcmNhHXsVD8ASI0/JZ3PQ7GylaOcqFar9aqkEM1xPnT7jTsffNBQzMzIz6TrZgQqdKGAiIVvixs46meEocI/jggMozJD2BXn87/5MU2U7+MmXDSpJHWoJDKPwqYqeq4WvXLRJIPA8vm4dGVLLsmTlju+DPlU+oHqTwx3949k3yzmclu32kxXh+4B/Ie8T9aUFe7490ZnMyUKr1IcVWxDCpqcPbk3m98snnWKEVJTXd9HuzN8rAtX8zGMjMMewedInQYpy516iLJ8/c54nN+6pw+533GnD4SR2vykj49WeLkDdCkqNdazZo8VKuA1ty8R84wz2Eq699DpFF9xTMGCts3gZ1FHjOAj5CvHoCQEQnE03wnsmJujRe8LU9gTR2NOXh54/JxGnTrQ/l/oQeqYtgnVBa4c2xheqr9WzUU4fOqP8GbvD04uR+4Ik2BCnUCjAcTQwS2XLC1TONpD332UeRMXO20WCu+F1aX3gX/o9zKsvIu+pj5p6PXvDtz7L1OBgjSVkwOQ76fb9KckGHKl/ct7mZDckQLrfhWanVO6G1CX7fISf1t9teOzuXhmv5KCNQVKOWpzG7qb+8xW3XyfcJt8uXtrhnDzwLJT5UBjAb6vVLFB+Jpq8I4sOChF97fgbXchiSLc+b+CGOaw8sNeJfNdfn/DLHnfnji+kXwbXcZnquHxWKZYcxnc3XlPvI4rjyh6s7zBcN5HL73SLkb8Q8urZjABK9q/ZMHotpmTGGcQuZu7D2cCn9NFyM0Y+ifZnjdIkML7XtHYFFohOxPiYmYDaPNgf9Qcoc5Y3CxfcQI6+kBli5SgF00bwphSsUH3hWfaVGsU83NTJir/WWW0xCLMRSR3NWxkwmuSN3xr+i/fnzwaURFySOFUGO/0PR59Nw=
X-Microsoft-Exchange-Diagnostics: 1; AM4PR07MB3428; 6:Fgn0bnMJ4f/w852+5CmshjmX1aKaGGf58TKnDj61igN5ZFXBTxncyRPiBEg81H1F457XYesYSWRwzPn6Ij770XijSliQNlwTnMaMXqNyI8VK8jN5nfJ8NDxIo9CA/IWw9TronS6R1YxXEuUyoizzOagkBytLEce39SucUaJ6WQM5GDwO9x8ysFDdgaiVw5IvqMnp9+Tgwb7Weq77Dm/syUs0XLIWCAIwgt1TcIrsI3kDySzgvwhDu64ObjsPoPWURuQ13+9DryaOugxzwTQ8GL4gmviOZG/IACUTk80UytQc16KCtrFXvmkiFNExhyvb4OBC6uXB62sFikSEk+DSFHHoMGMmOHij1/OulrEOkII=; 5:ZplaiJglu9HGyA8npEvD9NeZmOlaXpEGAHwc0bXLUbBfGrQUXodsj1xmBxGOE69MOZZFxKKd8tadUnzlifwijA0SDqv88QraXcIFUN506dSxMxsKUAEix9DDAVCHanCJhSj+fyKjF0Ccf4FFlagerSb8qlM7zUrMM2PCYLl8RPI=; 24:+CCLsdmQ+4P8Fjotd/uJVTr+uMWeAMr3YH73QfF5fVxTXmVQedAhiOZoalKIgnj7dCiH8oy3LnoJ9KnehsNFD6GkHrAhgMHNp3tog8tOkg4=; 7:NZsiaGkLK5qMNWlvQE0+HyhOJBGsxtqMaSimSo3Dv/0bQ7Q8ZHCoSP3RdCXIlsJ3IjrTUtoIwAu64nnlsSDqN1SRhmuCHUElyFNwkVNuCU/gRLxWB5TkK0ax13JoE9pfIkqDJ1XFzhWz3oM9eCs9OzipPy73HzCK1JpxTBEDFxQsqHK5bMzZWJXQ0mJV74SqVtxzLsAqH3EaxOrTlrniG1L6JzG8JMGQZwYKUZNlxdq6WJMr06ABmpwB+gBxwsJg
SpamDiagnosticOutput: 1:99
SpamDiagnosticMetadata: NSPM
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 05 Dec 2017 14:37:42.0026 (UTC)
X-MS-Exchange-CrossTenant-Network-Message-Id: ee72b4e7-76e5-4867-e63b-08d53bedbe47
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 92e84ceb-fbfd-47ab-be52-080c6b87953f
X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM4PR07MB3428
X-OriginatorOrg: ericsson.com
X-Brightmail-Tracker: H4sIAAAAAAAAA+NgFprBKsWRmVeSWpSXmKPExsUyM2K7tK7FerUog/8PxCweHJnFbnFh1Vw2 i/kXG1ktTpzrY3Zg8ZjyeyOrx5IlP5k8Nl2+w+jR0n+RJYAlissmJTUnsyy1SN8ugStj0TKr go+CFTu+r2VuYJzO28XIySEhYCJxYu41JhBbSOAwo8TnrX5djFxA9nFGid6DZ5hBHBaBXmaJ 2ZvmMkJk2pgkrv9by97FyMEhLGAq0fmmDKRbRCBbYmbfZFYQm1lAXqJ75guo+kYmiVfnn4Al 2ASMJKb2n2cBsXkF7CX2zukHi7MIqEh0XlrMDmKLCsRIHO6ZzgpRIyhxcuYTsHpOAVuJXZcb mSAWaEi0zpnLDmGLS9x6Mp8JZnHz1tnMEK8pSFzffJ0F5AgJgYmMEkeftkH9qSHx8MJfVogi X4mlp5qgGpYwSrRdj4RoaGCXWHGqGapIVuLo2TksELaWRMf0DYwgNqNAnMTONQtZIRp2sEv8 v/yQBRQsEsCwOPdAEaI+WuLQsV9sEDULmCW+PTkHNVRG4vzVRSwTGHVmIfl0FpLvZiH5bhaS 7xYwsqxiFC1OLS7OTTcy1kstykwuLs7P08tLLdnECEwvB7f81t3BuPq14yFGAQ5GJR5etklq UUKsiWXFlbmHGCU4mJVEeJn7gUK8KYmVValF+fFFpTmpxYcYpTlYlMR5T3ryRgkJpCeWpGan phakFsFkmTg4pRoYfddMuDTBQfNRqYvk2/Mcf4Qv3L7xgZ+zrLVoaubM65x7HWQ7r6aFmqfW yXFXHF0/ea+aaE3WbYn2wuOTWm9u9/3hwhhv+KTVMI3r0wOtrx7/ZZW+7i5m0ptg9rPgWnJZ CIsJ80/BO5ECPwvLo3zsD1hcj0g+aizFpSCuVDfhxba1E66dT+xWYinOSDTUYi4qTgQAlqk0 bCsDAAA=
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/xiL93soYqM_EI7WLVnn2XNtXkXs>
Subject: Re: [netmod] evaluation of "when" under NMDA
X-BeenThere: netmod@ietf.org
X-Mailman-Version: 2.1.22
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: Tue, 05 Dec 2017 14:37:48 -0000



On 2017-12-05 11:04, Robert Wilton wrote:
I see your point now.
The server has to evaluate the when-stmts in operational.

I think that this is probably down to implementation, but I don't think that this is necessarily required.  A server is meant to conform to 'when' statements in <operational> (e.g. if the system is in a normal steady state), but they are allowed to be violated, and I'm not expecting that a server would evaluate them (except perhaps to discover implementation bugs).  Further, if violations of when statements in <operational> are detected then I don't think that there is anything that the server can reasonable do.
 
BALAZS: I always thought that if a when statement's argument was true but becomes false, all instance data that is set/written according to the schema nodes affected by the when statement shall be removed by the server.  So IMHO the server can and should do something about a violated when statement.

Actually I would like a list of statements and constraints that MUST be satisfied in the different data stores. Speaking about syntactic versus semantic seems fluffy.
-- 
Balazs Lengyel                       Ericsson Hungary Ltd.
Senior Specialist
Mobile: +36-70-330-7909              email: Balazs.Lengyel@ericsson.com