Диссертация (1145120)

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла

Санкт-Петербургский государственный университетНа правах рукописиКозновДмитрий ВладимировичМЕТОДОЛОГИЯ И ИНСТРУМЕНТАРИЙ ПРЕДМЕТНООРИЕНТИРОВАННОГО МОДЕЛИРОВАНИЯ05.13.11 — Математическое и программное обеспечение вычислительных комплексов, систем и сетейДиссертация на соискание учёной степенидоктора технических наукНаучный консультант:ТЕРЕХОВ Андрей Николаевич,доктор физико-математических наук, профессорСанкт-Петербург2015ОглавлениеВведение ...................................................................................................................................................... 4Глава 1.

Обзор ...........................................................................................................................................131.1 Визуальное моделирование .........................................................................................................131.2 Предметно-ориентированное моделирование .........................................................................351.3 Разработка корпоративных ИТ-архитектур .................................................................................601.4 Выводы ............................................................................................................................................66Глава 2. Методология предметно-ориентированного моделирования ...........................................672.1 Обзор методологии ........................................................................................................................692.2 DSM-решение ..................................................................................................................................822.3 Модель рисков DSM-проектов......................................................................................................882.4 Модель процесса разработки DSM-решения .............................................................................932.5 Сравнения и соотнесения ............................................................................................................1052.6 Выводы ..........................................................................................................................................115Глава 3.

Модели, методы и алгоритмы ...............................................................................................1173.1 Модель v2v-трансформаций .......................................................................................................1193.2 Алгоритм слияния моделей .......................................................................................................1353.3 Метод контроля качества предметно-ориентированных спецификаций ............................1473.4 Сравнения и соотнесения ............................................................................................................1703.5 Выводы ..........................................................................................................................................187Глава 4.

Анализ, проектирование, разработка и сопровождение специализированных классовПО .............................................................................................................................................................1894.1. FSS-метод формализации публичных/государственных услуг .............................................1934.2 Модель для проектирования программно-аппаратных систем ...........................................2124.3 Метод DocLine ...............................................................................................................................2224.4 Модель КИТ-решения ..................................................................................................................2444.5 Сравнения и соотнесения ............................................................................................................2574.6 Выводы ..........................................................................................................................................266Глава 5.

Примеры предметно-ориентированных решений..............................................................2685.1Модернизация технологии ОРГ-Мастер .....................................................................................2685.2 Решение для проектирования контента Web-портала ............................................................3025.3 Диаграммная Web-визуализация деятельности правительства города Москвы ................31825.4 Моделирование ИТ-архитектуры крупной корпорации .........................................................3325.5 Система групповой работы с и-картами и её использование в образовании ......................3405.6 Проекты Real и Real-IT ..................................................................................................................3515.7 Выводы ..........................................................................................................................................368Заключение .............................................................................................................................................369Литература ...............................................................................................................................................373Приложение 1.

Описание метамодели языка THCL ...........................................................................413Приложение 2. Конкретный синтаксис языка DRL/GR .......................................................................425Приложение 3. Примеры и-карт дипломных записок ......................................................................4283ВведениеВ конце 40-х годов J. von Neumann предложил блок-схемы для облегченияввода математических алгоритмов в вычислительную машину [256].

Этособытие можно считать рождением визуального моделирования как способаиспользовать графические языки для представления программ. В 50–60-хгодах блок-схемы были стандартизованы [157], но в 70-х годах они былипризнаны неэффективными [400]. Тем не менее, идея использоватьграфические языки при разработке программного обеспечения (ПО)получила дальнейшее развитие — уже в контексте анализа и проектированияПО. Это совпало с образованием программной инженерии в конце 60-х годови поисками новых концептуальных средств для создания сложныхпрограммных продуктов.

Аналогия с чертёжным проектированием встроительстве, машиностроении и других инженерных областях вдохновилановую волну исследований в попытках создать надёжный метод разработкиПО на основе чертежей программ. В 60-х–80-х годах были созданымногочисленные методы структурного анализа [223], [340], [383], [384],[413], [446], [447].

В 70-х–90-х годах европейским комитетом потелекоммуникациям CCITT (ныне ITU) развивается и активно продвигается втелекоммуникационной индустрии язык моделирования SDL (Specificationand Description Language) и ряд сопутствующих стандартов [285], [286],[287], [288]. В 90-х годах, в связи с распространением объектноориентированного подхода к разработке ПО, методы структурного анализа ипроектированияпотребоваликоренноймодернизации[206],и,соответственно, стал развиваться объектно-ориентированный анализ ипроектирование [182], [283], [325], [341], [347], [388], [393], [441].

Врезультате в конце 90-х годов международным комитетом OMG (ObjectManagement Group) был создан стандарт визуального моделирования ПО подназванием UML (Unified Modeling Language) [426]. В начале 2000-х годовбыл выпущен стандарт MDA (Model Driven Architecture) [348], обобщивший4достижения визуального моделирования и обозначивший существованиеобласти под названием модельно-ориентированная инженерия (Model DrivenEngineering, MDE). В это же время были созданы широко известные методыразработки ПО, основанные на UML — RUP (Rational Unified Process) [324] иUSDP (Unified Software Development Process) [291]. В настоящее время MDEи UML преподаётся, практически, в каждом университете, где обучают ИТтехнологиям и программной инженерии, активно исследуются вопросыпреподавания этой дисциплины [45], [180], [184], [357], [371], визуальноемоделирование используется также в преподавании различных учебныхпредметов [9], [58], [66], [116], [117], [314], [317].Однако в последнее время эффективность UML подвергается серьёзнойкритике [224], [226], [269], [372], [420].

Характеристики

Тип файла PDF

PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.

Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.

Список файлов диссертации