Re: Updating RFC2119

Abdussalam Baryun <abdussalambaryun@gmail.com> Mon, 23 July 2012 12:14 UTC

Return-Path: <abdussalambaryun@gmail.com>
X-Original-To: ietf@ietfa.amsl.com
Delivered-To: ietf@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 61BD921F8683 for <ietf@ietfa.amsl.com>; Mon, 23 Jul 2012 05:14:15 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -3.454
X-Spam-Level:
X-Spam-Status: No, score=-3.454 tagged_above=-999 required=5 tests=[AWL=0.145, BAYES_00=-2.599, RCVD_IN_DNSWL_LOW=-1]
Received: from mail.ietf.org ([12.22.58.30]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 7R-Hrhjq4O00 for <ietf@ietfa.amsl.com>; Mon, 23 Jul 2012 05:14:14 -0700 (PDT)
Received: from mail-vc0-f172.google.com (mail-vc0-f172.google.com [209.85.220.172]) by ietfa.amsl.com (Postfix) with ESMTP id DAB9621F8616 for <ietf@ietf.org>; Mon, 23 Jul 2012 05:14:13 -0700 (PDT)
Received: by vcbfo14 with SMTP id fo14so5008618vcb.31 for <ietf@ietf.org>; Mon, 23 Jul 2012 05:14:13 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; bh=XqD8LRG5GHvd2FNZ+9jHZyE+6S8AnFZL1RzlEt2OyNg=; b=RUx26pDc4YoQzEOEsUPc0tqs4saK79CNFgDQrM8sx8oPWxWgO7BeYrB/NpleSLUo1n Lwh+pqBAq+hK0TsQBhkZJwv2EH6NyYThXFa/s8jgLJqq251zgyxj5Wx8mFWXrSg7nOTc IXAwkP3VZjXCeiu4qD0Ippzt25PCoO3dqZWvUfxoQF2wgJyK5Eza0iUDlnkgIyXYdriR BcqIvMiO+bY2MUzi0FSF2b9oFcpBs3Kw9C8w7w5t7Ck1n2X/cGDvTVMTWcL5J1r3kFcO UglJz/urHrdZlP91e2GVIDnLe55whfHpO44grXMn3GbLReigDnGokf/NRwKhUeqD9qWC k16A==
MIME-Version: 1.0
Received: by 10.220.149.131 with SMTP id t3mr12135870vcv.1.1343045653318; Mon, 23 Jul 2012 05:14:13 -0700 (PDT)
Received: by 10.220.141.200 with HTTP; Mon, 23 Jul 2012 05:14:13 -0700 (PDT)
In-Reply-To: <500D3500.4080003@cs.tcd.ie>
References: <CADnDZ89tHLL5OsLwcT4P76w=W-jShM55HfVm+FSW2ubBerWiCQ@mail.gmail.com> <CAPv4CP95Rhma3reOvrWfrWQE_mqsyY8bL2EvkZq5hD6gbyf_ow@mail.gmail.com> <CADnDZ89uM25K=8M5KmkFva0V4SHQGUQ2e7nksiv26Pt=WpSrWA@mail.gmail.com> <500D3500.4080003@cs.tcd.ie>
Date: Mon, 23 Jul 2012 14:14:13 +0200
Message-ID: <CADnDZ89XLoQ6spu7aVyWj8SHE4POEcFVjykAimBnQMUHbwVoyg@mail.gmail.com>
Subject: Re: Updating RFC2119
From: Abdussalam Baryun <abdussalambaryun@gmail.com>
To: Stephen Farrell <stephen.farrell@cs.tcd.ie>
Content-Type: text/plain; charset="windows-1252"
Content-Transfer-Encoding: quoted-printable
Cc: ietf <ietf@ietf.org>
X-BeenThere: ietf@ietf.org
X-Mailman-Version: 2.1.12
Precedence: list
List-Id: IETF-Discussion <ietf.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/ietf>, <mailto:ietf-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www.ietf.org/mail-archive/web/ietf>
List-Post: <mailto:ietf@ietf.org>
List-Help: <mailto:ietf-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/ietf>, <mailto:ietf-request@ietf.org?subject=subscribe>
X-List-Received-Date: Mon, 23 Jul 2012 12:14:15 -0000

comments in line
>
> I'd encourage you to not try change 2119.

thanks for your comment
>
> Instead, add whatever new definitions you feel
> you need to your own draft that addresses some
> technical, and not process, topic.
>
I agree that I will need to add to the technical draft for now.

> If people find your new definitions useful they'll
> say and if enough of that happens they'll be
> included in a 2119bis whenever that's done.
>

this is the reason for this thread to see the feedback of the
community including me (at this time and the comings) and IMO the
submission of the I-D to update RFC2119 that includes new definition
may help the discussion, in the end the community will decide

AB
===
>
> On 07/23/2012 12:08 PM, Abdussalam Baryun wrote:
>> Hi Stewart,
>>
>> Usually the (IF x, THEN y) means if x happens then y is a MUST, so I
>> don't see the important reflection of a MUST in many documentation
>> when using *if*. That is why I prefer to find requirements more easily
>> while skimming any IETF document, the MUST, SHOULD, and IF, these are
>> important requirement words in specifications. Please see below as
>> examples per your requested.
>>
>> ------------------------------------------------------------------------------------------------------
>> RFC4861>page36> IMO suggest to use IF, THEN
>>
>> If no entry exists, the sender creates one, sets its state
>> to INCOMPLETE, initiates Address Resolution, and then queues the data
>> packet pending completion of address resolution.
>> ------------------------------------------------------------------------------------------------------
>> RFC4861>page 49> IMO suggest to use IF and ELSE IF
>>
>> If the router already has a Neighbor Cache entry for the
>> solicitation’s sender, the solicitation contains a Source Link-Layer
>> Address option, and the received link-layer address differs from that
>> already in the cache, then the link-layer address SHOULD be updated
>> in the appropriate Neighbor Cache entry, and its reachability state
>> MUST also be set to STALE. If there is no existing Neighbor Cache
>> entry for the solicitation’s sender, the router creates one, installs
>> the link- layer address and sets its reachability state to STALE as
>> specified in Section 7.3.3. If there is no existing Neighbor Cache
>> entry and no Source Link-Layer Address option was present in the
>> solicitation, the router may respond with either a multicast or a
>> unicast router advertisement. Whether or not a Source Link-Layer
>> Address option is provided, if a Neighbor Cache entry for the
>> solicitation’s sender exists (or is created) the entry’s IsRouter
>> flag MUST be set to FALSE.
>> ----------------------------------------------------------------------------------
>> RFC5715>page 19>
>>
>> If R changes before T, then a loop will form
>> around R, T, and S.
>> -----------------------------------------------------------------------------------
>> RFC6052> page 10> suggest delete *will* and to add as IF, THEN
>>
>> If a packet bound to
>> 192.0.2.33 reaches the translator, the destination address will be
>> translated to 2001:db8:122:344:c0:2:2100::, and the packet will be
>> routed towards R and then to A.
>> -----------------------------------------------------------------------------------
>>
>> There are many examples that ignore the use of IF , THEN requirements,
>> which I suggest to be in the I-D update of RFC2119 that I working on
>> and will submit in 30 July,
>>
>> Regards
>>
>> Abdussalam Baryun
>> University of Glamorgan, UK
>> ==================================
>>
>>> Preferable with a list of RFC text snippets that would have been
>>> more readable if these keywords had been used.
>>
>>> Stewart
>>
>>
>>> On Sun, Jul 22, 2012 at 7:17 AM, Abdussalam Baryun
>>> <abdussalambaryun@gmail.com> wrote:
>>>> Hi All,
>>>>
>>>> I am working on an I-D which is intended as proposed standard but need
>>>> some addition requirement language. Therefore, I want to propose to
>>>> write a draft to update RFC2119 to add some other language requirement
>>>> as below:
>>>>
>>>> IF x, THEN y:
>>>>
>>>> ELSE:
>>>>
>>>> ELSE IF:
>>>>
>>>> Please send your comments or advise, thanking you,
>>>
>>> That doesn't have to be in 2119.  Lots of RFCs have pseudocode at
>>> various levels of rigor.  Just look around at some protocol specs for
>>> examples.
>>>
>>
>>
>