Software systems based on ontological task models

2015;
: pp. 36 - 57
Authors: 
Burov Ye., Pasichnyk V

Lviv Polytechnic National University

The increased mobility of business processes today relies on extensive use of software and in turn puts high demands on the quality of software and its ability to be quickly and accurately adapted to the changes in the business environment. A promising approach to solving the problem of adapting the software to changes in its operational environment is the use of ontological modeling. In the article the theoretical principles of knowledge representation and processing in software based on ontological task models were developed. A formal model of knowledge representation was built. The method of using ontological task models for automated testing of nightly software builds was developed. This method also demonstrates the organization of models interaction in the multistage business process of automated testing.

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.