7391

Автор(ы): 

Выхованец В. С. (ИПУ РАН, Лаборатория 31) НЕАКТУАЛЬНАЯ ЗАПИСЬ

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

Математическое моделирование систем на основе языковой формализации результатов понятийного анализа

Наименование конференции: 

  • Международная конференция «Математическая теория систем» (MTS'2009, Москва)

Наименование источника: 

  • Труды международной конференции «Математическая теория систем» (MTS'2009, Москва)

Город: 

  • Москва

Издательство: 

  • Институт системного анализа РАН

Год издания: 

2009

Страницы: 

107-111
Аннотация
Для построения математической модели предметной области использованы две формальные системы. Первая формальная система – исчисление понятий, применена для формальной спецификации результатов понятийной декомпозиции предметной области. Вторая формальная система – специализированный предметный язык, или проблемный язык, строится для каждого класса решаемых задач и используется для описания их решения. Исследуются выразительные возможности предложенного подхода к высокоуровневому моделированию предметной области.

Библиографическая ссылка: 

Выхованец В.С. Математическое моделирование систем на основе языковой формализации результатов понятийного анализа / Труды международной конференции «Математическая теория систем» (MTS'2009, Москва). М.: Институт системного анализа РАН, 2009. С. 107-111.