Язык объектных ограничений

От / / Оставьте комментарий

Язык объектных ограничений Язык объектных ограничений (OCL) – декларативный язык для описания правил в моделях Unified Modeling Language (UML).  OCL […]

Formal specification languages, ISO standards, Unified Modeling Language, стандарты ISO, Унифицированный язык моделирования, языки формальных спецификаций

Язык объектных ограничений

  • Язык объектных ограничений (OCL) – декларативный язык для описания правил в моделях Unified Modeling Language (UML). 
  • OCL является частью стандарта UML и может использоваться с мета-моделями группы управления объектами (OMG). 
  • OCL предоставляет ограничения и объектные функции для моделей MOF или метамоделей. 
  • OCL является ключевым компонентом новой стандартной рекомендации OMG по преобразованию моделей (QVT). 
  • OCL дополняет UML, обеспечивая точность и навигацию по моделям. 
  • OCL связывает утверждения с метаэлементами модели и делает метаобъектную модель более точной. 
  • OCL и QVT играют важную роль в проектировании на основе моделей (MDE) и архитектуре, основанной на моделях. 
  • Альтернативами OCL являются Schematron и Alloy. 
  • Eclipse OCL и AgileUML расширяют стандартный OCL дополнительными операторами и типами для карт. 

Полный текст статьи:

Язык объектных ограничений — Википедия

Похожие статьи:

  1. QVT Оглавление1 QVT – коэффициент полезного действия1.1 Обзор QVT1.2 История и реализации1.3 Похожий на QVT1.4 Полный текст...
  2. Исполняемый UML Оглавление1 Исполняемый файл UML1.1 Обзор исполняемого UML1.2 Ключевые аспекты исполняемого UML1.3 Различия между исполняемым и стандартным...
  3. Группа управления объектами Оглавление1 Группа управления объектами1.1 Обзор OMG1.2 Цели и стандарты1.3 История и развитие1.4 Текущие инициативы1.5 Ратификация стандартов...
  4. Инструмент UML Оглавление1 Инструмент UML1.1 Обзор инструмента UML1.2 Функциональность инструмента UML1.3 Генерация кода1.4 Обратный инжиниринг1.5 Обмен моделями и...
  5. Объектный файл Оглавление1 Объектный файл1.1 Определение и использование объектных файлов1.2 Метаданные в объектных файлах1.3 Терминология и история1.4 Компоновка...
  6. Маркированные данные Оглавление1 Помеченные данные1.1 Контролируемое обучение1.2 Обучение без присмотра1.3 Онлайн-обучение1.4 Пакетное обучение1.5 Мета-обучение1.6 Самостоятельное обучение1.7 Квантовое машинное...
  7. Единый язык моделирования Унифицированный язык моделирования UML – универсальный язык визуального моделирования для визуализации дизайна системы.  UML предоставляет стандартную...
  8. Техника туда и обратно Оглавление1 Проектирование поездок в оба конца1.1 Основы комплексного проектирования1.2 Связь с традиционными дисциплинами1.3 Типы RTE1.4 Автоматическая...
  9. Пользовательский режим Linux Оглавление1 Linux в пользовательском режиме1.1 Основы UML1.2 Возможности и применение1.3 Интеграция в ядро Linux1.4 Сравнение с...
  10. Модели общения Оглавление1 Модели коммуникации1.1 Модели коммуникации1.2 Критика моделей1.3 Основные компоненты и взаимодействия1.4 Классификация моделей1.5 История и развитие1.6...
  11. Язык объектного моделирования Оглавление1 Язык объектного моделирования1.1 Основы языка объектного моделирования1.2 Связь с методологией разработки1.3 Этапы разработки и сопровождения1.4...
  12. Язык системного моделирования Оглавление1 Язык моделирования систем1.1 Обзор языка SysML1.2 Улучшения по сравнению с UML1.3 Таблицы распределения и управление...
  13. Язык преобразования моделей Оглавление1 Язык преобразования модели1.1 Обзор языков преобразования моделей1.2 Преимущества специализированных языков1.3 Примеры доступных языков1.4 Рекомендации и...
  14. Французский язык – Википедия Оглавление1 Французский язык1.1 Происхождение и развитие французского языка1.2 Распространение и статус1.3 Международный статус1.4 История и эволюция1.5...
  15. История пандемии COVID-19 в Великобритании Оглавление1 История пандемии COVID-19 в Соединенном Королевстве1.1 История пандемии COVID-19 в Великобритании1.2 Вакцинация и ограничения1.3 Дельта...
  16. История численного прогноза погоды Оглавление1 История численного прогнозирования погоды1.1 История численного прогнозирования погоды1.2 Разработка моделей глобального прогнозирования1.3 Статистика выходных данных...
  17. Программирование логики ограничений Оглавление1 Программирование логики ограничений1.1 Основы логики ограничений1.2 Ограничения и переменные1.3 Типы ограничений1.4 Хранилище ограничений1.5 Маркировка1.6 Переформулировка...
  18. Профили (UML) Оглавление1 Профиль (UML)1.1 Основы профилей UML1.2 Структура и применение профилей1.3 Примеры профилей1.4 Сноски и рекомендации1.5 Примечания1.6...
  19. Трансформация модели Оглавление1 Трансформация модели1.1 Основные понятия в области преобразования моделей1.2 Классификация преобразований моделей1.3 Языки для преобразования моделей1.4...
  20. Модельно-ориентированное проектирование Оглавление1 Проектирование на основе моделей1.1 Основы моделирования данных1.2 Обзор MDE1.3 Известные инициативы MDE1.4 Преимущества MDE1.5 Инструменты...
  21. Теория декомпрессии Оглавление1 Теория декомпрессии1.1 Теория декомпрессии1.2 Причины декомпрессии1.3 Механизм декомпрессии1.4 Моделирование декомпрессии1.5 Эффективная декомпрессия1.6 Физиология декомпрессии1.7 Динамика...
  22. Серия UNIVAC 1100/2200 Оглавление1 UNIVAC серии 1100/22001.1 История и развитие UNIVAC1.2 UNIVAC 1100 и его модификации1.3 UNIVAC 1101 и...

Оставьте комментарий

Прокрутить вверх