Метамоделирование

редактировать
«Мета-модель» перенаправляется сюда. Для использования в других целях, см Мета-модель (значения).

Пример метамодели информации геологической карты с четырьмя типами метаобъектов и их ссылками на себя.

Метамодель или суррогатная модель - это модель модели, а метамоделирование - это процесс создания таких метамоделей. Таким образом, метамоделирование или мета-моделирование - это анализ, построение и разработка рамок, правил, ограничений, моделей и теорий, применимых и полезных для моделирования заранее определенного класса проблем. Как следует из названия, эта концепция применяет понятия мета- и моделирования в программной инженерии и системной инженерии. Метамодели бывают разных типов и имеют разнообразное применение.

СОДЕРЖАНИЕ
  • 1 Обзор
  • 2 темы
    • 2.1 Определение
    • 2.2 Моделирование метаданных
    • 2.3 Преобразования модели
    • 2.4 Связь с онтологиями
    • 2.5 Типы метамоделей
    • 2.6 Зоопарки метамоделей
  • 3 См. Также
  • 4 ссылки
  • 5 Дальнейшее чтение
Обзор

Метамодель / суррогатная модель - это модель модели, то есть упрощенная модель реальной модели схемы, системы или программного обеспечения, подобного объекту. Метамодель может быть математическим соотношением или алгоритмом, представляющим входные и выходные отношения. Модель представляет собой абстракцию явлений в реальном мире ; метамодель - это еще одна абстракция, выделяющая свойства самой модели. Модель соответствует своей метамодели так, как компьютерная программа соответствует грамматике языка программирования, на котором она написана. Различные типы метамоделей включают полиномиальные уравнения, нейронную сеть, кригинг и т. Д. «Метамоделирование» - это построение набора «концепций» (вещей, терминов и т. Д.) В определенной области. Метамоделирование обычно включает изучение выходных и входных отношений, а затем подгонку правильных метамоделей для представления этого поведения.

Обычно метамодели используют:

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

Из-за «мета» характера метамоделирования и практика, и теория метамоделей имеют отношение к метанауке, метафилософии, метатеориям и системности, а также метасознанию. Эта концепция может быть полезна в математике и имеет практическое применение в информатике и компьютерной инженерии / разработке программного обеспечения. Последним и будет уделено основное внимание в данной статье.

Темы
Иллюстрация объекта мета-объекта. Эталонная бизнес-модель ВЭД США. Пример онтологии. DoDAF метамодель.

Определение

В программной инженерии использование моделей является альтернативой более распространенным методам разработки на основе кода. Модель всегда соответствует уникальной метамодели. Одна из наиболее активных в настоящее время ветвей Model Driven Engineering - это подход, названный модельно-управляемой архитектурой, предложенный OMG. Этот подход основан на использовании языка для написания метамоделей, который называется Meta Object Facility или MOF. Типичные метамодели, предлагаемые OMG, - это UML, SysML, SPEM или CWM. ISO также опубликовал стандартную метамодель ISO / IEC 24744. Все представленные ниже языки можно определить как метамодели MOF.

Моделирование метаданных

Моделирование метаданных - это тип метамоделирования, используемый в разработке программного обеспечения и системной инженерии для анализа и построения моделей, применимых и полезных для некоторого заранее определенного класса проблем. (см. также: моделирование данных ).

Преобразования модели

Одним из важных шагов в проектировании, управляемом моделями, является систематическое использование языков преобразования моделей. OMG предложила для этого стандарт, называемый QVT для запросов / представлений / преобразований. QVT основан на мета-объектном средстве (MOF). Среди многих других языков преобразования моделей (MTL) некоторые примеры реализаций этого стандарта - AndroMDA, VIATRA, Tefkat, MT, ManyDesigns Portofino.

Связь с онтологиями

Мета-модели тесно связаны с онтологиями. Оба часто используются для описания и анализа отношений между концепциями.

  • Онтологии: выражают что-то значимое в определенной вселенной или области дискурса, используя грамматику для использования словаря. Грамматика определяет, что значит быть хорошо сформированным утверждением, утверждением, запросом и т. Д. (Формальные ограничения) относительно того, как термины в контролируемом словаре онтологии могут использоваться вместе.
  • Мета-моделирование: можно рассматривать как явное описание (конструкции и правила) того, как строится предметно-ориентированная модель. В частности, он включает формализованную спецификацию нотаций, специфичных для предметной области. Как правило, метамодели представляют собой - и всегда должны следовать - строгому набору правил. «Действительная метамодель - это онтология, но не все онтологии явно смоделированы как метамодели».

Типы метамоделей

Для разработки программного обеспечения можно выделить несколько типов моделей (и соответствующих им действий по моделированию):

Зоопарки метамоделей

Библиотека подобных метамоделей получила название Зоопарк метамоделей. Есть несколько типов метамодельных зоопарков. Некоторые из них выражены в ECore. Остальные написаны на MOF 1.4 - XMI 1.2. Метамодели, выраженные в UML - XMI 1.2, могут быть загружены в Poseidon для UML, инструмент UML CASE.

Смотрите также
использованная литература
дальнейшее чтение
Последняя правка сделана 2024-01-02 08:30:35
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте