Реферат IT

Алгебра типов как средство оперирования спецификациями типов в объектных моделях данных

План реферата

1. Абстрактне типы данных (АТД). Определение отношения подтипа и отношения уточнения типов. Как доказывать правильность определения отношения подтипа и уточнения в Нотации абстрактных машин [1, 2 section 1]

2. Алгебра типов и ее роль в канонической объектной модели (семантика запросов) и как средства определения уточняющих композиций типов [3, 2 section 3]

3. Спецификации абстрактных типов данных – в канонической объектной модели и в формальных моделях. Мотивация применения формальных методов [2 section 2, 5, 6,7,8]

4. Примеры использования алгебры типов для конструирования уточняющих композиций спецификаций типов (в канонической объектной модели) в процессе проектирования интероперабельных систем и интегрированных баз данных, при определении типа результата запроса в объектных моделях данных [9,4, 10 стр 15-21]

Литература

1) B.Liskov, J.Wing. A behavioral notion of subtyping. ACM Transactions m Programmmg Languages and Systems, Vol 16, N 6, November 1994, Pages 1811-1841. http://synthesis.ipi.ac.ru/synthesis/student/dot/references/p1811-liskov.pdf

2) Formal specifications as sound foundation for the design with reuse. http://synthesis.ipi.ac.ru/synthesis/student/dot/references/FORMCHPTdot.pdf

3) Kalinichenko L.A. Compositional Specification Calculus for Information Systems Development Advances in Databases and Information Systems: Proc. of the Third East European Conference. LNCS 1691. -- Berlin-Heidelberg: Springer-Verlag, 1999. -- P. 317--331. http://synthesis.ipi.ac.ru/synthesis/publications/cscalc/cscalc.ps

4) Kalinichenko L.A., Zadorozhny V.I. Type Inferencing Based on Complete Type Specifications. Advances in Databases and Information Systems: Proc. of the Second International Workshop ADBIS'95. Workshops in Computing Series. Published by Springer-Verlag in collaboration with the British Computer Society. -- Gateshead: Athenaeum Press Ltd., 1995. -- P. 207--219. http://synthesis.ipi.ac.ru/synthesis/publications/typeinf/typeinf.ps

5) Dominique Cansell, Dominique M´ery. FOUNDATIONS OF THE B METHOD, Computing and Informatics, Vol. 22, 2003, 1–31. http://synthesis.ipi.ac.ru/synthesis/student/dot/references/B-Method.pdf

6) Kalinichenko L.A., Stupnikov S.A., Martynov D.O. SYNTHESIS: a Language for Canonical Information Modeling and Mediator Definition for Problem Solving in Heterogeneous Information Resource Environments. Moscow: IPI RAN, 2007. - 171 p. http://synthesis.ipi.ac.ru/synthesis/publications/07synthesis/07synthesis.pdf

7) Canonical Object Model (canofoil.ps) http://synthesis.ipi.ac.ru/synthesis/student/oodb/canofoil.ps

8) Язык СИНТЕЗ как ядро канонической информационной модели (6.ppt) http://synthesis.ipi.ac.ru/synthesis/student/SpecSem/6

9) Briukhov D.O., Kalinichenko L.A., Skvortsov N.A. Information sources registration at a subject mediator as compositional development. Advances in Databases and Information Systems: Proc. of the 5th East European Conference. LNCS 2151. -- Berlin-Heidelberg: Springer-Verlag, 2001. -- P. 70--83. http://synthesis.ipi.ac.ru/synthesis/publications/registration/registration.ps

10) OODB: Manifestos, Foundations, Standards + ODMG + SQL1999+2003 Pages: 55 – 92, http://synthesis.ipi.ac.ru/synthesis/student/oodb/objretut.ps