CVS log for 2002/ws/desc/wsdl20/Attic/wsdl20.tex

Request diff between arbitrary revisions

regenerated html after renumbering assertions

regenerated documents

Removed feature and property elements from XML pseudo-syntax.

fixed problems reported by Jonathan 2007-01-11

[CR104], [CR105], [CR106], [CR108], [CR115] Fixed.

[CR100], [CR101], [CR102], [CR103] Fixed.

[CR099] Removed Types-1300003

[CR096, CR098] Fixed. Regen docs.

CR081, CR083, CR086, CR094 are done. Regenerate documents.

[CR088] Ambiguity in Part regarding built-in XML Schema types. Fixed.

[CR089] Fixed.

Fixed CR094.

removed F&P from Part 1

Make tex ASCII

[CR022] Added section 4.3 Extensions

[CR045] Allow inline schema with no targetnamespace.

[CR079] Allow other schemes in fragment identifiers.

[CR080] Defined canonical component desginators.

Corrected errors in <prop> markup - added @comp. Regenerated docs.

minor editorial correction in Part 1, Chapter 6

minor editorial correction in Part 1, Chapter 6

Editorial correction: use the term "extension" instead of "extensibility" for elements and attributes.

normalized whitespace in component summary tables

buult specs after edits

rebuilt documents after edits

Added assettion QName-resolution-1219000 from Youenn.

[CR015] Implemented resolution.

[CR001] Implemented resolution.

[CR019] Implemented resolution.

Implemented CR018.

Implemented resolution to CR020.

corrected stylesheet to include assertions anywhere in document (not just children of spec/body)

Added quotes to xmlns attribute in example as reported by http://lists.w3.org/Archives/Public/public-ws-desc-comments/2006Feb/0006.html, Menon, 2006-02-28.

Reviewed and added assertions for sections 4, 5, 6, 7, 8, A.

Reviewed and added assertions to Part 1 sections 2. and 2.1.

Rebuilt spec to incorporate Roberto's assertions.

Implemented resolution to CR005: Added built-in datatypes to component model

rebuilt documents

Applied patch, http://lists.w3.org/Archives/Public/www-ws-desc/2006Jan/0018.html, Re: WSDL 2.0 adjuncts assertions, posted by Lawrence Mandel, 2006-01-09.

Added assertions posted to mailing list:
http://lists.w3.org/Archives/Public/www-ws-desc/2006Jan/0006.html,
"Binding, Service, Modularization, Extensibility, and Location assertions", Lawrence Mandel, 2006-01-06.

Rename ParentID to ParentId

Added assertions posted to mailing list: "types, description, interface, feature, and property assertions", Lawrence Mandel, 2005-11-17.

Added assertions posted to mailing list: types assertions, Lawrence Mandel, 2005-11-15.

Added showAssertions XSLT parameter to control rendering of assertions.
Moved Assertion Summary sections into system entities so they can be excluded from the CR.

Simiplified Z Notation for fragment identifiers and updated Example IRIs.

Regenerated docs after completing editorial work.

Fixed typos reported to mailing list by Lawrence Mandel, 2005-11-16.

Improved formatting for Z Notation for fragment identifiers.

Added Z Notation for fragment identifiers and component designators for Description, Feature, Property, and Extension components.

Added Z Notation for fragment identifiers and component designators for Element Declaration and Type Definition components.

Added Z Notation for fragment identifiers and component designators for Interface, Binding, and Service component families in Appendix A.

s/Yamato/Yokohama/

Corrected order of arguments in fragment identifier for Binding Fault Reference to match that in Interface Fault Reference.

[LC361] Defined what should be declared as a fault.

[LC344#5] Allow an operation style to constrain faults as per the resolution at the Yamato F2F.

[LC350] Corrected Introduction.

[LC336] Soften statement about use of xs:anyURI and refer to WS-Addressing Endpoint Reference.

[LC305]  Aligned BNF notational conventions with WS-Addressing, Pseudo schemas do not include extensibility points for brevity.

Added Fault Propagation Rule assertions in Part 2.

add adjuncts assertion tables

Improved coverage report generation. Only positive counts are included.

Added some assertions to Part 1.

Corrected typo.

[LC344#12]  Completed editorial improvements to message label rules. Moved long definitions out of tables.

Added Z Notation for MEPs in Part 1.

Added bidirectional linking between assertions and the summary table, and added a section on notation for assertions.

Implemented resolultion of "How to Treat Built-In Schema Types".

Started work on LC344#12.

[LC344#5] edited 2.7.1 as per suggestion.

[LC328] Added introductory paragraph to Conformance section in Part 1 as per comment #2.

Sort the component table propdefs by component name.

Fixed more errors in the test suite.

Added assertion table to Part 1.

Removed obsolete editorial notes.

Rebuild html documents after editing Part 1.

Updated syntax summaries for types as per action item http://www.w3.org/2005/07/14-ws-desc-minutes.html#action01

Updated Example C-2. IRI References - Example IRIs to match Appendix A.

Fixed validation errors in Primer and regenerated documents.

Added property cross-reference to component summary table, and sorted alphabetically.

Fixed component table to include extension properties added to core components.

Corrected Feature and Property composition rules for Interface, Service, and Endpoint.

Fixed component table in Adjuncts.

Updated primer service reference example to reflect LC117.

[LC117] Service References and Endpoint References and added wsdlx:interface and wsdlx:binding.

Fixes for my "Comments on Primer Sections 1 - 3"

Finshed first pass at adding markup for WSDL component and property definitions and references.

Added table of components and properties from Jonathan.

Added comp markup for most components.

Added markup for WSDL component and property definitions and references.

[LC64] Added fragment identifiers for Decription, Element Declaration, and Type Definition components.

Added final ComponentModel to Z Notation.

Added consistency and key constraints to the Z notation.

Added  integrity constraints to the Z notation.

Added  integrity constraints to the Z notation.

Added parent constraints to Z notation.

Documents rebuilt with latest corrections.

Rebuilt documents after several commits.

[LC125]    	Renamed components Fault Reference -> Interface Fault Reference, Message Reference -> Interface Message Reference, and the corresponding properities.

Updated WSDL namespace to 2005/05 in preparation for refreshed publication.
Updated WSDL schemas to avoid use of entities and to support LC117 which requires restrictions based on ServiceType and the use of EndpointType.

Updated Service Reference section of Primer for LC117.

Added Z Notation for {parent} property.

Added definition of nested components and added parent to Z notation.

[LC6a] Updated Z Notation to reflect renaming of {name} to {uri} in Features and Properties.

[LC107] Use a consistent naming convention for properties that refer to components.

[LC34b] Added the constraint that the {uri} property of a Feature or Property component within a {features} or {properties} property MUST be unique.

[LC105] Added {parent} property to nested components.

Moved the fragment identifer definition into the media registration appendix.

Regenerate HTML after last change.

[LC87] Improved clarity of the decription of Component Designators in Appendix C.

Added section "Import mechanism and authoring style" to primer.

LC104: The operations, faults, features, and properties of an Interface component are those defined directly on the component and do
    	not include those from the extended interfaces.

LC104: The operations, faults, features, and properties of an Interface component are those defined directly on the component and do
    	not include those from the extended interfaces.

Renamed non-normative Z versions to wsdl20-z.html and wsdl20-z-ie.html.

Hide Z Notation in the Normative version of the spec.

Moved RPC Style section from Part 1 to rpc-style-frag.xml so it can be included in Part 2.

Fixed minor Binding Operation errors introduced by addition of Binding Message Reference.

Added primer to build script and regenerated all documents.

Fixed minor Z typechecking errors introduced by addition of Binding Fault Reference. Kudos to RRC for updating the Z Notation! Regenerate all html versions and pdf.

Fixed minor Z typechecking errors introduced by addition of Binding Fault Reference. Kudos to RRC for updating the Z Notation! Regenerate all html versions and pdf.

Refactored Feature and Property Z Notation in preparation for formalization of composition model.

Refactored Feature and Property Z Notation in preparation for formalization of composition model.

[LC27] Partial Resolution from 2005-01-19: value sets intersect. Resolve Property Composition Edge Cases by requiring the conjunction of all constraints to apply. The composed value of a Property is intersection of the value set of each in-scope Property.

[LC20] Partial Resolution from 2005-01-19: "true" trumps. Resolve Feature Composition Edge Cases by requiring the conjunction of all constraints to apply. The composed value of a Feature is "true" if and only if at least one in-scope value of the Feature is "true".

[LC75i] At least one of the [children] of an Operation MUST be an "input" or "output". Agree to remove "infault" and "outfault" from the list since it does not make sense to have an Operation with only faults.

[LC50] Adopt proposal for definition of "node", adding "Note:" before second sentence.

Completed Action Item - 2005-02-10: DBooth to mail Arthur change to wording on media type registration, Arthur to incorporate.

Added informative reference to WS-Addressing from ONMR.

Corrected WSDL Media Type Registration as per David Booth's email. See: http://lists.w3.org/Archives/Public/www-ws-desc/2005Feb/0016.html

Editorial: Combine {name} NCName and {target namespace} URI properties into a single {name} QName property.

[LC75l][LC103] Make {message label} property of Binding Message Reference component REQUIRED and fix up XML mapping table.

[LC75q][LC89b][LC89c] Remove XML 1.1 support. Use XSD 1.0 simple types.

[LC73][LC75n] Added Single Interface per Service section.

Added referential integrity constraints to Z Notation.

Editorial improvements to Z Notation.

Added PDF version of spec generated via LaTeX.

Added character entities for accented characters.

Edited Notational Conventions and References sections. Improved PDF version.

Added alternate, non-normative version for viewing with IE.
Aslo added a zml test document.

Added reference to non-normative DHTML version of the specification.

Added stylesheet to generate tex from xml.