Верифікація комп’ютерної моделі системи інформаційного управління
Анотація
Важливим етапом процесу розробки складних програмних систем (ПС) на сучасному етапі є
комп’ютерне моделювання . Верифікація комп’ютерної моделі СІУ є важливим етапом методології моде-
льної розробки ПС, що дозволяє оцінити комплексність ПС. Запропоновано аналітичну модель СІУ з діє-
вою аналітикою, якою передбачено основні складові елементи дієвої аналітики: ціль – сценарій – техноло-
гічне середовище – метадані – дані. Пропонується три критерії перевірки комп’ютерної моделі
СІУ:цілісність, повнота, несуперечність. Розглянуто основні етапи перевірки сценарної моделі, відповідно
до поставлених критеріїв.
Посилання
Magic Quadrant for Business Intelligence and Analytics Platforms. — 2013, © Gartner Analytic
Barton D. et al. Making advanced analytics work for you //Harv. Bus. Rev. – 2012. – Т. 90. – С. 78-83.
Модель сценарно-целевого подхода при построении информационно-аналитической системы / Коваль
А.В., Бойко Ю.Д., Зайцева Е.А.// Системный анализ и информационные технологии: материалы 16-й
Международной научно-технической конференции SAIT 2014, Киев, 26-30 мая 2014 г. / УНК “ИПСА”
НТУУ “КПИ”. – К.: УНК “ИПСА” НТУУ “КПИ”, 2014. – С. 105-107.
Thacker B. H. et al. Concepts of model verification and validation. – Los Alamos National Lab., Los Alamos,
NM (US), 2004. – №. LA-14167.
France R., Rumpe B. Model-driven development of complex software: A research roadmap //2007 Future of
Software Engineering. – IEEE Computer Society, 2007. – С. 37-54.
J.L.G. Dietz. Architecture – Building strategy into design. Academic Service, The Hague, The Netherlands,
Thomas Erl. Principles of Service Design. The Prentice Hall Service-Oriented Computing Series from Thomas
Erl. Prentice Hall, Upper Saddle River, NJ, USA, 2007.
Stein S. et al. Evaluation of OrViA framework for model-driven SOA implementations: An industrial case study
//Business Process Management. – Springer Berlin Heidelberg, 2008. – С. 310-325.
http://www.theenterprisearchitect.eu/blog/2009/06/03/a-framework-for-model-driven-soa/
Самойлов В.Д. Модельное конструирование компьютерных приложений. Киев. Наукова думка, 2007. 198
стр.
Писаренко, А. П. Компьютерные технологии моделирования для динамических тренажеров / А.П. Писа-
ренко, В.Д. Самойлов, О.Я. Стеценко. - К. : Наукова думка, 1992. - 168 с.
Сценарные структуры ситуационных тренажеров / В.Д. Самойлов, О.П. Нетлюх // Збірник наукових
праць Інституту проблем моделювання в енергетиці ім.Г.Є.Пухова НАН України. — К.: ІПМЕ ім.
Г.Є.Пухова НАН України, 2009. — Вип. 52.
Додонов О. Г., Коваль О. В., Сенченко В. Р., Методологія побудови корпоративних інформаційно-
аналітичних систем // Реєстрація, зберігання і обробка даних, Київ, - 2007. Том 9, № 4. 60–75 сс.
Юдицкий С. А. Сценарно-целевой подход к системному анализу. Автомат. и телемех., 2001, № 4, 163–
Формальные модели компонентного программирования /В.Н. Грищенко// Проблеми програмування. —
— N 2. — С. 42—57.
Формування сценаріїв аналітичної діяльності / Коваль О.В., Зайцева К.А., Бойко Ю.Д. // Системні до-
слідження та інформаційні технології. — 2014. — № 1. — С. 20–25.
Yoder J.W. Architecture and Design of Adaptive Object-Models / J.W. Yoder // SIGPLAN Notices 12. – 2001. –
P. 50-60.
Greenfield J., Short K. Software factories: assembling applications with patterns, models, frameworks and tools
//Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages,
and applications. – ACM, 2003. – С. 16-27.
