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.
EARS and Datalog<br />
► Rule sy<strong>st</strong>ems can be noted<br />
tex<strong>tu</strong>ally or graphically<br />
(DATALOG or EARS)<br />
► EARS (edge addition rewrite<br />
sy<strong>st</strong>ems) contain graph rewrite<br />
rules, which add edges<br />
► Rule no<strong>de</strong>s contain variables<br />
Parent<br />
Child1<br />
Child2<br />
Parent<br />
Child1<br />
Child2<br />
► Datalog contains tex<strong>tu</strong>al if-then<br />
rules, which te<strong>st</strong> predicates<br />
about the con<strong>st</strong>ants<br />
► rules contain variables <<strong>st</strong>rong>to</<strong>st</strong>rong> match<br />
many con<strong>st</strong>ants<br />
// conclusion<br />
sameGeneration(Child1, Child2)<br />
:- // say: "if"<br />
// premise<br />
isParentOf(Parent,Child1),<br />
isParentOf(Parent,Child2).<br />
// premise<br />
if isParentOf(Parent,Child1) &&<br />
isParentOf(Parent,Child2<br />
then<br />
// conclusion<br />
sameGeneration(Child1,Child2)<br />
50<br />
Prof. Uwe Aßmann, Softwaretechnologie II