Re: [sipcore] WGLC: draft-ietf-sipcore-name-addr-guidance

worley@ariadne.com (Dale R. Worley) Wed, 29 March 2017 00:57 UTC

Return-Path: <worley@alum.mit.edu>
X-Original-To: sipcore@ietfa.amsl.com
Delivered-To: sipcore@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 8748B127B52 for <sipcore@ietfa.amsl.com>; Tue, 28 Mar 2017 17:57:53 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.934
X-Spam-Level:
X-Spam-Status: No, score=-1.934 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, HEADER_FROM_DIFFERENT_DOMAINS=0.001, RCVD_IN_DNSWL_LOW=-0.7, SPF_SOFTFAIL=0.665] autolearn=no autolearn_force=no
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 JJgbVssUPwjM for <sipcore@ietfa.amsl.com>; Tue, 28 Mar 2017 17:57:52 -0700 (PDT)
Received: from resqmta-ch2-09v.sys.comcast.net (resqmta-ch2-09v.sys.comcast.net [IPv6:2001:558:fe21:29:69:252:207:41]) (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 490151273B1 for <sipcore@ietf.org>; Tue, 28 Mar 2017 17:57:52 -0700 (PDT)
Received: from resomta-ch2-13v.sys.comcast.net ([69.252.207.109]) by resqmta-ch2-09v.sys.comcast.net with SMTP id t1uzcPLbdQe9ct1vrc1gGs; Wed, 29 Mar 2017 00:57:51 +0000
Received: from hobgoblin.ariadne.com ([IPv6:2601:192:4603:9471:222:fbff:fe91:d396]) by resomta-ch2-13v.sys.comcast.net with SMTP id t1vpcPspAAtR2t1vqcLHof; Wed, 29 Mar 2017 00:57:51 +0000
Received: from hobgoblin.ariadne.com (hobgoblin.ariadne.com [127.0.0.1]) by hobgoblin.ariadne.com (8.14.7/8.14.7) with ESMTP id v2T0vmN0021872; Tue, 28 Mar 2017 20:57:48 -0400
Received: (from worley@localhost) by hobgoblin.ariadne.com (8.14.7/8.14.7/Submit) id v2T0vmrj021869; Tue, 28 Mar 2017 20:57:48 -0400
X-Authentication-Warning: hobgoblin.ariadne.com: worley set sender to worley@alum.mit.edu using -f
From: worley@ariadne.com
To: Yehoshua Gev <yoshigev@gmail.com>
Cc: rjsparks@nostrum.com, sipcore@ietf.org
In-Reply-To: <CAF_j7yYeRKCbg=4dOVozM5ocPoGWfaF6nFDoZE4tJcdz6xURCg@mail.gmail.com> (yoshigev@gmail.com)
Sender: worley@ariadne.com
Date: Tue, 28 Mar 2017 20:57:48 -0400
Message-ID: <877f38kigj.fsf@hobgoblin.ariadne.com>
X-CMAE-Envelope: MS4wfAhW6p5pNe/g15wgfUGDqM6v6rqup5uXd28JgfE0X8E2iuiGX9CUjnYpJCaOk+uQkUlp0Pe2pU7eA6sSvBiOV46MC7tz6C7L+pDe4fwi6TzVs4qfnl8H BKqk3//2mpk7kWB8F0b/yU9E3lG9bpyuhpuKFMPK1tppdqIk4e8lDQBck6V5g5N9UpkLk23QXIAtAdrxWHFIvAcsmJJswc51Z0ujFGKz1UWmBxIASWcvp32+
Archived-At: <https://mailarchive.ietf.org/arch/msg/sipcore/4SbBiDzN2FLx0Csi4E_l6bAd_RQ>
Subject: Re: [sipcore] WGLC: draft-ietf-sipcore-name-addr-guidance
X-BeenThere: sipcore@ietf.org
X-Mailman-Version: 2.1.22
Precedence: list
List-Id: SIP Core Working Group <sipcore.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/sipcore>, <mailto:sipcore-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/sipcore/>
List-Post: <mailto:sipcore@ietf.org>
List-Help: <mailto:sipcore-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/sipcore>, <mailto:sipcore-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 29 Mar 2017 00:57:53 -0000

Yehoshua Gev <yoshigev@gmail.com> writes:
> The examples of:
>    Refer-To: sip:123@host?Replaces=1111
>    Refer-To: sip:123@host;user=phone?Replaces=1111
> will all be syntactically invalid using the interpretation proposed by the
> draft.
> I think this is ok and corresponds to my current understanding of RFC 3261.
>
> However, in the above thread, it seemed to me that on first sight, both Dale
> and Robert thought that those examples are valid.
> After the discussion there, I think (IIUC) they agreed that those are not
> valid.

You have to be careful about the terminology.  Within the context of
draft-ietf-sipcore-name-addr-guidance, there is the BNF, and then there
is an extra-BNF constraint.  So what does the term "syntactically valid"
mean?  In the context of parsing as it is used in computer programming
languages, "syntactic" is usually used only in regard to what is
expressed in BNF.  So from that point of view, you could say that the
two examples are "syntactically valid" but that they are invalid
relative to the non-BNF restriction.

On the other hand, you could say that "syntactically valid" means that
it passes every validity check that can be implemented without reference
to external information sources.  In that case, the two examples are
"syntactically invalid", because they violate the non-BNF restriction,
and determining that doesn't require knowing anything about the domain
"host".

That ambiguity is why I used the term "parsable *by the BNF alone*", as
that is not bedeviled by the exact definition of "syntactically".

Of course, the questions you raise about what examples should be
discussed in the draft are still valid.

Dale