Е.И. Кузин, В.Е. Кузин
12
Инженерный журнал: наука и инновации
# 6·2016
образует фактическую траекторию движения БС. Для достижения
стратегических целей необходимо разработать плановую траекторию
движения БС (плановые состояния БС) и обеспечить мониторинг со-
ответствия фактической траектории плановой, анализ причин откло-
нения плана от фактического и выработку корректирующих воздей-
ствий на основе навигации в пространстве возможных решений.
Переход между состояниями предлагается описывать с помощью
бизнес-функций, в основу которых положена бизнес-функция нота-
ции IDEF(0) [14], которая преобразует входные ресурсы в выходные
с использованием механизмов под соответствующим управлением.
Для построения формального описания БС, характеризующейся
сложной операционной семантикой, потребовалось расширение этого
понятия. Прежде всего, в операционной семантике требуется фор-
мально разделить обобщающее понятие «механизмы» на следующие
категории: бизнес-подсистемы (подразделения), месторасположение,
персонал, технические средства. Кроме того, в нотации IDEF0 описа-
ния всех компонентов бизнес-функции (ресурсы, механизмы, управ-
ление) являются текстовыми, что не позволяет их использовать для
построения формального описания БС. Поэтому бизнес-функцию
необходимо расширить за счет описания соответствующей информа-
ционной модели — семантической сети, включающей в себя все ин-
формационные объекты, участвующие в бизнес-функции, а также их
свойства, в том числе вычислимые.
Следующим принципиальным дополнением бизнес-функции яв-
ляется формальный механизм запуска и завершения ее исполнения,
который включает в себя описания предусловия запуска и постусло-
вия завершения. Предусловие описывает состояние БС, когда имеют-
ся все необходимые и достаточные условия для инициации перехода
БС в новое состояние, описываемое соответствующей бизнес-
функцией. Постусловие описывает целевое состояние, в которое
должна перейти БС в результате выполнения бизнес-функции. Кроме
того, для аварийного (принудительного) завершения бизнес-
процесса, описываемого этой функцией, предусмотрено соответ-
ствующее постусловие. Каждой бизнес-функции поставлена в соот-
ветствие информационная модель, описывающая не только семанти-
ку ресурсов и целей, но и весь бизнес-контекст, необходимый для
принятия решений по корректировке фактической траектории для
достижения целей. Следует отметить, что информационная модель
бизнес-функции как фрагмент информационной модели всей БС,
представленной в виде семантической сети, дополнена вычислимыми
свойствами, получаемыми посредством применения аппарата лямб-
да-исчислений в отношении всех ресурсов.
Бизнес-функция может быть описана следующим кортежем:
BF
= <
X
,
Y
,
C
,
B
,
L
,
Stf
,
Tls
,
IM
, PreCond, PostCond,
Ab
>,