© Mikhail Roshchin Semantic Modelling 1 Семантическое Моделирование в инженерии создания ПО Цель: автоматизирование создание программных систем, основанном на использовании семантической модели, включающей достаточное описание сложных свойств и характеристик программных компонентов. Предложенный подход включает в себя также методы и технологии, основанные на логике, для решения задач извлечения знаний, интерпретации и адаптации их, в зависимости от текущей задачи. Проект состоит из: Тройная Семантическая Модель – архитектура модели, позволяющая четкое разделение понятий моделей, мета моделий, а также позволяющая генерацию статических моделей из динамических. Технология «Логика по требованию» - позволяет использование различных логических формализмов в зависимости от целей и задач, т.о. Семантическая модель строится поэтапно, начиная с самого простого формализма – логики описания. Автоматизированые методы и технологии для поддержки создания сложных композитных систем, основанные на решении задач логического вывода Расширение стандартных средств и методов моделирования, с помощью семантической модели. Это обеспечивает формальный декларативный способ предоставления данных.