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.