Przepisywanie termów jako semantyczna podstawa modelowania graficznego

Speaker(s)

Piotr Kosiuczenko

Date

Nov. 17, 2008, 10:15 a.m.

Room

room 4790

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

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.

---