[Bug 5040] Hanlding of reference constraints on different kinds of elements

http://www.w3.org/Bugs/Public/show_bug.cgi?id=5040


kumarp@microsoft.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
           Keywords|editorial                   |
         Resolution|                            |FIXED




------- Comment #17 from kumarp@microsoft.com  2007-11-13 06:25 -------
Fixed as proposed.

[1]
Added the following to section "7 Conformance Criteria" part 3:

5. All documents in the model are available to the model validator. If any
model document is not reachable, then the model validator's behavior is outside
the scope of this specification.

[2]
Added the following section+table. 

4.3.2.5 Target Constraints and SML Reference Categories
The following table shows how target constraints are handled for each of the
reference categories in the table.

Table 4-2. Target Constraints and SML Reference Categories.  
              Acyclic  targetRequired  targetElement  targetType  
Non-reference Satisfied Satisfied Satisfied Satisfied 
Null          Satisfied Violated  Satisfied Satisfied 
Unresolved    Satisfied Violated  Satisfied Satisfied 
Resolved      Check     Satisfied Check     Check 

Received on Tuesday, 13 November 2007 06:25:41 UTC