Książka "OCL precyzyjne modelowanie w UML" jest poświęcona językowi OCL, służącemu do uściślania modeli oprogramowania, będącemu elementem standardu UML. W pierwszym rozdziale autorzy zaznajamiają Czytelnika z pojęciem ograniczania i tłumaczą, do czego ograniczenie jest potrzebne. Wyjaśniają, na czym polega metoda projektowania według umowy. W drugim rozdziale omawiają podstawy języka. Opisują przykładowy model w UML, który wykorzystują w pozostałej części książki. Zajmują się niezmiennikami atrybutów, niezmiennikami klas powiązań, różnymi kolekcjami obiektów, dziedziczeniem, wyliczaniem, warunkami początkowymi i końcowymi. W trzecim rozdziale opisują i ilustrują przykładami poszczególne elementy OCL, a w czwartym omawiają zastosowania tego języka. Na końcu książki, w dwóch dodatkach, podają listę typów OCL i opis ich właściwości oraz formalną składnię języka.

Książka jest przeznaczona dla studentów informatyki, projektantów systemów i pracowników firm programistycznych. Poznając język OCL, będą mogli wydajnie używać języka UML.

Spis treści:

Rozdział 1: Po co pisać ograniczenia?1.1.Definicja ograniczenia1.2.Projektowanie według umowy1.3.Zalety ograniczeń1.4.Ograniczenia deklaracyjne czy operacyjne1.5.Notacja – język naturalny czy formuły matematyczne1.6.Podsumowanie – wymagania wobec OCLRozdział 2: Podstawy języka OCL2.1.Przykład systemu „lokalny Klient”2.2.Nakładanie niezmienników na atrybuty2.3.Nakładanie niezmienników na powiązane klasy2.4.Postępowanie z kolekcjami obiektów2.5.Dzidziczenie2.6.Stosowanie wyliczeń2.7.Pisanie warunków początkowych i warunków końcowych2.8.W którym miejscu rozpoczynać pisanie niezmienników2.9.Naruszone ograniczenia2.10.PodsumowanieRozdział 3: Pełny przegląd konstrukcji języka OCL3.1.Typy i egzemplarze3.2.Wyrażenia OCL a ograniczenia OCL3.3.Kontekst wyrażenia OCL3.4.Typy podstawowe i operatory3.5.Typy modelowe3.6.Typy Set, Bag i Sequence3.7.Konstrukcje dla warunków końcowych3.8.Operacje zdefiniowane dla wszystkich typów w języku OCL3.9.Typy jako obiekty3.10.Reguły zgodności typów3.11.Zasady pierwszeństwa dla operacji3.12.Komentarze3.13. Typ Undefined3.14.PodsumowanieRozdział 4: Modelowanie z zastosowaniem ograniczeń4.1.Ograniczenia w modelu UML4.2.Style pisania ograniczeń4.3.Rozwiązywanie zagadnień modelowania z zastosowaniem ograniczeń4.4.PodsumowanieRozdział 5: Rozszerzanie OCL5.1.Słowa przestrogi5.2.Rozbudowa standardowych typów OCL5.3.Dodawanie nowych typów5.4.Operacyjne zastosowania ograniczeń5.5.PodsumowanieDodatek ATypy podstawowe i typy kolekcyjne w języku OCL

Dodatek BGramatyka formalna

Podobne książki:

Projektowanie obiektowe Role, odpowiedzialność i współpraca Projektowanie i programowanie obiektowe to dziś standard w produkcji oprogramowania. Język UML, powszechnie stosowane narzędzie opisu projektów i architektury oprogramowania, systematyzuje i upraszcza proces projektowania. Projektowanie systemów w oparciu o...

 

Więcej niż architektura oprogramowania Termin "architektura oprogramowania" kojarzy się zwykle z doborem języka programowania, wzajemnymi zależnościami między komponentami powstającego systemu informatycznego, wyborem platformy bazodanowej i zaplanowaniem innych elementów związanych...

 

Informatyka w ogólnym zarysie Jest to podręcznik do przedmiotu „Wstęp do informatyki”. Autor przedstawia w nim najważniejsze zagadnienia z dziedziny informatyki. Omawia architekturę komputerów, oprogramowanie (systemy operacyjne, algorytmy, języki, paradygmaty...