Просмотров-176
0

Язык моделирования систем SysML

 Системное моделирование — это междисциплинарное исследование использования моделей для концептуализации и построения систем в бизнесе и разработке ИТ. Это достаточно общее определение из Википедии.

SysML — это язык моделирования систем, основанный на UML, который расширяет его для моделирования сложных системных аспектов, таких как аппаратное обеспечение, управление конфигурацией, требования, безопасность и другие. Системное моделирование информационных систем с помощью SysML при их проектировании осуществляется путем построения моделей и дополнения их системными диаграммами.

Язык моделирования систем SysML (System Modeling Language) появился как изменение(расширение), специфицированное в виде профиля UML 2.0 .

Поэтому аналогично UML язык SysML состоит из сущностейсвойствотношений и диаграмм: типы элементов языка (называемые стереотипами) используются для спецификации системы или процесса; свойства элемента, такие как операции, свойства потоков данных и части; отношения определяют связи между элементами моделирования; SysML диаграммы используются для моделирования концепций.

В языке SysML сохранены следующие диаграммы UML: вариантов использования, конечных автоматов (диаграмма состояний), деятельности и последовательности. Но в спецификацию этого языка вошли новые диаграммы — требований, внешних и внутренних блоков, времени, параметрическая. Более подробно смотрите Учебное пособие по системной диаграмме.

Проектные решения в SysML представляются моделями, дополненными системными диаграммами.

SysML модели представляют собой структурированное описание системы, состоящей из набора взаимосвязанных сущностей. Основным строительным элементом SysML модели является блок

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

С точки зрения модели блок включает в себя набор специализированных элементов, например:

  • Часть (part) — это какая-то часть, элемент экземпляра блока, в качестве типа части указывается другой блок
  • Порт (port) — это часть блока, посредством которой он как-то взаимодействует с окружающей действительностью — передает или получает информацию/энергию/материю.
  • Поведения (Operations Или Behaviors) — какие-то действия, поведения, которые блок может демонстрировать.

Для описания отношений между блоками используется Block Definition Diagram. Отношения между блоками в SysML не отличаются многообразием. Основных отношений три:

  • Отношение включения означает, что в экземплярах блока присутствуют части, являющиеся экземплярами другого блока;
  • Отношение ассоциации означает, что между блоками имеет место какое-то взаимодействие, передача информации/энергии или еще чего-то. Сама ассоциация тоже может иметь тип Блок, показывая каким образом, посредством чего происходит взаимодействие;
  • Отношение потока (flow) показывает что между блоками происходит обмен чем-то, в свойствах этого соединения указывается тип сущности.

Созданные SysML модели дополняются и детализируются системными диаграммами. В графической нотации моделирования SysML используется девять типов диаграмм, объединенные в три группы: диаграмма требований (req), структурные диаграммы и диаграммы поведения. Кроме того в языке SysML имеются специальные таблицы распределения для сопоставления языковых элементов между типами диаграмм.

Диаграмма требований (req)  специально используемая в SysML, на которой показаны требования, отношения между ними и их взаимосвязь с другими элементами модели.

Структурные диаграммы, к которым относятся:

  • Схема определения блоков (bdd)
  • Внутренняя структурная схема (ibd)
  • Параметрическая диаграмма (par)
  • Схема упаковки (pkg)

Диаграммы поведения:

  • Схема действий (act)
  • Схема последовательности (sd)
  • Схема конечного автомата (stm)
  • Диаграмма вариантов использования (uc)

Таблицы распределения SysML поддерживают распространенные виды распределений. В то время как UML предоставляет лишь ограниченную поддержку табличных обозначений, SysML предоставляет гибкие таблицы распределения, которые поддерживают распределение требований, функциональное распределение и структурное распределение. Эта возможность облегчает автоматическую верификацию и анализ пробелов.

Подробное описание диаграмм можно посмотреть в «Учебном пособии по диаграмме SysML«.

Главным отличием SysML от UML является моделеориентированность. UML диаграммы изначально задумывались как картинки, визуальные записки. SysML диаграммы — это лишь приятное дополнение к модели, структурированному описанию системы, состоящей из набора взаимосвязанных сущностей.

Заключение

Системное моделирование при проектировании информационных систем в SysML осуществляется с помощью моделей, дополненных системными диаграммами.

Язык моделирования систем SysML поддерживает определение, анализ, проектирование, проверку и подтверждение соответствия широкого спектра систем. SysML изначально разрабатывался в рамках проекта спецификации с открытым исходным кодом, и имеет открытую лицензию для распространения и использования.

SysML предоставляет различные виды моделей и диаграмм, такие как блок-схемы, диаграммы активностей и диаграммы состояний, чтобы помочь в анализе и проектировании системной архитектуры.

Связанные материалы

Внимание! Кто хочет своевременно узнавать о выходе новой статьи на сайте должен подписаться.

ПОДПИСКА НА РАССЫЛКУ

Статьи об онлайн курсах обучения

Дистанционное обучение
Обучение программированию
Проектирование информационных систем
 
Реклама. Информация о рекламодателе по ссылкам в статье.

brasm

Пенсионер с 33 - летним педагогическим стажем

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *