11 / 16
Поддержка жизненного цикла сложных технических систем…
Инженерный журнал: наука и инновации
# 5
2016
11
формационные объекты, участвующие в бизнес-функции, а также их
свойства, в том числе вычислимые.
Следующим принципиальным дополнением бизнес-функции яв-
ляется формальный механизм запуска, остановки, возобновления
и завершения (нормального и аварийного) ее исполнения. Этот меха-
низм представляет собой конечный автомат, который определяет
условия запуска, остановки, возобновления и завершения выполне-
ния бизнес-функции. В большинстве случаев для построения такого
автомата достаточно сформировать условие запуска бизнес-функции
(предусловие) и условие успешного завершения выполнения бизнес-
функции (постусловие).
Предусловие описывает состояние БС, когда есть все необходи-
мые и достаточные условия для инициации перехода БС в новое со-
стояние, описываемое соответствующей бизнес-функцией.
Постусловие описывает целевое состояние, в которое должна пе-
рейти БС в результате выполнения бизнес-функции. Включение
в описание бизнес-функции постусловия, по существу являющегося
подцелью — компонентом дерева целей (структуры, описывающей
декомпозицию стратегических целей), позволяет построить такую
БС, которая обеспечит достижение стратегических целей.
Как отмечалось выше, в представление бизнес-функции входит
информационная модель перехода между состояниями, описывающая
не только семантику ресурсов и целей, но и весь бизнес-контекст, не-
обходимый для принятия решений по корректировке фактической тра-
ектории для достижения целей. Для описания бизнес-функций и ин-
формационной модели БС предлагается использовать язык предикатов
первого порядка (Пролог). Выбор языка Пролог обусловлен необхо-
димостью реализации следующих особенностей объекта моделирова-
ния: необходимость в едином аппарате для описания сложной системы
(БС); необходимость в формальной автоматической проверке целост-
ности и логической непротиворечивости; простота модификации мо-
дели в процессе ее исполнения; простота интеграции с реляционными
СУБД корпоративной системы.
В соответствии с онтологическим подходом вся контекстная ин-
формация о процессах должна быть представлена в виде семантиче-
ской сети, описывающей знания о предметной области на основе
триплетов OAV (Object-Attribute-Value), а также различных отноше-
ний и классов. Базовыми понятиями информационной модели явля-
ются: сущность, экземпляр сущности, отношение, класс, простые ти-
пы (целые числа, вещественные числа, строки, даты), лямбда-
выражение (функция). Эти понятия образуют информационную ме-
тамодель БС.
Сущность — понятие, определяющее категорию реально суще-
ствующих материальных или информационных объектов, характери-
зующихся наличием одного и того же набора свойств (отношений).