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.
Third I<strong>de</strong>a: Use On<<strong>st</strong>rong>to</<strong>st</strong>rong>logy Language<br />
► OWL (<strong>de</strong>scription logic) can be used for consi<strong>st</strong>ency con<strong>st</strong>raints, also<br />
of UML domain mo<strong>de</strong>ls<br />
■ Result: a domain on<<strong>st</strong>rong>to</<strong>st</strong>rong>logy, a vocabulary of classes with consi<strong>st</strong>ency<br />
con<strong>st</strong>raints about the domain<br />
■ OWL engines (RACER, Triple) can evaluate the consi<strong>st</strong>ency of such<br />
domain specifications<br />
■ On<<strong>st</strong>rong>to</<strong>st</strong>rong>logies can formulate consi<strong>st</strong>ency criteria for domain mo<strong>de</strong>ls of<br />
applications and product lines [Aßmann2005]<br />
Prof. Uwe Aßmann, Softwaretechnologie II<br />
87