Specyfikacja części nieimienniczej systemów w języku OCL

Speaker(s)

Piotr Kosiuczenko

Affiliation

Wojskowa Akademia Techniczna

Date

Oct. 17, 2011, 10:15 a.m.

Room

room 4790

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

Specyfikacja kontraktowa pozwala opisać  skutki wykonania metod. Ich wykonanie zwykle zmienia niewielki fragment systemu pozostawiając resztę bez zmian. Język JML posiada mechanizm służący do specyfikacji części niezmienniczej. OCL i niektóre inne języki kontraktowej specyfikacji takich środków nie posiadają.
W tym referacie przedstawimy rozszerzenie OCL umożliwiające specyfikację części niezmienniczej. W szczególności omówimy związane z tym zagadnienia specyficzne dla języka OCL, takie jak specyfikacja asocjacji i widoków.

---