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

Agentura: Fond rozvoje vysokých škol MŠMT

Program:

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. (UIVT FEI VUT) , hlavní řešitel
Kolenčík Petr, Ing. (FEI VUT) , hlavní řešitel
Publikace

1997

  • HRUŠKA Tomáš a KOLENČÍK Petr. Comparison of Categorical Foundations of Object-Oriented Database Model. In: Proceedings of 5th International Conference on Deductive and. Lecture Notes in Computer Science, roč. 1341. Montreaux: Springer Verlag, 1997, s. 302-319. ISBN 3-540-63792-3. ISSN 0302-9743. Detail
  • HRUŠKA Tomáš a KOLENČÍK Petr. Extending an Object-Oriented Model: Multiple Class Objects. In: Proceedings of 16th International Conference ER'97 on Conceptual Modelling. Lecture Notes in Computer Science, roč. 1331. Los Angeles, California: Springer Verlag, 1997, s. 229-242. ISBN 3-540-63699-4. ISSN 0302-9743. Detail
  • KOLENČÍK Petr. Methods in The Object-Oriented Model as Sums of Morphisms. In: Preceeding of International Conference MOSIS'97, Volume 2. Hradec nad Moravicí: MARQ, 1997, s. 83-88. ISBN 80-85988-17-8. Detail

1996

  • HRUŠKA Tomáš a KOLENČÍK Petr. Semantics of Object Identification in Object-oriented Database Model. In: Proceedings of Scientific Conference Electronic Computers and Informatics. Košice: neznámá, 1996, s. 243-249. Detail
Nahoru