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 ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
SameGeneration as Non-Recursive Sy<strong>st</strong>em<br />
► Basic rule as before<br />
Parent<br />
Parent 1<br />
isChildOf<br />
isChildOf<br />
Child 1<br />
Child 2<br />
Parent<br />
Child 1<br />
Child 2<br />
► Additional non-recursive rule (<strong>de</strong>scendant is transitive closure of<br />
isChildOf)<br />
<strong>de</strong>scendant<br />
(isChildOf*)<br />
<strong>de</strong>scendant<br />
Child 1<br />
Child 2<br />
Parent 1<br />
isChildOf<br />
isChildOf<br />
<strong>de</strong>scendant<br />
<strong>de</strong>scendant<br />
Prof. Uwe Aßmann, Softwaretechnologie II<br />
Child 1<br />
Child 2<br />
70