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.
Second I<strong>de</strong>a<br />
► <<strong>st</strong>rong>Analyze</<strong>st</strong>rong> consi<strong>st</strong>ency of the specifications by regarding them as<br />
graphs<br />
► Check <strong>de</strong>finition criterion (name analysis)<br />
■ “is every name I refer <<strong>st</strong>rong>to</<strong>st</strong>rong> <strong>de</strong>fined elsewhere”?<br />
► <<strong>st</strong>rong>Analyze</<strong>st</strong>rong> layers with SameGeneration<br />
■ <<strong>st</strong>rong>How</<strong>st</strong>rong> many layers does my car specification have?<br />
■ Is it acyclic?<br />
► Write a query that checks the consi<strong>st</strong>ency global variants<br />
■ If the car is <<strong>st</strong>rong>to</<strong>st</strong>rong> be exported <<strong>st</strong>rong>to</<strong>st</strong>rong> England, the <strong>st</strong>eering wheel, the pedals<br />
should be on the right si<strong>de</strong><br />
■ If the car has an au<<strong>st</strong>rong>to</<strong>st</strong>rong>matic gear box, it mu<strong>st</strong> have an au<<strong>st</strong>rong>to</<strong>st</strong>rong>matic gear-shift<br />
lever<br />
Prof. Uwe Aßmann, Softwaretechnologie II<br />
77