[XSD] xml schema frage: Referenzen

[Vlad T. (vlad_tepesch)]

Hi,
Ich habe XML in folgender Struktur:

<test>
  <types>
    <type name="A">
      <port name="pa1" />
      <port name="pa2" />
      <port name="pa3" />
    </type>
    <type name="B">
      <port name="pb1" />
      <port name="pb2" />
      <port name="pb3" />
    </type>
  </types>
  
  <instances>
    <instance name="a1" type="A" />
    <instance name="a2" type="A" />
    <instance name="b1" type="B" />
    <instance name="b2" type="B" />
  </instances>
  <connections>
    <connect from="a1" fromPort="pa1"  to="b1" toPort="pb3" />
  </connections>
</test>

kann ich im Schema irgendwie sicherstellen, dass im connect valide 
Referenzen stehen?
Es sit kein Problem sicherzustellen, dass from und to auf korrekte 
Instanzen schauen.
Es ist auch kein Problem festzustellen, ob es überhaupt einen Portnamen 
"pa1" gibt. Aber kann ich auch validieren, dass der unter from 
referenzierte Typ einen Port hat, wie in fromPort referenziert?


das schema ist nicht fix. denkbar wäre auch folgendes:

  <instances>
    <instance name="a1" type="A" >
      <connect port="pa1"  to="b1" toPort="pb3" />
    </instance>
    <!-- [...] -->
  </instances>

Aber auch hier wüsste ich nicht wie.

Instanzen in die Typen zu bringen ist nicht drin.

[Läubi .. (laeubi)]

Was immer geht ist eine "einfache" Prüfung über ref ID:
http://books.xmlschemata.org/relaxng/ch19-77159.html
Das stellt aber nur sicher, das eine gültige ID drinnsteht.

Will man "mehr" geht das über key/keyref
http://www.w3schools.com/schema/el_keyref.asp
http://msdn.microsoft.com/de-de/library/ms256101(v=vs.80).aspx
http://msdn.microsoft.com/de-de/library/ms256478(v=vs.80).aspx

da ist nur das Problem, das viele Validatoren das nicht unterstützen.

[Vlad T. (vlad_tepesch)]

Läubi .. schrieb:
> Will man "mehr" geht das über key/keyref

über die existenz von keyrefs bin ich mir im klaren, nur weiß ich nicht, 
wie man das damit umsetzen soll.

Vlad Tepesch schrieb:
> Es sit kein Problem sicherzustellen, dass from und to auf korrekte
> Instanzen schauen.
> Es ist auch kein Problem festzustellen, ob es überhaupt einen Portnamen
> "pa1" gibt. Aber kann ich auch validieren, dass der unter from
> referenzierte Typ einen Port hat, wie in fromPort referenziert?
dies beides ist mit key/kexref kein Problem, aber wie soll man eine 
abfrage formulieren, dass die Prüfung auf Existenz des Unterelementes im 
durch from-Attribut spezifiziertem Element beschränkt wird.

der selctor müsste ja igendwie so aussehen:

<xs:element name="connect">
  <xs:complexType>
    <xs:attribute name="from"     type="xs:string"/>
    <xs:attribute name="fromPort" type="xs:string"/>
    <xs:attribute name="to"       type="xs:string"/>
    <xs:attribute name="toPort"   type="xs:string"/>

    <xs:keyref name="connectionFromPortRef" refer="connectionFromPort">
      <xs:selector xpath="."/>
      <xs:field    xpath="@fromPort"/>
    </xs:keyref>
    <xs:key name="connectionFromPort">
      <xs:selector xpath="//types/type[@name=<<<<<<<<<<<hier liegt das Problem>>>>>>>>>>>>>]/port"/>
      <xs:field    xpath="@name"/>
    </xs:key>
  </xs:complexType>
</xs:element>

<<<<<<<<<<<hier liegt das Problem>>>>>>>>>>>>>
an dieser stelle müsste ermittelt werden, was für ein Typ das im Feld 
from referenzierte Objekt hat.
müsste ja auf das Attribut.

im 2. Beispiel (schmema-Alternative) wäre es eine Dereferenzierung 
weniger, weil man den Typ direkt ermitteln kann. Das grundsätzliche 
Problem besteht aber.

geht das irgendwie im selector?

[Läubi .. (laeubi)]

Puh, also wenn ich das richtig verstanden habe willst du zwei Attribute 
matchen.

Ich fürchte da ist man bei dem Punkt wo man mit einer simplen 
Validierung des XML allein nicht weiterkommt (mir fällt zumindest 
spontan nichts ein), da dur hier gewissermaßen auf die konkrete 
Elementinstanz matchen müsstest, solange diese aber sich selbst nicht 
einschränken lässt wird das schwer.

Spricht den etwas dagegen das einfach in der Applikation zu prüfen? Was 
mir sonst für Inhaltliche Prüfungen noch einfällt wäre Schematron:
http://de.wikipedia.org/wiki/Schematron
da kann man verschiedene Rules definieren, das geht dann aber halt nicht 
allein mit einem XSD Validator, Schematron aknn man z.B. in die 
<appinfo> Elemente eines XSD einbinden.