RE: [Techspec] Validation of formal languages

"Stephen Hayes (TX/EUS)" <stephen.hayes@ericsson.com> Thu, 25 May 2006 04:38 UTC

Received: from [127.0.0.1] (helo=stiedprmman1.va.neustar.com) by megatron.ietf.org with esmtp (Exim 4.43) id 1Fj7cG-0007N0-Dv; Thu, 25 May 2006 00:38:32 -0400
Received: from [10.91.34.44] (helo=ietf-mx.ietf.org) by megatron.ietf.org with esmtp (Exim 4.43) id 1Fj7cF-0007Mg-OF for techspec@ietf.org; Thu, 25 May 2006 00:38:31 -0400
Received: from imr2.ericy.com ([198.24.6.3]) by ietf-mx.ietf.org with esmtp (Exim 4.43) id 1Fj7cE-0004hD-DN for techspec@ietf.org; Thu, 25 May 2006 00:38:31 -0400
Received: from eamrcnt760.exu.ericsson.se (eamrcnt760.exu.ericsson.se [138.85.133.38]) by imr2.ericy.com (8.13.1/8.13.1) with ESMTP id k4P4nkJG026074; Wed, 24 May 2006 23:49:46 -0500
Received: by eamrcnt760 with Internet Mail Service (5.5.2657.72) id <LB9HW06P>; Wed, 24 May 2006 23:38:29 -0500
Message-ID: <4DCBC973AF0D6E4FAF9CD998CE1C003802DE2638@eusrcmw720.eamcs.ericsson.se>
From: "Stephen Hayes (TX/EUS)" <stephen.hayes@ericsson.com>
To: Paul Hoffman <paul.hoffman@vpnc.org>, techspec@ietf.org
Subject: RE: [Techspec] Validation of formal languages
Date: Wed, 24 May 2006 23:38:22 -0500
MIME-Version: 1.0
X-Mailer: Internet Mail Service (5.5.2657.72)
Content-Type: text/plain; charset="iso-8859-1"
X-Spam-Score: 0.0 (/)
X-Scan-Signature: bb8f917bb6b8da28fc948aeffb74aa17
Cc:
X-BeenThere: techspec@ietf.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: "Discussion list for IETF Technical Specifications \(BOF at IETF64\)" <techspec.ietf.org>
List-Unsubscribe: <https://www1.ietf.org/mailman/listinfo/techspec>, <mailto:techspec-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www1.ietf.org/pipermail/techspec>
List-Post: <mailto:techspec@ietf.org>
List-Help: <mailto:techspec-request@ietf.org?subject=help>
List-Subscribe: <https://www1.ietf.org/mailman/listinfo/techspec>, <mailto:techspec-request@ietf.org?subject=subscribe>
Errors-To: techspec-bounces@ietf.org

See inline

> -----Original Message-----
> From: Paul Hoffman [mailto:paul.hoffman@vpnc.org]
> Sent: Wednesday, May 24, 2006 1:37 PM
> To: techspec@ietf.org
> Subject: [Techspec] Validation of formal languages
> 
> 
> Section 3.5 that seems out of place in that it is the only part of 
> this document that says "the IETF technical publisher will review 
> this part of documents for technical correctness". It makes sense to 
> say "if automated tools are available to check formal languages, the 
> IETF technical publisher should run the tools late in the editing 
> process", but not to make it seem like that validation is the job of 
> the technical publisher.

I agree.  It was intended to refer to validation using tools.
> 
> This section might also add a requirement that the IETF technical 
> publisher should not change any examples (changing words, 
> reformatting with line breaks, and so on) without explicitly alerting 
> the document authors. Some formal languages are quite sensitive to 
> byte counts and line breaks.

In general, I think the publisher should work with the authors for any changes required to formal language sections.
> 
> --Paul Hoffman, Director
> --VPN Consortium
> 
> _______________________________________________
> Techspec mailing list
> Techspec@ietf.org
> https://www1.ietf.org/mailman/listinfo/techspec
> 

_______________________________________________
Techspec mailing list
Techspec@ietf.org
https://www1.ietf.org/mailman/listinfo/techspec