stringtranslate.com

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

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

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

Обзор

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

Распространенные области применения метамоделей:

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

Темы

Иллюстрация метаобъектного объекта
Справочная модель FEA Business в США [5]
Пример онтологии
Метамодель DoDAF​

Определение

В программной инженерии использование моделей является альтернативой более распространенным методам разработки на основе кода. Модель всегда соответствует уникальной метамодели. Одной из наиболее активных в настоящее время ветвей Model Driven Engineering является подход, называемый Model-Driven Architecture, предложенный OMG . Этот подход воплощен в спецификации Meta Object Facility (MOF). [ необходима цитата ]

Типичные спецификации метамоделирования, предлагаемые OMG, — это UML , SysML , SPEM или CWM. ISO также опубликовала стандартную метамодель ISO/IEC 24744. [ 6] Все представленные ниже языки могут быть определены как метамодели MOF.

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

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

Трансформации модели

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

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

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

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

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

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

Библиотека подобных метамоделей была названа Зоопарком метамоделей. [11] Существует несколько типов зоопарков метамоделей. [12] Некоторые из них выражены в ECore. Другие написаны в MOF 1.4 – XMI 1.2. Метамодели, выраженные в UML - XMI 1.2, могут быть загружены в Poseidon для UML, инструмент UML CASE .

Смотрите также

Ссылки

  1. ^ Дэвид Р. Соллер и др. (2001) Отчет о ходе работы над Национальной базой данных геологических карт, Фаза 3: Онлайновая база данных картографической информации. Методы цифрового картирования '01 — Труды семинара. Отчет Геологической службы США в открытом доступе 01-223.
  2. ^ Сараджу Моханти , Глава 12 Методологии проектирования быстрых AMS-SoC на основе метамоделей, «Проектирование наноэлектронных систем со смешанными сигналами», ISBN 978-0071825719 и 0071825711, 1-е издание, McGraw-Hill, 2015.  
  3. ↑ Олег Гарицелов, Сараджу Моханти и Элиас Кугианос, «Сравнительное исследование метамоделей для быстрого и точного моделирования схем нано-КМОП. Архивировано 23 сентября 2015 г. в Wayback Machine », IEEE Transactions on Semiconductor Manufacturing (TSM), том 25, № 1, февраль 2012 г., стр. 26–36.
  4. ^ Сараджу Моханти. Исследование сверхбыстрого проектирования наносхем с помощью метамоделирования. Архивировано 23 сентября 2015 г. на Wayback Machine , приглашенный доклад, Semiconductor Research Corporation (SRC), Техасский аналоговый центр передового опыта (TxACE), 27 апреля 2012 г.
  5. ^ FEA (2005) Профиль управления записями FEA, версия 1.0. 15 декабря 2005 г.
  6. ^ Международная организация по стандартизации/Международная электротехническая комиссия, 2007. ISO/IEC 24744. Программная инженерия — метамодель для методологий разработки.
  7. ^ E. Söderström и др. (2001) «К фреймворку для сравнения языков моделирования процессов», в: Lecture Notes In Computer Science ; Vol. 2348. Труды 14-й Международной конференции по передовой инженерии информационных систем. Страницы: 600 – 611, 2001
  8. ^ ab Pidcock, Woody (2003), Каковы различия между словарем, таксономией, тезаурусом, онтологией и метамоделью?, архивировано из оригинала 14 октября 2009 г. , извлечено 10 октября 2009 г.
  9. ↑ Эрнст, Йоханнес (2002), Что такое метамоделирование и для чего оно нужно?, архивировано из оригинала 9 октября 2011 г. , извлечено 9 октября 2009 г.
  10. ^ Сараджу Моханти и Элиас Кугианос, «Быстрая оптимизация схем генераторов нано-КМОП на основе полиномиальной метамодели. Архивировано 10 августа 2014 г. на Wayback Machine », журнал Springer Analog Integrated Circuits and Signal Processing, том 79, выпуск 3, июнь 2014 г., стр. 437–453.
  11. ^ Жан-Мари Фавр: На пути к базовой теории для моделирования инженерного дела. Архивировано 15 октября 2006 г. на Wayback Machine .
  12. ↑ AtlanticZoo Архивировано 29 апреля 2006 г. на Wayback Machine .

Дальнейшее чтение

На Викискладе есть медиафайлы по теме «Метамоделирование» .