OCL

1. Dlaczego potrzebujemy specyfikacji formalnych?
2. Co potrzebujemy określić dla operacji?
3. OmĂłwienie zagadnienia na podstawie bankomatu.
4. Przemyślenia dotyczące dalszych (nie)konsekwencji wynikających ze specyfikacji.
5. OCL.
6. Notacja.
7. Metamodel.
8. Przykładowa gramatyka dla wyrażeń OCLowych.
9. Konwersja OCLa do logiki 1. rzędu.
10. Bardziej skomplikowane wyraĹźenia OCLa m.in. iteratory.