Програмні системи на базі онтологічних моделей задач

2015;
: сс. 36 - 57
Authors: 

Буров Є.В. Пасічник В.В.

Національний університет «Львівська політехніка», кафедра інформаційних систем та мереж

Розглянуто застосування онтологічних моделей задач для побудови програмних систем, здатних адаптуватися до зміни стану предметної області. Розроблено матема- тичну формалізацію подання та опрацювання знань у системі, архітектуру та принципи функціонування програмної системи на базі онтологічних моделей. Розглянуто методи використання онтологічних моделей для розв’язання практичних задач. Проаналізовано переваги застосування онтологічних моделей порівняно з традиційним підходом до побудови програмних систем та розроблено формули для оцінювання їх переваг. Розроблено програмний інструментальний засіб для побудови та моделювання програмних систем на основі онтологічних моделей задач.

1. Koskinen J. Software Maintenance Costs / J. Koskinen // Information Technology Research Institute, ELTIS-Project. — University of Jyväskylä. — 2003.2. Lehman Meir M Software Evolution — Background, Theory, Practice / Meir M. Lehman, and F. Ramil Juan // Information Processing Letters. —2003. — P.33—44.69. 3. Balmelli L. Model-driven systems development / L. Balmelli, D. Brown, M. Cantor, M. Mott // IBM Systems Journal, 2006. — Vol. 45. — P. 569–585. 4.Mellor S. J. Executable UML: A foundation for model-driven architectures / S. J. Mellor, M. J. Balcer // Addison-Wesley, 2002. 5.MDA: Nice idea, shame about the: [Electronic resource]. — Access mode: http://www.theserverside. com/ news/1365166/MDA-Nice-idea-shame-about-the. 6. Ross G. Principles of the Business Rule Approach / Ronald G. Ross. — Addison-Wesley Professional. — 2003. — P. 372. 7. Van Harmelen, Frank, Vladimir Lifschitz and Bruce Porter. Handbook of Knowledge Representation / Van Harmelen, Frank Vladimir Lifschitz and Bruce Porter. — Vol. 1. — Elsevier, 2008. — P.1034. 8.ФридманЛ. М. Основыпроблемоло- гии / Л. М. Фридман // Cерия: Проблемология. — М: Синтег, 2001. — С. 228. 9. Johnson P. Task-Related Knowledge Structures:Analysis, Modelling and Application / P. Johnson, H. Johnson, R. Waddington, and A. Shouls // Knowl. Creat. Diffus. Util. — 1988. — P.35—62. 10. Van Welie M. An Ontology for Task World Models. / M. Van Welie, G. C. Van Der Veer, and A. Eliëns // Methods. — 1998. — Vol. 98. — P. 57–70. 11. Taylor P. Ontology-Based Task Simulation / P. Taylor, M. Raubal and W. Kuhn // Spat. Cogn. Comput. — 2004. — Vol. 4, no. 917247301. — P. 15–37. 12. БуровЄ. В. Концеп-туальнемоделюванняінтелектуальнихпрограмнихсистем: монографія / Є. В. Буров. — Львів: Вид-воЛьвівськоїполітехніки, 2012. — С. 432. 13.Kazuhisa S. Building ontologies for conceptual model management / Seta Kazuhisa, Koyama Kazuya, Hayashi Yusuke, Ikeda Mitsuru // WSEAS Transactions on Information Science and Applications. — 2006. — Vol. 3. — P. 546–553. 14.Koo B. Algebra of systems: a metalanguage for model synthesis and evaluation / B. Koo, W. Simmons // IEEE Transactions on systems, man and cybernetics. — 2009. — Vol. 39, N 3. — P.501—513. 15. Pezzulo G., Schema-Based Design and the AKIRA Schema Language: An Overview / G. Pezzulo, G. Calvi // Anticipatory Behavior in Adaptive Learning Systems/ — 2007. — P. 128–152. 16.ISO/IEC/IEEE 29119–2: Test Processes[Electronic resource]. — Access mode: http://www.softwaretestingstandard.org/part2.php. 17.Olive A. Conceptional modeling of information system / A. Olive. — Berlin Heidelberg: Springer, 2007. — P.471. 18.Osterwalder A., Business Model Ontology — a proposition in a design science approach / A. Osterwalder. — Citeseer, 2004. — P. 172. 19.Burov Y. Business process modelling using ontological task models / Y. Burov // Econtechmod. — Lublin : Polish Academy of Sciences, 2014. — No 1. — P. 11–23. 20. БуровЄ. В. Вико-ристаннямоделейдлякеруваннядоступомдоресурсівінтелектуальноїінформаційноїсистеми / Є. В. Буров, А. В. Гульова // ВісникНац. ун-ту «Львівськаполітехніка» «Інформаційнісистемитамережі». — Львів: Вид-воЛьвівськоїполітехніки, 2010. — No 673. — С. 59–68. 21. БуровЄ. В. Кон-сенсусекспертівякзасібдляпідвищеннядостовірностімоделейзнаньвінтелектуальнійсистемі / Є. В. Буров, М. Б. Крамаренко // ВісникНац. ун-ту «Львівськаполітехніка» «Комп’ютернінаукитаінформаційнітехнології». — Львів: Вид-воЛьвівськоїполітехніки, 2011. — No 694. — С. 212–220.