In this paper mathematical formalization for software system based on ontological models is proposed. Formalization is built using algebraic types system approach. Developed formal representation of models and modeling system.
1. Balmelli, L. Model-driven systems development / Balmelli, L., Brown, D., Cantor, M., Mott, M. // IBM Systems Journal. — 2006. — vol.45. — P. 569–585.
2. Leffingwell D. Managing software requirements. A use-case approach. /Leffingwell Dean, Widrig Don.— Addison-Wesley Professional, 2003. — P. 544.
3. Mellor, S.J. Executable UML: A foundation for model-driven architectures / Mellor, S.J., Balcer, M.J. — Addison-Wesley, 2002.
4. Gruber, T.R. A translation approach to portable ontology specifications / Gruber, T.R. // Knowledge Acquisition. — 1993. — Vol 5. — P. 199–220.
5. Буров Є.В. Опрацювання знань у когнітивній інформаційній системі керованій моделями / Є.В. Буров // Східно-Європейський журнал передових технологій. — 2009. — №. 6/7(42). — С. 40–49.
6. Daconta, M.C. The Semantic Web: A Guide to the Future of XML, Web Services, and Knowledge Management. / M.C. Daconta, L.J. Obrst,
K.T. Smith. — Wiley, 2003.
7. Pezzulo, G Schema-Based Design and the AKIRA Schema Language: An Overview / Pezzulo, G., Calvi, G // Anticipatory Behavior in Adaptive Learning Systems. — 2007. — P. 128–152.
8. MIT Encyclopedia of the cognitive sciences. Edited by Robert A. Wilson and Frank C. Keil. — MIT Press Cambridge, Massachusetts, London, England, 1999. — 1097 p.
9. Minsky, M. A Framework for Representing Knowledge / Minsky, M; P.H. Winston, ed // The Psychology of Computer Vision. — McGraw-Hill, 1975. — P. 211–277.
10. Erl, T. SOA Principles of Service Design / Erl, T. — Prentice Hall, 2007.
11. Бениаминов Е.М. Алгебраические методы в теории без данных и представлений знаний / Бениаминов Е.М..— М.: Научный мир, 2003. — С. 184.
12. Буров Є.В. Концептуальне моделювання інтелектуальних програмних систем / Є.В. Буров — Львів: Вид-во Львівської політехніки, 2012. —
С. 432.