How to Analyze Graph-Based Models - Www-st.inf.tu-dresden.de ...
How to Analyze Graph-Based Models - Www-st.inf.tu-dresden.de ...
How to Analyze Graph-Based Models - Www-st.inf.tu-dresden.de ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Example: Search in UML Diagrams<br />
► Step 1: enco<strong>de</strong> the diagram in<<strong>st</strong>rong>to</<strong>st</strong>rong> a Datalog or DL fact base<br />
► Step 2: <strong>de</strong>fine integrity con<strong>st</strong>raint rules<br />
► Step 3: let the rules run<br />
Prof. Uwe Aßmann, Softwaretechnologie II<br />
56