Автореферат (1145119), страница 3
Текст из файла (страница 3)
Это позволяет исследовать предметно-ориентированное моделирование вне непосредственной связи с конкретными DSM-платформами, а также применять предложенную методологию при исследованиях и разработке DSM-решений для широкого спектра задач как в области разработки ПО, таки для создания систем управления знаниями в смежных областях. Кроме того,предложенная методология, а также подходы и решения для отдельных компонентметодологии определяют направления дальнейших исследований в рамках созданияэффективных промышленных технологий разработки ПО.Результаты, полученные в ходе диссертационной работы, были апробированы впроектах компаний ЗАО «ЛАНИТ-ТЕРКОМ», ООО «Смарт Аркитект», АНО КМЦ«Бизнес-Инжиниринг», ООО «Digital Design», при разработке аналитического портала правительства города Москвы, а также в международном исследовательскомпроекте «Improving Social Services» (№ 2010-021-SE396).
Получено пять актов овнедрении результатов диссертационной работы в индустрию.Достоверность результатов работы подтверждается инженерными экспериментами, исследованиями существующих проектов в области разработки и примененияDSM-решений, применением предложенных методов для разработки различныхпромышленных активов с анализом полученных результатов.Результаты работы были доложены на 10 международных научных конферен-циях:International Conference on Knowledge Management and Information Sharing (KMIS2008, 2011), Ershov Informatics Conference (PSI 2001, 2015), International Sym-posiumon Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2004,2005, 2008), Computers and Advanced Technology in Education (2011), 4th IFIP TC 2Central and East European Conference on Software Engineering Techni-ques (CEE-SET2009), European Conference on Software Maintenance and Reengine-ering (CSMR, 2002),Software Engineering Conference (Russia) (SEC(R), 2008).Дополнительной апробацией результатов является поддержка исследований, представленных в диссертации, следующими грантами: РФФИ, проект № 14-01-00407-а«Предметно-ориентированное моделирование при разработке и анализе архитектурбизнес-предприятий»; РФФИ, проект № 12-01-00415-а «Визуальное моделированиеэлектронных государственных услуг»; ENPI CBC 2007-2013, проект № 2010-021SE396 «Improving Social Services»; РФФИ, проект № 11-01-00622-а «Циклическая разработка в моделировании ПО»; Совет Министров Северных Стран, проект № NCMRU-PA-2009/10661 «Software Engineering Learning»; РФФИ, проект № 08-01-00716-а«Разработка технической документации на основе повторного использования»; гранткомпании Hewlett-Packard, «Comapping for teaching»; МинОбрНауки; проект №02.442.11.7495 «Визуальное моделирование в проектировании аппаратной части телекоммуникационных систем»; РФФИ, проект № 05-01-00907-а «Автоматизирован10ная генерация пользовательского интерфейса распределённых информационных систем»; МинОбрНауки, проект № 02.442.11.7211 «Визуальное моделирование в проектировании информационных систем телевидения»; мэрия СПб, проект № PD05-2.0280 «Создание UML 2.0 студии»; мэрия СПб, проект № PD04-2.0-276 «Разработка испециализация средств визуального моделирования»; мэрия СПб, проект № PD03-2.0116 «Управление проектами: разработка ПО, бизнес, творчество»; МинОбрНауки,проект № РД02-2.8-145 «Визуальное моделирование в управлении разработкой программного обеспечения».Публикации по теме диссертации.
Все результаты диссертации опубликованы в67 печатных работах, зарегистрированных в РИНЦ, из них 1 монография (единоличная). 21 статья издана в журналах из «Перечня российских рецензируемых научныхжурналов, в которых должны быть опубликованы основные научные результаты диссертаций на соискание учёных степеней доктора и кандидата наук», рекомендованного ВАК. Там же опубликованы все основные результаты диссертации. 7 статейопубликованы в изданиях, входящих в базу цитирования SCOPUS, из них 3 — в изданиях, входящих в базы цитирования Web of Science. По результатам диссертациибыло получено 1 свидетельство о регистрации программы для ЭВМ.
Сверх указанного было опубликовано 2 учебных пособия, прошедших научное рецензирование.Вклад автора в публикациях, написанных в соавторстве, распределён следующимобразом. В работе [2] автору принадлежит формализация метода и архитектура программной реализации в рамках технологий GMF/ATL/KIELLER. Соавторы выполнили реализацию предложенной автором архитектуры, эксперименты, сформулировали направления дальнейшего применения предложенного подхода. В работе [4] автору принадлежит идея КИТ-модели, также он выполнил работы по её формализации.Соавторы предложили классификацию рабочих продуктов и вместе с автором участвовали в апробации предложенной модели. В работе [5] автор предложил применятьповторное использование для произвольной технической документации (не толькодля документации линеек ПО, как это рассматривалось ранее).
Соавторы спроектировали и реализовали алгоритм поиска нечётких клонов. В [6] автор выполнил всёисследование, соавтором были выполнены эксперименты. В [7] автор разработал архитектурную модель, соавторы предложили ряд компонентов этой модели (внутренние редакторы и отчёты), а также выполнили программную реализацию. В [9] авторупринадлежит метод исследования, выбор продуктов для исследования и написаниетекста работы. Соавторы выполнили исследование по методу, предложенному автором. В [10] автор выполнил строгую типизацию элементов языка ОРГ-Мастера.
Определение прагматики, а также программная реализация предложенных идей принадлежит соавторам. В [12] автор предложил и разработал метод FSS, соавторы выполнилиразработку примеров из области городского хозяйства Санкт-Петербурга, а также ре11ализацию предложенных автором метафор Web-визуализации. В [13] автору принадлежит постановка задачи о поиске повторов в документации. Автор также разработалалгоритм поиска точных повторов в документации и выполнил интеграцию результата поиска клонов с рефакторингом документации. Соавторы выполнили программную реализацию алгоритма, провели эксперименты. В [15] автором была предложенаформализация задачи слияния и-карт при разработке требований к ПО, спроектированы изменения 3DM-алгоритма.
Соавторы выполнили спецификацию обработкиконфликтов, реализацию алгоритма и его тестирование. В [16] автору принадлежитидея метода автоматического отслеживания изменений в пользовательской документации Web-приложений. Соавторы выполнили формализацию и программную реализацию метода, а также эксперименты. В [17] автору принадлежит постановка задачии формализация основных результатов.
Метод исследования и его пилотная программная реализация были предложены соавторами. В [18] автору принадлежат основные идеи DocLine. Соавтору принадлежит разработка и формализация подхода вцелом, создание архитектуры пакета инструментальных средств, а также программная реализация. В [20] автору принадлежит постановка задачи исследования, разработка общей архитектурной модели.
Уточнение деталей и программная реализациябыли выполнены соавторами. В [21] автору принадлежит разработка метода контролякачества предметно-ориентированных моделей. Соавтор выполнил детальное проектирование генератора валидаторов. Более подробная характеристика личного вкладаД. В. Кознова содержится в тексте диссертационной работы.Объем и структура работы. Диссертация состоит из введения, пяти глав, заключения, cписка литературы и приложений.
Полный объем диссертации составляет 430страниц текста, 104 рисунка, 13 таблиц и 3 приложения. Список литературы содержит452 наименования.СОДЕРЖАНИЕ РАБОТЫПервая глава содержит анализ современного состояния научных исследований вданной области и формирует концептуальный и теоретический базис разработаннойметодологии.Вторая глава посвящена разработке методологии предметно-ориентированногомоделирования (далее — Методологии). На рис. 1 представлена концептуальнаясхема Методологи, на рис. 2 — сценарий разработки DSM-решения, определяемыйМетодологией. Методология включает совокупность методов и шагов по планированию, разработке и сопровождению предметно-ориентированных решений. Предлагается специфицировать поставку DSM-проекта (для этого вводится понятие DSMрешения), выделить и спроектировать дополнительные функциональные компонентыDSM-решения, не поддерживаемые DSM-платформами — средства версионного кон12троля (слияние моделей, поиск разницы) и обеспечения качества визуальных спецификаций, средства поддержки работы с большими моделями, а также средства интеграции с другими программными системами.
Предлагается проанализировать проектные риски (для этого определяется модель рисков). Итоговые DSM-решения разделяются на две категории: (i) средства разработки ПО (для определённых сообществ илидля некоторого коллектива); (ii) средства управления знаниями на основе предметноориентированного моделирования для произвольных областей — бизнес-инжиниринга, робототехники, образования и т.д.Метод ологияСредстваверсионногоконтроляПоддержка качествавизуальныхспецификацийСредстваинтеграцииDSM-проектПлатформыИТ-решение(DSM-решение)Работа сбольшимимоделямиРискиМодель процессаразработкиСредства разработкипрограммногообеспеченияРазличные классыпрограммногообеспеченияПроекты, линейки,компанииСистемы управлениязнаниями в разныхобластяхБизнесинформатикаОбразование...Рис.1 Концептуальная схема МетодологииВажно отметить, что DSM-проекты создаются для коллективов и сообществ, выполняясь, например, внутри компании для удовлетворения её собственных нужд.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
