Диссертация (1145120), страница 59
Текст из файла (страница 59)
Предложенная методология может быть уточнена расширениемспискадополнительныхфункциональных компонент DSM-решения. Также могут быть предложены другие модели разработкиDSM-решений.2. Алгоритм слияния двух версий и-карт может быть доработан внаправлении сравнения при конфликтах на идентичность не только370узлов, но и поддеревьев. Также могут быть проведены экспериментыс совместным хранением базовой и локальных версий (часто напрактике при слиянии базовая версия оказывается недоступной).Кроме того, для алгоритмов слияния (merge) и сравнения (diff)можетбытьвыполненатаксономизацияистандартизациятребований к различным компонентам, так как на практике они частоварьируются и важно организовать их эффективное повторноеиспользование.3. Модель v2v-трансформаций может быть расширена экономичнымиспособами задания данных трансформаций для пользователей.
Такжетребуют дополнительных исследований возможности реализациимоделидля различных DSM-платформ (в частности, интереспредставляет формализация Notation Metamodel для различныхслучаев).Наконец,целесообразноисследоватьсвойстваустойчивости автоматических раскладок к небольшим изменениямдиаграмм пользователями (речь идёт о сохранении user mental map).4. Метод контроля качества визуальных спецификаций требуетдополнительных исследований в части экономичных средствспецификации проекций метамодели и операций над ней в терминахOCL на примитивы программного интерфейса для доступа крепозиторию инструмента моделирования. В данный момент затратына такие спецификации оказываются вариантом программирования изатрудняют эффективное использование предложенного метода.5. Модель средств разработки семейств программных продуктов наосновекомпоновкиаппаратнойчастипродуктатребуетдополнительных индустриальных экспериментов, уточнения ипоследующего обобщения индивидуальных деталей различныхсемейств.3716.
Метод DocLine требует переноса и интеграции с различнымисовременными средствами разработки технической документации —OpenXML, системой Wiki и др. Важной также видится связьвариативности документации с вариативностью свойств продуктовлинеек.Алгоритм поиска повторов и рефакторинга требуетдополнительных оптимизаций, а также реализации идеи поисканечётких повторов.7. МетодFSSможетбытьразвитвсторонудобавлениядополнительных видов моделей к уже имеющимся, а такжерасширение предложенного списка метафор Web-визуализации иразработка его формальных связей с моделями.8. Модель КИТ-решения может быть расширена формализациейпроцессаразработкиКИТ-решений,атакжеразработкойсоответствующей модели рисков.372Литература[1] Авербух, В.
Л. Метафоры визуализации / В. Л. Авербух // Программирование. —2001.— № 5. — С. 3–17.[2] Артамонов, И. В. Описание бизнес-процессов: вопросы стандартизации / И. В. Артамонов // Прикладная информатика. — 2011. — № 3. — С. 20–28.[3] Бабурин, Д. Е. Средства визуализации при перепроектировании программ / Д.
Е. Бабурин, М. А. Бульонков, П. Г. Емельянов, Н. Н. Филаткина // Программирование. — 2001. — № 2. — С. 21–33.[4] Бардзинь, Я. М. Язык спецификаций SDL/PLUS и его применения / Я. М. Бардзинь, А. А. Калкиньш, Ю. Ф. Стродс, В. А. Сыцко. — Рига,1988. — 313 с.[5] Бизнес-Инжиниринг Групп, [Электронный ресурс]. — URL:http://bigc.ru/instruments/bigmasterpro/bm/om/ (дата обращения: 04.09.2015).[6] Веккер, Л.М. Психические процессы.
В 3-х томах / Л.М. Веккер. —Изд-во ЛГУ, 1974 –1981 годы. — Т. 1.[7] Вельдер, С. Э. Введение в верификацию автоматных программ на основе метода Model Checking / С. Э. Вельдер, А. А. Шалыто // Научнотехнический вестник информационных технологий, механики и оптики. —2007. — № 42. — С. 33–48.[8] Вендров, А. М. CASE-технологии. Современные методы и средствапроектирования информационных систем / А. М.
Вендров. — М.: Финансы истатистика, 1998. — 98 с.[9] Власов, А. И. Методология визуального проектирования как инструменторганизацииподдержкиучебногопроцесса / А. И. Власов,О. Е. Кирбабин, А. С. Шепель // Новые информационные технологии и менеджмент качества (NIT&MQ'2008) Материалы международного симпозиума. — 2008.
— С. 110–111.[10] Гаврилова, Т. А. Об одном подходе к онтологическому инжинирингу / Т. А. Гаврилова // Новости искусственного интеллекта. — 2005. — № 3.— С. 25–31.[11] Гаврилова, Т. А. Современные нотации бизнес-моделей: визуальныйтренд / Т. А. Гаврилова и др. // Форсайт. — 2014. — 8 (2). — С. 56–70.373[12] Гаврилова, Т.
А. Онтологии как средство концептуализации webпорталов / Т. А. Гаврилова, Т. Е. Гелеверя, В. А. Горовой // Научно-теоретический журнал «Искусственный интеллект». — 2002. — № 3. — С. 80–86.[13] Гаврилова, Т. А. Формирование единого когнитивного пространства сиспользованием визуальных моделей представления знаний / Т. А. Гаврилова, О. С. Кожунова // Информационные ресурсы России. — 2014. — 6 (142).— С. 10–16.[14] Гаврилова, Т.
А. Управление знаниями: От слов к делу / Т. А. Гаврилова, Д. В. Кудрявцев // Intelligent Enterprise. Корпоративные системы: Russian Edition. — 2004. — № 12–13. — С. 43.[15] Гаврилова, Т. А. Модели и методы формирования онтологий / Т. А. Гаврилова, Д. В. Кудрявцев, В. А.
Горовой // Научно-техническиеведомости СПбГПУ. — 2006. — № 46. — С. 21–28.[16] Гаврилова, Т. А. Использование моделей инженерии знаний для подготовкиспециалистоввобластиинформационныхтехнологий / Т. А. Гаврилова, И. А. Лещева, Д. В. Кудрявцев // Системное программирование. — 2012. — 7 (1). — С.
90–105.[17] Гаврилова, Т. А. Об использовании визуальных моделей в преподавании / Т. А. Гаврилова, И. А. Лещева, Э. В. Страхович // Вестник Санкт-Петербургского университета. Серия 8: Менеджмент. — 2011. — № 4. —С. 124–150.[18] Гаврилова, Т. А. Использование моделей инженерии знаний для подготовкиспециалистоввобластиинформационныхтехнологий / Т.
А. Гаврилова, И. А. Лещева, Д. В. Кудрявцев // Системное программирование. — СПб, Изд-во СПбГУ, 2012. — 7 (1). — C. 90–105.[19] Гибсон, Дж. Экологический подход ктию / Дж. Гибсон. — М.: Прогресс, 1988. — 464 с.зрительномувосприя-[20] Григорьев, С. Инструментальная поддержка встроенных языков в интегрированных средах разработки / С.
Григорьев, Е. Вербицкая, М. Полубелова // Моделирование и анализ информационных систем. — 2014. —21 (6). — С. 131–143.[21] Григорьев, Л. Ю. Технология наполнения баз знаний онтологическоготипа / Л. Ю. Григорьев, А. А. Заблоцкий, Д. В. Кудрявцев // Научно-технические ведомости СПбГПУ. Серия «Информатика. Телекоммуникации.Управление». — №3. — 2012. — С.
27–36.374[22] Григорьев, Л. Ю. Организационное проектирование на основе онтологий / Л. Ю. Григорьев, Д. В. Кудрявцев // Научно-технические ведомостиСПбГПУ, Информатика. Телекоммуникации, Управление. — 2012. —1 (140). — С. 22–27.[23] Горбунов-Посадов, М. М. Расширяемые программы / М. М. ГорбуновПосадов. — М.: 1999. — 336 c.[24] ГОСТ 2.001–93.Единая система конструкторской документации. Общие положения.
— 2002.[25] Гуров, В. С. UNIMOD — инструментальное средство для автоматногопрограммирования / В. С. Гуров, М. А. Мазин, А. А. Шалыто // Научно-технический вестник информационных технологий, механики и оптики. —2006. — № 30. — С. 32–45.[26] Данилин, А. Архитектура предприятия / А. Данилин, А. Слюсаренко.— М.: Интернет-университет информационных технологий (ИНТУИТ), 2005.— 504 c.[27] Джонс, Дж. К. Инженерное и художественное конструирование. Пер.с англ. / Дж. К. Джонс.— М.: Мир, 1976. — 377 с.[28] Ершов, А.
П. Технологияразработкисистемпрограммирования / А. П. Ершов. Избранные труды. — Новосибирск: ВО “Наука”, 1994. —C. 230–261.[29] Зиндер, Е. З. Архитектура предприятия в контексте бизнесреинжиниринга (Часть1, Часть2) / Е. З. Зиндер // Intelligent Enterprise. —2008. — № 4, 7.[30] Иванов, А. Н. Графический язык описания ограничений на диаграммыклассов UML / А. Н. Иванов // Программирование. — 2004. — N 4. —С.
204–208.[31] Иванов, А. Н. Автоматизированная генерация информационных систем, ориентированная на данные / А. Н. Иванов. Диссертация на соисканиеучёной степени кандидата физико-математических наук. — СПбГУ, 2005. —130 с.[32] Иванов, А. Н. Механизмы поддержки циклической разработки ИС врамках модельно-ориентированного подхода / А. Н.
Иванов // Системноепрограммирование. — Изд-во СПб, 2005. — Т. 1. — С. 101–123.375[33] Иванов, А. Н. Технологическое решение Real-IT: автоматизированнаяразработкапользовательскогоинтерфейсаинформационныхсистем / А. Н. Иванов, С. С. Стригун // Системное программирование. — 2005.— Т. 1.
— С. 124–147.[34] Иванов, Д. Ю. Унифицированный язык моделирования. Учебное пособие / Д. Ю. Иванов, Ф. А. Новиков. — Изд-во гос. политехнического ун-та.Санкт-Петербург, 2010. Сер. Приоритетные национальные проекты "Образование". — 249 с.[35] Казакова, А. С. Методы и инструменты реализации предметноориентированных языков программирования / А. С. Казакова // Системноепрограммирование.
— Изд-во СПбГУ, 2009. — 4 (1). — С. 51–78.[36] Калянов, Г. Н. Архитектура предприятия и инструменты её моделирования / Г. Н. Калянов // Автоматизация в промышленности. — 2004. — №. 7.— С. 9–12.[37] Калянов, Г. Н. CASE: структурный системный анализ (автоматизацияи применение) / Г. Н. Калянов. — М.: ЛОРИ, 1996.
— 242 с.[38] Каменова, М. Моделирование бизнеса. Методология ARIS. Практическое руководство / М. Каменова и др. — М.: Весть-Мета Технология, 2001.— 333 с.[39] Каплан, Р. Стратегические карты. Трансформация нематериальныхактивов в материальные результаты / Р. Каплан, Д. Нортон. — М.: ОлимпБизнес, 2005.