Detail projektu

Modelování dědičnosti v objektově-orientovaném modelu

Období řešení: 1. 1. 1997 – 31. 12. 1997

Typ projektu: grant

Kód: FR0630/1997/G

Název anglicky
Modelling inheritance in object-oriented model
Typ
grant
Klíčová slova

Násobná dědičnost - Teorie kategorií - Objektově-orientovaný datový model -
Formální základy

Abstrakt

Ačkoli existují již některé výsledky týkající se formální specifikace objektově
relačního modelu, většinou nepodporují plně vícenásobnou dědičnost. Cílem
navrhovaného projektu je vytvořit formální model dědičnosti pomocí teorie
kategorií a tak připravit prostředky pro formální popis objektově orientovaného
modelu jako celku. Jde především o popis vícenásobné dědičnosti, prostoru jmen,
virtuálních bázových tříd a polymorfismu.

Řešitelé
Hruška Tomáš, prof. Ing., CSc. (UIFS) – hlavní řešitel
Kolenčík Petr, Ing. – hlavní řešitel
Nahoru