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.
What Have We Learned<br />
► <<strong>st</strong>rong>Graph</<strong>st</strong>rong>s and Logic are isomorphic <<strong>st</strong>rong>to</<strong>st</strong>rong> each other<br />
► Using logic or graph rewrite sy<strong>st</strong>ems, mo<strong>de</strong>ls can be validated<br />
■ <<strong>st</strong>rong>Analyze</<strong>st</strong>rong>d<br />
■ Queried<br />
■ Checked for consi<strong>st</strong>ency<br />
■ Struc<strong>tu</strong>red<br />
► Applications are many-fold, using all kinds of sy<strong>st</strong>em relationships<br />
■ Consi<strong>st</strong>ency of UML class mo<strong>de</strong>ls (domain, requirement, <strong>de</strong>sign mo<strong>de</strong>ls)<br />
■ Struc<strong>tu</strong>ring (layering) of USES relationships<br />
► Logic and graph rewriting technology involves reachability que<strong>st</strong>ions<br />
Logic and graph rewrite sy<strong>st</strong>ems are the Swiss army knife of the<br />
validating mo<strong>de</strong>ller<br />
Prof. Uwe Aßmann, Softwaretechnologie II<br />
88