Previous Page  12 / 17 Next Page
Information
Show Menu
Previous Page 12 / 17 Next Page
Page Background

Е.И. Кузин, В.Е. Кузин

12

Инженерный журнал: наука и инновации

# 6·2016

образует фактическую траекторию движения БС. Для достижения

стратегических целей необходимо разработать плановую траекторию

движения БС (плановые состояния БС) и обеспечить мониторинг со-

ответствия фактической траектории плановой, анализ причин откло-

нения плана от фактического и выработку корректирующих воздей-

ствий на основе навигации в пространстве возможных решений.

Переход между состояниями предлагается описывать с помощью

бизнес-функций, в основу которых положена бизнес-функция нота-

ции IDEF(0) [14], которая преобразует входные ресурсы в выходные

с использованием механизмов под соответствующим управлением.

Для построения формального описания БС, характеризующейся

сложной операционной семантикой, потребовалось расширение этого

понятия. Прежде всего, в операционной семантике требуется фор-

мально разделить обобщающее понятие «механизмы» на следующие

категории: бизнес-подсистемы (подразделения), месторасположение,

персонал, технические средства. Кроме того, в нотации IDEF0 описа-

ния всех компонентов бизнес-функции (ресурсы, механизмы, управ-

ление) являются текстовыми, что не позволяет их использовать для

построения формального описания БС. Поэтому бизнес-функцию

необходимо расширить за счет описания соответствующей информа-

ционной модели — семантической сети, включающей в себя все ин-

формационные объекты, участвующие в бизнес-функции, а также их

свойства, в том числе вычислимые.

Следующим принципиальным дополнением бизнес-функции яв-

ляется формальный механизм запуска и завершения ее исполнения,

который включает в себя описания предусловия запуска и постусло-

вия завершения. Предусловие описывает состояние БС, когда имеют-

ся все необходимые и достаточные условия для инициации перехода

БС в новое состояние, описываемое соответствующей бизнес-

функцией. Постусловие описывает целевое состояние, в которое

должна перейти БС в результате выполнения бизнес-функции. Кроме

того, для аварийного (принудительного) завершения бизнес-

процесса, описываемого этой функцией, предусмотрено соответ-

ствующее постусловие. Каждой бизнес-функции поставлена в соот-

ветствие информационная модель, описывающая не только семанти-

ку ресурсов и целей, но и весь бизнес-контекст, необходимый для

принятия решений по корректировке фактической траектории для

достижения целей. Следует отметить, что информационная модель

бизнес-функции как фрагмент информационной модели всей БС,

представленной в виде семантической сети, дополнена вычислимыми

свойствами, получаемыми посредством применения аппарата лямб-

да-исчислений в отношении всех ресурсов.

Бизнес-функция может быть описана следующим кортежем:

BF

= <

X

,

Y

,

C

,

B

,

L

,

Stf

,

Tls

,

IM

, PreCond, PostCond,

Ab

>,