ИСХОДНЫЕ ПОЛОЖЕНИЯ:
- Методологическую основу семантического моделирования составляет задачный подход, теоретической базой является математическая логика (теория нумераций, теория вычислимых моделей, формульная определимость вычислений, вычисление как проверка истинности на вычислимой модели),теория вероятностей и другие разделы математики.
- Решение бизнес-задач осуществляется в рамках и терминах релевантной предметной области.
- Описание предметной области и постановка задачи осуществляется в декларативном виде в виде некоторой логико-вероятностной системы. Подобное формальное декларативное описание предметной области и запросов к ней носит название семантической модели.
- Семантическая модель предметной области должна быть исполняемой, т.е. должна существовать возможность интерпретации логико-вероятностных модельных конструкций как вычислительных процедур.
- Процесс моделирования предметной области в виде семантической модели представляет собой процесс проектирования информационной модели, представляющей данную предметную область. Данный процесс протекает в определенной технологической среде, основным элементом которой является технологическая платформа (bSystem + DISCOVERY)