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.
Remark: Text-based Specifications Have a<br />
<<strong>st</strong>rong>Graph</<strong>st</strong>rong>-<<strong>st</strong>rong>Based</<strong>st</strong>rong> Representation<br />
► Are parsed <<strong>st</strong>rong>to</<strong>st</strong>rong> ab<strong>st</strong>ract syntax trees (AST)<br />
► After name analysis, they become ab<strong>st</strong>ract syntax graphs (ASG)<br />
► Then the same remarks hold<br />
► Hence, all specifications are graph-based!<br />
mo<strong>de</strong>l M begin<br />
elements<br />
T: transis<<strong>st</strong>rong>to</<strong>st</strong>rong>r;<br />
R: resis<<strong>st</strong>rong>to</<strong>st</strong>rong>r;<br />
equations<br />
R = <strong>de</strong>r(T);<br />
end<br />
.......<br />
AST<br />
.......<br />
.......<br />
.......<br />
ASG<br />
.......<br />
.......<br />
Prof. Uwe Aßmann, Softwaretechnologie II<br />
34