W3C home > Mailing lists > Public > public-ws-chor@w3.org > May 2005

definition of correctness

From: Yves Lafon <ylafon@w3.org>
Date: Tue, 31 May 2005 19:33:44 +0200 (MEST)
To: public-ws-chor@w3.org
Message-ID: <Pine.GSO.4.63.0505311913340.21101@gnenaghyn.vaevn.se>
There is not much we should mandate to delcare a document confirming (I'd 
rather use this word rather than "correct")

Proposed change in section 2.2.2

A WS-CDL processor MUST ensure that the document is correct before 
processing it. The correctness may involve XML well-formedness as well as 
semantic checks, such as uniqueness of Variable definitions, of a single 
root Choreography, etc.
A WS-CDL processor MUST ensure that the document is a conforming WS-CDL 
document [<link to conforming chapter in the conformance section>]. It MAY 
verify that the document conform to the non-normative provided schema 
[<link to schema definition>]

And as the first chapter of the conformance section with a title
"Conforming WS-CDL documents"

A document is a Web Services Choreography Definition Language
Document if it meets both the following conditions:

     * It is a well-formed XML document [<XML §2.1>] conforming to
       Namespaces in XML [<xml namespace spec>].
     * It is a valid XML document [<XML §2.8>] which adheres to the
       specification described in this document ([link to this document]
       Web Services Choreography Description Language, Version 1.0 )
       not including the constraints expressed in the Schema [<link to
     * The root element must be 'package' per section 2.2
     * The <package> element must designate the WS-CDL namespace. This
       can be achieved by declaring an "xmlns" attribute or an attribute
       with an "xmlns" prefix [<xml namespace spec>]. The namespace for
       WS-CDL is defined to be {cdl namespace} [<link to section 1.1>]


Yves Lafon - W3C
"Baroula que barouleras, au tiéu toujou t'entourneras."
Received on Tuesday, 31 May 2005 17:34:11 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:01:08 UTC