PETROV / ____. ____ ____. ______ No.2 [2013-2014]

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Моделеориентированная системная инженерия (MDSE)

Моделеориентированная СИ (англ. MDSE — Model-Driven Systems Engineering) ставит своей целью создать исчерпывающий «компьютерный макет» системы, добиться ее достоверного поведения в «виртуальной реальности». Программную поддержку MDSE оказывают PLM-системы и системы категорий CAD / CAE / CAM (CAx).

Активными участниками рынка PLM / CAx-систем являются:

Dassault Systèmes S.A. (Франция) — CATIA, SolidWorks;

Siemens PLM Software (Германия, США) — NX.

31

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

MDSE в ПИ: методология MDD

Частной реализацией MDSE в ПИ являются моделеориентированный дизайн (англ. Model-Driven Design)

имоделеориентированная разработка (англ. Model-Driven Development) — современные методологии разработки ПО, в основе которых — активное применение практики моделирования целевых программных систем.

Широкую поддержку MDSE оказывают:

развиваемая с 2001 г. инициатива Object Management Group

Model-Driven Architecture (MDA);

развитие кросс-платформенных средств разработки (в том числе средств разработки) на платформе Eclipse.

32

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Инициатива MDA (1 / 2)

Основными положениями инициативы MDA являются:

последовательное использование для разработки приложений платформенно-независимых моделей (англ. PlatformIndependent Model, PIM), не связанных с конкретными технологическими стеками (Microsoft .NET, Oracle Java EE), языками (C#, PHP) или каркасами (Zend Framework);

формальный перевод PIM в платформенно-зависимые модели (англ. Platform-Specific Model, PSM) — должен описываться на языке трансформации моделей (англ. Model Transformation Language, MTL) и выполняться автоматически;

применение проблемно-ориентированных языков (англ.

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Инициатива MDA (2 / 2)

С позиции MDA, абстрактный архитектурный дизайн отвечает за удовлетворение функциональных требований

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

С инициативой MDA связан ряд смежных стандартов OMG, в том числе регламентирующих:

языки описания архитектуры инженерных систем и предприятий: UML, OCL, SysML, BPMN;

декларативные и императивные MTL: QVT Core, QVT Relations, QVT Operational;

обработку моделей: Meta-Object Facility (MOF) и др.

34

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Инициатива MDA: примеры (1 / 2)

Для построения PIM пригодны:

потоковые диаграммы и DFD;

диаграммы IDEFx, BPMN и т.д.

Для выражения PSM пригодны:

языки программирования: C++, Fortran, PHP;

частные диалекты языка SQL;

описания форматов хранения и протоколов передачи данных и др.

35

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Инициатива MDA: примеры (2 / 2)

Как MTL могут использоваться:

языки семейства QVT (Query / View / Transformation);

Eclipse M2M (см. далее) и др.

Примерами DSL выступают:

языки командных процессоров

(в Unix-подобных и других ОС);

стандартные языки разметки и структурирования данных (*ML);

стандартный язык SQL и пр.

36

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Критика MDD

Важно заметить, что методология MDD подчас встречает сопротивление экспертного сообщества. Основными тезисами MDD-критиков являются:

пригодные для генерации кода модели по сложности не уступают самому исходному коду, но часто лишены операционной семантики;

MDD нацелена на прямую разработку, — поддержка обратной разработки, важной при анализе унаследованных систем

(англ. legacy systems) весьма слаба.

37

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Вопросы и обсуждение

38