МЕРОДЕ - MERODE - Wikipedia

МЕРОДЕ[1] является Объектно-ориентированный Моделирование предприятия метод, разработанный в KU Leuven (Бельгия). Его название - это аббревиатура от Mодель гонит, Eзависимость от существования рвосторг Ообъект ориентированный DEразвитие. MERODE - это метод создания модели предметной области (также называемые концептуальными моделями) в качестве основы для построения информационных систем с использованием двух известных UML техники построения диаграмм - диаграмма классов и диаграммы состояний. Начиная с высокого уровня PIM (близка к вычислительной независимой модели (CIM )) позволяет убрать или скрыть нерелевантные для концептуальное моделирование вид, который упрощает понимание подхода. Метод основан на алгебре процессов, которая позволяет проводить математические рассуждения на моделях. Благодаря этому модели могут быть проверены на внутреннюю непротиворечивость и взаимную полноту, то есть на внутреннюю / внутреннюю непротиворечивость и синтаксическое качество. Автоматизированное рассуждение («последовательность по построению») [2] также поддерживает функцию автозаполнения, что позволяет быстрее создавать правильные модели.

Типичный анализ или концептуализация MERODE состоит из трех представлений или диаграмм: так называемого графа зависимости существования (EDG), аналогичного графу Диаграмма классов UML, фирменная концепция, а именно таблица событий объекта (OET) и группа конечные автоматы.

MERODE способствует развитию модельно-ориентированная инженерия подход к разработке программного обеспечения. Он нацелен на независимые от платформы модели предметной области, которые достаточно полны для выполнения, то есть преобразования в платформенно-зависимые модели и код. Чтобы добиться автоматического преобразования моделей, MERODE ограничивает использование UML рядом четко определенных конструкций с четкой семантикой и дополняет это понятием «зависимости существования» [3] и запатентованный подход к моделированию взаимодействия объектов.

MERODE-модели могут быть созданы с помощью инструмента кейсов с открытым исходным кодом JMermaid.[4] Также инструмент позволяет проверять модели на согласованность и готовность к трансформации.

Компаньон генератор кода [5][6][7] позволяет сгенерировать полностью рабочий прототип. Производство прототипа одним щелчком мыши снижает необходимый набор навыков для его полезного применения. Путем встраивания моделей в приложение поведение прототипа можно проследить до моделей, то есть сделать возможным проверку семантической качество моделей. Прототипы MERODE дополнены отзывами (текстовыми и графическими) [8] который связывает результаты теста с их причинами в модели.

Рекомендации

  1. ^ Снок, М. (2014). Разработка информационных систем предприятия: подход MERODE: Springer.
  2. ^ Снок, М., Михилс, К., Деден, Г. (2003). Последовательность по конструкции: случай MERODE. В M. A. Jeusfeld, Pastor, Oscar (Ed.), Концептуальное моделирование для новых прикладных областей, LNCS (том 2814, стр. 105-117).
  3. ^ Снок М., Деден Г. (1998) Зависимость существования: ключ к семантической целостности между структурными и поведенческими аспектами типов объектов. IEEE Trans Softw Eng 24 (24): 233–251
  4. ^ http://merode.econ.kuleuven.ac.be/mermaid.aspx
  5. ^ http://merode.econ.kuleuven.ac.be/cgintro.aspx
  6. ^ Седракян Г., Снок М. Облегченный семантический прототип для концептуального моделирования, In Advances in Conceptual Modeling, LNCS (Vol. 8823, pp. 298-302), Proceedings of International Conference on Conceptual Modeling, ER'14. Атланта, Джорджия (США), Springer, Швейцария
  7. ^ Седракян Г., Сноек М. (2013). Фреймворк проектирования требований PIM-to-Code. In Proceedings of Modelsward 2013-1th International Conference on Model-driven Engineering and Software Development-Proceedings, 163-169.
  8. ^ Седракян, Г., Снок, М., & Поэлманс, С. (2014). Оценка эффективности обратной связи позволила моделировать обучение концептуальному моделированию. Компьютеры и образование, 367-382, 367-382.

внешняя ссылка