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.
Queries on <<strong>st</strong>rong>Graph</<strong>st</strong>rong>s Check Consi<strong>st</strong>ency<br />
► Queries can be used <<strong>st</strong>rong>to</<strong>st</strong>rong> find out whether a graph is consi<strong>st</strong>ent<br />
► Due <<strong>st</strong>rong>to</<strong>st</strong>rong> the graph-logic isomorphism, con<strong>st</strong>raint specifications can be<br />
phrased in logic and applied <<strong>st</strong>rong>to</<strong>st</strong>rong> graphs<br />
► Business people call con<strong>st</strong>raint specifications business rules<br />
► Example:<br />
■ if a person hasn't died yet, its <<strong>st</strong>rong>to</<strong>st</strong>rong>wn should not li<strong>st</strong> her in the li<strong>st</strong> of <strong>de</strong>ad<br />
people<br />
■ if a car is exported <<strong>st</strong>rong>to</<strong>st</strong>rong> England, <strong>st</strong>eering wheel and pedals should be on<br />
the right si<strong>de</strong>; otherwise on the left<br />
Prof. Uwe Aßmann, Softwaretechnologie II<br />
39