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 ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Second I<strong>de</strong>a<br />
► Write queries that checks document-local, but global con<strong>st</strong>raints<br />
■ Are there bills for all claimed tax reductions?<br />
■ Are the appendices consi<strong>st</strong>ent with the main tax document?<br />
► Global Con<strong>st</strong>raints over all tax Declarations:<br />
■ Have all bills for all claimed tax reductions really been payed by the tax<br />
payer?<br />
■ Is a reduction for a <strong>de</strong>bt reduced only once per couple?<br />
■ ....<br />
► Write an OCL invariant specification for the tax UML class diagram<br />
that checks the con<strong>st</strong>raints<br />
■ Use the Dres<strong>de</strong>n OCL <<strong>st</strong>rong>to</<strong>st</strong>rong>olkit <<strong>st</strong>rong>to</<strong>st</strong>rong> solve the problem<br />
http://<strong>dres<strong>de</strong>n</strong>-ocl.sf.net<br />
Prof. Uwe Aßmann, Softwaretechnologie II<br />
81