Методи структурного синтезу та автоматизованої конфігурації програмної архітектури інформаційної системи
DOI:
https://doi.org/10.30837/bi.2019.1(92).07Ключові слова:
ГРАФОВА МОДЕЛЬ, АРХІТЕКТУРА ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ, СТРУКТУРНИЙ СИНТЕЗ, ЯРУСНО-ПАРАЛЕЛЬНА ФОРМА, BACKTRACKING, КОНТРОЛЬНА ТОЧКА, AGILE, GRID, TDD, СЕРВІС-ОРІЄНТОВАНИЙ ПІДХІДАнотація
Проведено аналіз методів структурного синтезу і кастомізації
програмного забезпечення інформаційної системи. Вказується, що сучасні методи не задовольняють вимогам до ефективної адаптації програмного забезпечення під змінні в часі вимоги кінцевого користувача.
Показано, що при розробці формальних графових моделей програмної архітектури з використанням існуючих методів еволюційні зміни вимог кінцевого користувача зазвичай не розглядаються, що призводить до труднощів при вирішенні задач кастомізації. Невідповідність між можливостями існуючих
технологій проектування і практичною необхідністю адаптації програмного забезпечення призводить до виникнення проблеми розробки ефективних формальних підходів до кастомізації. Аналіз методів підтверджує актуальність вирішення задачі розробки ефективних формальних підходів до кастомізації програмного забезпечення з урахуванням специфіки конкретного підприємства і конкретного робочого місця шляхом використання ярусно-паралельних графових моделей програмної архітектури.
Посилання
A Modular Reference Structure for Component-based Architecture Description Languages/Misha Strittmatter, Kiana Rostami, Robert Heinrich [et al.] // ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, September 28, 2015. – Ottawa, Canada, 2015. – P. 36–41.
Ковальчук С. В. Интеллектуальная поддержка процесса конструирования композитных приложений в распределенных проблемно-ориентированных средах / С. В. Ковальчук, В. Г. Маслов // Изв. вузов. Приборостроение. – 2011. –Т. 54, –№ 10 – C.29–36.
An evolutionary multiobjective optimization approach to component-based software architecture design / R. Li, R. Etemaadi, M.T.M. Emmerich, [at al.] // Congress on Evolutionary Computation (CEC), 5-8 June 2011. – New Orleans, LA.: IEEE, 2011. – P.432–439.
Малышкин В.Э. Параллельное программирование мультикомпьютеров / В. Э. Малышкин, В. Д. Корнеев – Новосибирск: Новосибирский государственный технический университет, 2006. – 452 с.
Левыкин В. М. Модель архитектурного фреймворка ускоренной разработки информационной системы / В. М. Левыкин, М. В. Евланов // Нові технології. – 2013. – № 1-2 (39-40). – С.51–57.
Осипова Т. Ф. Моделирование процесса проектирования автоматизированной информационной системы структурным методом / Т. Ф. Осипова // Актуальные проблемы экономики и управления. – 2015. – № 2(6). – С. 89–96.
. Генератор проектов – средство автоматизации проектирования прикладных информационно-вычислительных систем. / Флёров Ю. А., Вышинский Л. Л., Гринёв И. Л. [и др.] // Автоматизация проектирования инженерных и финансовых информационных систем средствами «Генератора проектов». – М.: ВЦ РАН. – 2010. – С. 3–15.
Инструментальная система ФАКИР / Л. Л. Вышинский, Ю. Д. Прибытков, В. И. Шиленко [и др.] // Известия АН СССР, техническая кибернетика. – 1986. – №3. – С. 6.
Инструментальные средства САПР / Вышинский Л. Л., Гринёв И. Л., Шиленко В. И. [и др.] // Задачи и методы автоматизированного проектирования в авиастроении. – 1991. – С.52–70.
Диалоговая система синтеза многосвязных структур промышленных объектов / [Зайцев И.Д., Кисиль И.М., Вайнер В.Г., Губницкий С.Б.] – Киев: Институт кибернетики. – 1981. – 51 с.
Перевозчикова О. Л. Диалоговые системы / О. Л. Перевозчикова, Е. Л Ющенко; [ин-т кибернетики им. В. М. Глушкова]. – Киев: Наук. Думка, 1990. – 184 с.
Masahiro Sh. Dialog System for Open-Ended Conversation Using Web Documents / Masahiro Shibata, Tomomi Nishiguchi, Yoichi Tomiura // Informatica. – 2009. – № 33. – P.277–284.
Суровцева О. А. Использование потенциала САПР ТП «ТехноПро» для формирования интегрированных комплексов на основе CALS технологий // Состояние и перспективы развития сельскохозяйственного машиностроения: 9-ая междунар. научн.-практ. конф. в рамках 19-й междунар. агропромышленной выставки «Интерагромаш-2016», 2016. – Т. 9. – С. 330–332.
Dan T. An Effort-Based Framework for Evaluating Software Usability Design / Dan Tamir, Carl J. Mueller, Oleg V. Komogortsev // ARPN Journal of Systems and Software. – 2013. –Vol. 3 – № 4. – P.65–77
Корухова Ю. С. Автоматический синтез программ с использованием онтологии прецедентов / Ю. С. Корухова, Н. Н. Фастовец // Программные системы и инструменты: тематический сборник. – Т. 12. – 2011. – С.203–215.
Палагин А. В. Методика проектирования онтологии предметной области / А. В. Палагин, Н. Г. Петренко, К. С. Малахов // Комп’ютерні засоби, мережі та системи. –2011. –№10. – С.5–12.
Зінькович В. М. Онтологічне моделювання предметної області з проблематикою e-Science / В. М. Зінькович // Проблеми програмування. – 2011. – № 3. – С. 30–37
Автоматический синтез системы управления мобильным роботом для решения задачи «Кегельринг» / С. А. Алексеев, А. И. Калиниченко, В. О. Клебан [и др.] // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. – 2011. – № 2 (72). – С.26–31.
Канжелев С. Ю. Автоматическая генерация кода программ с явным выделением состояний / С. Ю. Канжелев // Software Engineering Conference (Russia) – 2006 (SEC (R): матер. конф. 2006. – 2006. – С. 60–63.
Андрианов А. Н. Автоматическая генерация программ для графических процессоров по непроцедурным спецификациям / А. Н. Андрианов, А. Б. Бугеря, Е. Н. Гладкова // Вестник Южно-Уральского государственного университета. Серия: Вычислительная математика и информатика. – 2014. – № 1(3). – С.5–16.
Левыкин В. М. Модель архитектурного фреймворка ускоренной разработки информационной системы / В. М. Левыкин, М. В. Евланов // Нові технології. – 2013. – № 1-2 (39-40). – С.51–57.
Woods E. Using an Architecture Description Language to Model a Large-Scale Information System – An Industrial Experience Report / E. Woods, R. Bashroush // Software Architecture (WICSA) and European Conference on Software Architecture (ECSA), 20-24 Aug. 2012 – Helsinki.: IEEE, 2012. – P.239–243.
