961 2004-12-20 10:12:13 +0000 Informal vs Formal Definition 2005-08-02 13:22:01 +0000 1 1 1 Unclassified WS Choreography Last Call Comment: Confirmed Closed unspecified Other other CLOSED FIXED http://lists.w3.org/Archives/Public/public-ws-chor-comments/2004Dec/0000.html P2 normal -- 1 martin.chapman martin.chapman martin.chapman oldest_to_newest 2695 0 martin.chapman 2004-12-20 10:12:13 +0000 From: Bjoern Hoehrmann <derhoermi@gmx.net> From section 1.1 it is also not clear what is meant by "formal" versus "informal" definition, which definition wins if the prose, the "formal" notation and the "informal" notation contradict each other? 4142 1 martin.chapman 2005-02-14 20:16:24 +0000 From meeting on 11-jan-05 http://lists.w3.org/Archives/Member/member-ws-chor/2005Jan/att-0002/2005-01- 11_WS-Chor_Notes.txt: Editorial - make a statement in section 1.1 that the schema in the appendix takes priority. Where the informal schema differs from the formal one then it is an error in the specification and please notify W3C. 3157 2 gritzinger 2005-05-17 17:57:24 +0000 By adding the following text to the end of section 1.1 (a variation on the suggested text which is why I am highlighting it here) Where there is any discrepancy between the text of this specification, the fragments of informal schema and the full formal schema in the appendix then it is an error in the specification and please notify W3C. While awaiting resolution, the text takes priority over the formal schema in the appendix, which takes priority over the informal schema fragments. 4571 3 martin.chapman 2005-07-14 14:21:20 +0000 Bjoern has been informed of the group's resolution to this issue [1]. changed to closed, and awaiting confirmation. [1]http://lists.w3.org/Archives/Public/public-ws-chor-comments/2005Jul/0000.html 5299 4 martin.chapman 2005-08-02 13:22:01 +0000 Bjoern has confirmed he is happy with the resolution: http://lists.w3.org/Archives/Public/public-ws-chor-comments/2005Jul/0012.html