Die Beschreibung der
<sw-param-contents> ist möglich in
<sw-function-spec-variant> und in
<sw-param-contents-spec>. Die implizite Variantenbehandlung
<sw-param-content> ist an beiden Stellen durch die Tatsache gegeben, daß in
<sw-param-content> auf
<sw-param> referenziert wird.
<sw-function-variant> enthält einen expliziten Variantenverweis. Die Zuordnung von
<sw-param> zu den Varianten ergibt sich aus den
<variant-def-ref>s der
<sw-function-variant>s in denen diese referenziert werden (implizite Zuordnung
).
Die Zuordnung von Kenngrößen zu Varianten geschieht also ausschließlich über die Verwendung in Funktionsvarianten. Für die automatische Prüfung auf widerspruchsfreie Variantenbeschreibung von Funktionen und Kenngrößen wäre eine explizite Zuordnung von Kenngrößen zu Varianten (durch
<variant-def-refs> in
<sw-param>) erforderlich. Dies wird zunächst zurückgestellt, da nicht geklärt ist, ob die dadurch entstehende Komplexität erforderlich und gerechtfertigt ist

.