Компьютерные науки

Визуальное моделирование: теория и практика

Программа о современных методах визуального моделирования программных систем. В программе изучаются стандарты UML 2.0 и BPMN, а также подходы к проектированию баз данных и систем реального времени. Рассматривается проблема семантического соответствия между графическими моделями и кодом.
Студентов 3170 Выпускников 377 Для специалистов
690 ₽ 1 200 ₽
или любая сумма на ваше усмотрение
Вы можете оплатить любую сумму, чтобы поддержать наш проект и авторов программы. Объем услуг не зависит от размера вашей оплаты.
Темы:
Программирование
Объем
36 час.
Длительность
30 дней
Нагрузка в неделю
9 час.
Формат обучения
Дистанционно (самостоятельно)
Описание В рамках обучения рассматриваются графические языки и инструменты проектирования программного обеспечения. Учебная программа посвящена детальному разбору стандартов UML и BPMN, а также изучению предметно-ориентированного подхода (DSM) с применением Microsoft DSL Tools. Обучение ориентировано на системных архитекторов и аналитиков, стремящихся преодолеть разрыв между концептуальными схемами и реализацией. Обучение включает анализ психологических аспектов восприятия моделей, проектирование бизнес-процессов и закрепление теории визуальных языков через серию проверочных заданий.
Цели
  • Сформировать глубокое понимание стандартов визуального моделирования UML 2.0 и BPMN.
  • Раскрыть психологические и инженерные аспекты работы с графическими моделями.
  • Познакомить с методами проектирования баз данных и систем реального времени.
Чему я научусь?
  • Применять стандарты UML и BPMN для описания программного обеспечения и бизнес-процессов.
  • Использовать визуальные модели для проектирования архитектуры и баз данных.
  • Анализировать иерархию метаописаний и управлять семантическим разрывом.
  • Работать с предметно-ориентированными языками на DSM-платформах.

Авторы

Кознов Дмитрий Владимирович
Кознов Дмитрий Владимирович
Кандидат физико-математических наук, доцент, заведующий лабораторией CASE-технологий НИИ ИТ Санкт-петербургского государственного университета (СПбГУ), доцент кафедры системного программирования математико-механического факультета СПбГУ.
Чему я научусь?
  • Применять стандарты UML и BPMN для описания программного обеспечения и бизнес-процессов.
  • Использовать визуальные модели для проектирования архитектуры и баз данных.
  • Анализировать иерархию метаописаний и управлять семантическим разрывом.
  • Работать с предметно-ориентированными языками на DSM-платформах.

Учебный план

№ Занятия
Экзамен экстерном Внимание! Экзамен экстерном не обязательный для сдачи. При желании вы можете его пройти, если хотите подтвердить свои знания по данному курсу без его изучения или поверить свои знания по нему. Экзамен экстерном можно сдать только один раз. 90 мин
1 Определение визуального моделирования "Здесь рассказывается о роли чертежей в стандартизации промышленного производства в классических, инженерных областях (строительстве, машиностроении, электротехнике... "Здесь рассказывается о роли чертежей в стандартизации промышленного производства в классических, инженерных областях (строительстве, машиностроении, электротехнике и т. д.). Обсуждается причины, препятствующие использованию чертежного проектирования при разработке программных систем ""as is"". Вводится понятие метафоры визуализации, обосновывается практическая значимость графовой метафоры при визуализации ПО. Дается определение визуального моделирования и средств визуального моделирования - языков, методов, программных инструментов. Рассказывается о семантическом разрыве между визуальными моделями и программным кодом, препятствующим автоматической генерации кода по моделям" ещё
Определение визуального моделирования тест для курса Визуальное моделирование: теория и практика 20 мин
2 Иерархия метаописаний. Точка зрения моделирования. Граф модели и диаграммы В этой лекции представлена иерархия метаописаний, необходимая при изучении и использовании визуального моделирования, а также при... В этой лекции представлена иерархия метаописаний, необходимая при изучении и использовании визуального моделирования, а также при создании новых программных инструментов в этой области. Рассказывается о том, что такое точка зрения (viewpoint) моделирования, показывается, что при разработке ПО необходимо создавать множество моделей, выполненных с разных точек зрения. Результаты визуального моделирования разделяются на граф модели и его представления (диаграммы). Рассматриваются детали функциональности CASE-пакетов - браузер модели и репозиторий, операции над графом модели и диаграммами ещё
Иерархия метаописаний. Точка зрения моделирования. Граф модели и диаграммы тест для курса Визуальное моделирование: теория и практика 25 мин
3 Введение в UML 2.0, Часть I В этой лекции рассказывается о типах диаграмм UML 2.0, подробно рассматриваются диаграммы случаев использования, активностей, компонент,... В этой лекции рассказывается о типах диаграмм UML 2.0, подробно рассматриваются диаграммы случаев использования, активностей, компонент, развертывания, коммуникаций и последовательностей, временные диаграммы, диаграммы схем взаимодействия ещё
Введение в UML 2.0, Часть I тест для курса Визуальное моделирование: теория и практика 40 мин
4 Введение в UML 2.0, часть II В этой лекции подробно рассматриваются следующие диаграммы UML: классов, пакетов, объектов, композитных структур, конечных автоматов. Делается... В этой лекции подробно рассматриваются следующие диаграммы UML: классов, пакетов, объектов, композитных структур, конечных автоматов. Делается обзор литературы для дальнейшего знакомства с UML ещё
Введение в UML 2.0, часть II тест для курса Визуальное моделирование: теория и практика 50 мин
5 Человеческие аспекты применения визуального моделирования "В этой лекции вводятся четыре базовые функции процесса разработки ПО, в которых визуальное моделирование используется существенно... "В этой лекции вводятся четыре базовые функции процесса разработки ПО, в которых визуальное моделирование используется существенно по-разному: проектирование принципиально новой, уникальной системы ещё
Человеческие аспекты применения визуального моделирования тест для курса Визуальное моделирование: теория и практика 35 мин
6 Визуальное моделирование систем реального времени, часть I В этой лекции дается определение системам реального времени (СРВ), рассматривается их специфика по сравнению с другим... В этой лекции дается определение системам реального времени (СРВ), рассматривается их специфика по сравнению с другим программным обеспечением. Обосновывается использование при их моделировании таких абстракций, как компонента, канал, порт и интерфейс. Рассказывается о моделировании структуры систем реального времени с помощью диаграмм композитных структур UML 2.0. Вводится понятие реактивных систем - подкласса систем реального времени, поведение которых удобно моделировать конечными автоматами ещё
Визуальное моделирование систем реального времени, часть I тест для курса Визуальное моделирование: теория и практика 30 мин
7 Визуальное моделирование систем реального времени, часть II В этой лекции рассказывается о том, как моделировать поведение систем реального времени с использованием диаграмм конечных... В этой лекции рассказывается о том, как моделировать поведение систем реального времени с использованием диаграмм конечных автоматов UML 2.0. Рассматривается пример из области мобильной связи, приводится и подробно обсуждается сгенерированный по UML-диаграммам программный код ещё
Визуальное моделирование систем реального времени, часть II тест для курса Визуальное моделирование: теория и практика 20 мин
8 Визуальное моделирование баз данных "В этой лекции рассказывается о визуальном моделировании схем баз данных на основе модели ""сущность-связь"". Показывается, как... "В этой лекции рассказывается о визуальном моделировании схем баз данных на основе модели ""сущность-связь"". Показывается, как это делать с помощью диаграммы классов UML. Рассматриваются разные виды схем данных - концептуальная, логическая и физическая, затрагиваются вопросы автоматической генерации кода для самых распространенных промышленно-используемых СУБД - реляционных. Подробно рассматривается реализация отношений ""многие-ко-многим"", ""один-ко-многим"", а также наследования. В качестве примера представлен фрагмент схемы баз данных приложения, автоматизирующего работу факультета университета, реализованный в Microsoft Visual Studio для СУБД Microsoft SQL Server" ещё
Визуальное моделирование баз данных тест для курса Визуальное моделирование: теория и практика 25 мин
9 Визуальное моделирование бизнес-процессов В этой лекции рассматривается понятие бизнес-процесса. Рассказывается об исполняемой семантике бизнес-процессов, об их связи с web-сервисами.... В этой лекции рассматривается понятие бизнес-процесса. Рассказывается об исполняемой семантике бизнес-процессов, об их связи с web-сервисами. Кратко рассматриваются ERP-системы. Представлено введение в язык моделирования бизнес-процессов - новый стандарт комитета OMG под названием BPMN ещё
Визуальное моделирование бизнес-процессов тест для курса Визуальное моделирование: теория и практика 35 мин
10 Cемейства программных продуктов. DSM-подход В этой лекции рассказывается о подходе к разработке ПО с помощью создания в компании семейства программных... В этой лекции рассказывается о подходе к разработке ПО с помощью создания в компании семейства программных продуктов (software product line). Перечисляются и комментируются различные виды повторно используемых активов программной разработки. Приводятся этапы создания семейства продуктов. Дается определение DSM-подхода (Domain-Specific Modeling), рассматривается его применение в контексте product line. Подробно обсуждаются функциональные возможности и структура DSM-пакетов. Рассказывается об основных на данный момент средствах разработки DSM-пакетов: Eclipse/GMF, Microsoft DSL Tools, Microsoft Visio 2003 ещё
Cемейства программных продуктов. DSM-подход тест для курса Визуальное моделирование: теория и практика 30 мин
11 О строении визуальных языков "В этой лекции представлено краткое введение в семиотику: даются определения понятиям ""язык"" и ""текст"", а также... "В этой лекции представлено краткое введение в семиотику: даются определения понятиям ""язык"" и ""текст"", а также объясняется, что такое синтаксис, семантика и прагматика языка. В контексте визуальных языков синтаксис подразделяется на абстрактный, конкретный (нотация) и служебный. Дается обзор различных формальных техник спецификации визуальных языков. Возможно, не вся информация этой лекции будет сразу понятна (особенно это касается формальных техник). Тогда следует вернуться к этой лекции после освоения двух следующих" ещё
О строении визуальных языков тест для курса Визуальное моделирование: теория и практика 25 мин
12 Пример предметно-ориентированного визуального языка В этой лекции рассматривается пример предметно-ориентированного визуального языка для моделирования компонент и их конечно-автоматного поведения. На... В этой лекции рассматривается пример предметно-ориентированного визуального языка для моделирования компонент и их конечно-автоматного поведения. На этом примере демонстрируются различные формальные техники, используемые для спецификации визуальных языков - грамматики в форме Бэкуса-Наура, графические грамматики, метамоделирование, язык OCL, XML. Сформулированы практические рекомендации по созданию метамоделей для DSL ещё
Пример предметно-ориентированного визуального языка тест для курса Визуальное моделирование: теория и практика 25 мин
13 Знакомство с DSM-платформой Microsoft DSL TOOLS В этой лекции рассказывается, как создавать предметно-ориентированные языки (DSLs) с помощью продукта Microsoft DSL Tools и... В этой лекции рассказывается, как создавать предметно-ориентированные языки (DSLs) с помощью продукта Microsoft DSL Tools и как на основе этих спецификаций разрабатывать свой собственный графический редактор. ещё
Знакомство с DSM-платформой Microsoft DSL TOOLS тест для курса Визуальное моделирование: теория и практика 55 мин
Тренировочный экзамен Внимание! Тренировочный экзамен экстерном не обязательный для сдачи. При желании вы можете его пройти, если хотите проверить свои знания курса перед сдачей экзамена. Тренировочный экзамен можно сдавать сколько угодно один раз. 90 мин
Экзамен 60 мин

Какой документ я получу?

Сертификат

Выдаётся автоматически после успешного завершения программы.

Удостоверение о повышении квалификации

Выдается при наличии среднего специального или высшего образования (необходимые документы).

Стоимость программы

690 ₽ 1 200 ₽
или любая сумма на ваше усмотрение
Вы можете оплатить любую сумму, чтобы поддержать наш проект и авторов программы. Объем услуг не зависит от размера вашей оплаты.
^