Metamodellbasierte und hierarchieorientierte ... - RosDok
Metamodellbasierte und hierarchieorientierte ... - RosDok
Metamodellbasierte und hierarchieorientierte ... - RosDok
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
3.5 Realisieren von DMWM mit USE 65<br />
(a) Class extent view<br />
(b) Evaluation browser<br />
Abbildung 3.18: Toolunterstützung zur Identifizierung von So<strong>und</strong>ness-Problemen<br />
im unteren Fenster eine aktuelle Auswertung der Subterme zu sehen, in der die Subterme mit ihren Werten<br />
substituiert worden sind.<br />
Außerdem gibt es die Möglichkeit zur visuellen Hervorhebung von Boolean-Termen im Auswertungsbaum.<br />
Mit true ausgewertete Terme werden in Abbildung 3.18(b) mit einer fetten Schrift hervorgehoben <strong>und</strong> mit<br />
false ausgewertete Terme werden mit inverser Farbe (weiße Schrift auf schwarzem Hintergr<strong>und</strong>) dargestellt.<br />
Zusätzlich gibt es hierfür auch die Möglichkeit zur visuellen Hervorhebung der Subbäume. Es gibt noch<br />
diverse weitere Funktionalitäten, die hier nicht weiter aufgezählt, aber in [Dat07] erklärt werden.