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.
Goals<br />
► Un<strong>de</strong>r<strong>st</strong>and that software mo<strong>de</strong>ls can become very large<br />
► Un<strong>de</strong>r<strong>st</strong>and the need for appropriate techniques <<strong>st</strong>rong>to</<strong>st</strong>rong> handle large<br />
mo<strong>de</strong>ls<br />
■ in hand <strong>de</strong>velopment<br />
■ au<<strong>st</strong>rong>to</<strong>st</strong>rong>matic analysis of the mo<strong>de</strong>ls<br />
► Learn how <<strong>st</strong>rong>to</<strong>st</strong>rong> use graph-based techniques (Datalog, Description<br />
Logic, EARS, graph transformations) <<strong>st</strong>rong>to</<strong>st</strong>rong> analyze and check mo<strong>de</strong>ls<br />
► Un<strong>de</strong>r<strong>st</strong>and some basic concepts of simplicity in software mo<strong>de</strong>ls<br />
Prof. Uwe Aßmann, Softwaretechnologie II<br />
5