Przepisywanie termów jako semantyczna podstawa modelowania graficznego

Prelegent(ci)

Piotr Kosiuczenko

Termin

17 listopada 2008 10:15

Pokój

p. 4790

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

Graficzne języki modelowania, takie jak Unified Modeling Language (UML) i Specification and Description Language (SDL), są dziś powszechnie stosowane w praktyce inżynierii oprogramowania. Jednakże ich rozwój wymagał lat pracy nad notacjami w nich zawartymi oraz ich semantyką. Wiele kontrowersji wywoływało łączenie różnych notacji w jeden język oraz ich równoczesne używanie. Jednakże w miarę postępu prac nad semantyką tych języków, kontrowersje te ustały. W referacie tym przedstawię wyniki moich badań nad semantycznymi podstawami tychże języków, w szczególności zastosowanie formalizmu opartego na teorii przepisywania termów. Pomimo, że UML pozwala na graficzne modelowanie różnorodnych aspektów systemów oprogramowania, nie pozwalał on na specyfikację systemów mobilnych. W referacie zaprezentuję rozszerzenie UMLa służące do graficznego modelowania systemów mobilnych i jego semantykę oparta na przepisywaniu termów. Zarządzanie wymaganiami klienta jest jednym z podstawowych składników procesu wytwarzania oprogramowania. Pokrótce, omówię sposoby transformacji wymagań użytkownika oparte również na przepisywaniu termów.

---