Po co pisać ograniczenia? Definicja ograniczenia Użycie ograniczeń w innych metodach Projektowanie według umowy Definicja umowy (kontraktu) Treść umowy Zalety umów Warunki początkowe i warunki końcowe Niezmienniki Zalety ograniczeń Lepsza dokumentacja Większa precyzja Komunikacja bez nieporozumień Ograniczenia deklaracyjne czy operacyjne Zalety języka deklaracyjnego Notacja - język naturalny czy formuły matematyczne Podsumowanie - wymagania wobec OCL Podstawy języka OCL Przykład systemu „Lojalny Klient" Nakładanie niezmienników na atrybuty Nakładanie niezmienników na powiązane klasy Postępowanie z kolekcjami obiektów Zbiory, wielozbiory i ciągi Dziedziczenie Stosowanie wyliczeń Pisanie warunków początkowych i warunków końcowych W którym miejscu rozpoczynać pisanie niezmienników Naruszone ograniczenia Pełny przegląd konstrukcji języka OCL Typy i egzemplarze Typy wartości i typy obiektowe Wyrażenia OCL a ograniczenia OCL Kontekst wyrażenia OCL Kontekst niezmiennika Kontekst warunków początkowych i warunków końcowych Słowo kluczowe self Typy podstawowe i operatory Typ Boolean Typy Integeri Real Typ String Typy modelowe Atrybuty z modelu UML Operacje z modelu UML Operacje klasowe i atrybuty klasowe z modelu UML Powiązania i agregacje z modelu UML Klasy powiązane z modelu UML Powiązania kwalifikowane z modelu UML Korzystanie z nazw pakietów w nawigacjach Nazwy ścieżkowe w relacjach dziedziczenia Typy wyliczeniowe Typy Set, Bag i Sequence Traktowanie egzemplarzy jak kolekcji Kolekcje spłaszczone Operacje na typach kolekcyjnych Operacje o zmiennym znaczeniu Operacje dla typu Set Operacje dla typu Sequence Iteracje po elementach kolekcji Operacja select Operacja reject Operacja collect Skrótowa notacja dla operacji collect Operacja forAll Operacja exists Operacja iterate Konstrukcje dla warunków końcowych Operacje zdefiniowane dla wszystkich typów w języku OCL Typy jako obiekty Reguły zgodności typów Zasady pierwszeństwa dla operacji Typ Undefined Modelowanie z zastosowaniem ograniczeń Ograniczenia w modelu UML Niezmienniki Niezmienniki dla wydzielonych powiązań lub atrybutów Warunki początkowe i warunki końcowe Warunek dozoru w diagramach stanów Używanie zdarzeń i warunków dozoru w warunkach początkowych i końcowych Zdarzenia zmiany w diagramach stanów Niezmienniki typów dla stereotypów Gdzie można używać wyrażeń OCL Ograniczenia i dziedziczenie Style pisania ograniczeń Unikanie złożonych wyrażeń z nawigacjami Wybór obiektu kontekstowego Użycie operacji alllnstances Rozdzielanie ograniczeń zawierających operację and Dodawanie pomocniczych operacji i atrybutów Używanie skróconej wersji operacji collect Rozwiązywanie zagadnień modelowania z zastosowaniem ograniczeń Klasy abstrakcyjne Specyfikowanie niepowtarzalności Dodawanie detali do modelu a dodawanie ograniczeń Cykle w modelu klas Ograniczenia dla powiązań Ograniczenia liczebności Ograniczenie subset Ograniczenie or Liczebność zero-lub-jeden w powiązaniach Rozszerzanie OCL Słowa przestrogi Rozbudowa standardowych typów języka OCL Dodawanie nowych typów Operacyjne zastosowania ograniczeń Generowanie kodu dla ograniczeń Kiedy należy sprawdzać ograniczenia Co robić, gdy ograniczenie zostaje naruszone Typy podstawowe i typy kolekcyjne w języku OCL Typy podstawowe Typ OcIType Typ OclAny Typ OclExpression Typ Real Typ Integer Typ String Typ Boolean Typ Enumeration Typy kolekcyjne Typ Collection Typ Set Typ Bag Typ Sequence