МЕРОД
МЕРОД [1] — метод объектно-ориентированного моделирования предприятия , разработанный в KU Leuven (Бельгия). Его название представляет собой аббревиатуру от Model- Driven, Existence Dependency Relation , Object Oriented DE velopment. MERODE — это метод создания моделей предметной области (также называемых концептуальными моделями) в качестве основы для построения информационных систем с использованием двух известных методов построения диаграмм UML — диаграммы классов и диаграмм состояний . высокого уровня Начиная с PIM (близкого к вычислительно-независимой модели ( CIM )) можно удалять или скрывать детали, не имеющие отношения к представлению концептуального моделирования , что упрощает понимание подхода. Метод основан на алгебре процессов, которая позволяет проводить математические рассуждения на моделях. Благодаря этому модели можно проверять на внутреннюю согласованность и взаимную полноту, то есть согласованность между/внутри модели и синтаксическое качество. Автоматизированное рассуждение («последовательность по построению») [2] также предусмотрена функция автозаполнения, которая позволяет быстрее создавать правильные модели.
Типичный анализ или концептуализация MERODE состоит из трех представлений или диаграмм: так называемого графа зависимости существования (EDG), аналогичного диаграмме классов UML , собственной концепции, а именно таблицы событий объекта (OET) и группы конечных автоматов .
MERODE продвигает основанный на моделях инженерный подход к разработке программного обеспечения, . Он нацелен на независимые от платформы модели предметной области, которые достаточно полны для выполнения, то есть преобразования в модели, специфичные для платформы, и в код. Чтобы добиться автоматического преобразования моделей, MERODE ограничивает использование UML рядом четко определенных конструкций с четкой семантикой и дополняет это понятием «зависимости существования». [3] и собственный подход к моделированию взаимодействия объектов.
Модели MERODE можно создавать с помощью инструмента JMermaid с открытым исходным кодом. [4] Инструмент также позволяет проверять модели на целостность и готовность к трансформации.
Генератор сопутствующего кода [5] [6] [7] позволяет сгенерировать полностью рабочий прототип. Создание прототипа в один клик снижает требуемый набор навыков для его полезного применения. Встраивая модели в приложение, можно проследить поведение прототипа до моделей, т. е. сделать возможным проверку семантического качества моделей . Прототипы MERODE дополняются обратной связью (текстовой и графической). [8] который связывает результаты испытаний с их причинами в модели.
Ссылки
[ редактировать ]- ^ Снук, М. (2014). Проектирование информационных систем предприятия: подход MERODE: Springer.
- ^ Снук, М., Михилс, К., и Деден, Г. (2003). Последовательность по конструкции: случай MERODE. В М. А. Юсфельде, Пасторе, Оскаре (ред.), Концептуальное моделирование новых областей применения, LNCS (том 2814, стр. 105-117).
- ^ Сноек М., Дедене Г. (1998) Зависимость существования: ключ к семантической целостности между структурными и поведенческими аспектами типов объектов. IEEE Trans Softw Eng 24(24):233–251
- ^ «JMermaid: средство моделирования Java MERode» .
- ^ «Генерация кода с помощью MERODE-инструментов» .
- ^ Седракян, Г., Снук, М. Облегченный семантический прототип для концептуального моделирования, В достижениях в концептуальном моделировании, LNCS (том 8823, стр. 298-302), Труды Международной конференции по концептуальному моделированию, ER'14. Атланта, Джорджия (США), Спрингер, Швейцария
- ^ Седракян Г. и Снук М. (2013). Структура разработки требований PIM-to-Code. В материалах Modelsward 2013-1-й Международной конференции по модельно-ориентированной инженерии и разработке программного обеспечения, материалы, 163-169.
- ^ Седракян Г., Снук М. и Поэлманс С. (2014). Оценка эффективности обратной связи позволила использовать моделирование при обучении концептуальному моделированию. Компьютеры и образование, 367–382, 367–382.