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.
Example 1: Consi<strong>st</strong>ency Checking for<br />
Car Specifications<br />
► Car data specifications in the MOST <strong>st</strong>andard<br />
■ Thousands of parts, <strong>de</strong>scribed for an entire supplier indu<strong>st</strong>ry<br />
■ Many inconsi<strong>st</strong>encies possible<br />
■ Due <<strong>st</strong>rong>to</<strong>st</strong>rong> human errors<br />
► Global variants of the cars mu<strong>st</strong> be <strong>de</strong>scribed<br />
► Examples of context conditions for global variants of cars:<br />
■ The problem of English cars: A <strong>st</strong>eering wheel on the right implies<br />
accelera<<strong>st</strong>rong>to</<strong>st</strong>rong>r, brake, clutch on the right<br />
■ Au<<strong>st</strong>rong>to</<strong>st</strong>rong>matic gears: an au<<strong>st</strong>rong>to</<strong>st</strong>rong>matic gear box requires an au<<strong>st</strong>rong>to</<strong>st</strong>rong>matic gear-shift<br />
lever<br />
Prof. Uwe Aßmann, Softwaretechnologie II<br />
75