Машина абстрактных состояний (ASM)

Для точного определения значения конструкций моделирования для бизнес-процессов, которое предоставляет надежную основу для эффективной коммуникации между различными заинтересованными сторонами, требуется язык, который является общим для всех и помогает справиться с известными проблемами неопределенности разговорной речи. Это характерно и для субъектно-ориентированного подхода, в центре которого действующие лица, выполняющие в рамках процесса любые действия с любыми объектами и взаимодействующие с другими участниками. Это требует уточнения гетерогенных структур данных: количества разнообразных элементов с различными определенными операциями и предикатами (свойствами и отношениями), а также агентов, которые выполняют эти операции. Формальный язык так называемой машины абстрактных состояний (ASM) представляет собой один из таких языков, который использует только элементарные «если — то» предикаты, так как они типичны для формальных описаний системы правил, сформулированной на естественном языке, т. е. правил (символической) формы.

если условие, то действие При этом условие — (произвольное) состояние, и действие — (любое) действие (обычно указание значения формы / (t_у… ?"):=?), и важность правила состоит в выполнении в настоящем состоянии указанного действия, если указанное условие выполняется в этом состоянии. Для уточнения выделяем правила ASM, действие, предикаты (как условие) обычно заглавными буквами, а функции и выражения (например,/, t_v t) — нижним регистром. Вероятная общность употребляемых терминов состояния и действия гарантируется использованием так называемых структур Тарского^[1] как А9М-состояний, которые могут изменить правила, а именно любое количество произвольных элементов с произвольными функциями (операции) и предикатами. В случае объектов бизнес-процесса элементы являются держателями места для значений любого типа и операций, обычно создания, копирования, удаления или манипуляции (изменения стоимости) объектов. Так называемые просмотры — это не более чем проекции (читай — подструктуры) таких структур Тарского.

Асинхронная (распределенная) ASM состоит из множества агентов, которые снабжены набором таких правил (собственная программа). Каждый агент может в любом состоянии выполнять за один шаг все свои правила, которые также являются выполняемыми (т.е. их условие выполняется в данном состоянии), поэтому такие ASM только с одним агентом называются также последовательными ASM.

В общем каждый агент имеет свое собственное «время», за которое он выполняет шаг, особенно если его шаг независим от шагов других агентов. Это означает, что с технической точки зрения ход асинхронной ASM — это не последовательность шагов агента, а количество таких последовательностей участвующих агентов, при этом шаги т одного агента, которые зависимы от шагов /т?' другого агента, находятся в определенном порядковом отношении — т перед т' или т после т В частном случае несколько агентов могут выполнять один шаг одновременно (синхронно).

Это простое понимание ASM уже достаточно, для того чтобы понять представленное в этой главе ААМ-определение интерпретации SVD (диаграммы поведения субъекта, см. подпараграф 5.5.5). Участвующие в SVD- субъекты интерпретируются в качестве агентов, которые в каждом узле диаграммы выполняют предписанные их программой ASM-правила. Мы используем без дальнейших объяснений обычные написания, аббревиатуры и т. д., например:

ifCond then М_{ else М₂ вместо эквивалентного ASM с двумя правилами:

if Cond then М_х if not Cond then M₂

Другое ниже используемое обозначение.

let x=t in M

для M (x/a), где а имеет значение t в каждом состоянии и М (х/а) из М формируется путем замены каждого (свободного) появления х в М на а.

Читателю, интересующемуся деталями математического определения семантики ASM, которое оправдывает его интуитивное, основанное на правилах псевдокод-понимание, мы рекомендуем ASM-книгу [1]. Там также объяснены так называемые методы АУМ-уточнения, которые мы здесь используем для последовательного введения компонентов SVD- переводчика (с дидактической целью, как и в предыдущих главах настоящей книги для конструкций S-BPM-моделирования).

• [1] Альфред Тарский (Alfred Tarski; 14.01.1901—26.10.1983) — выдающийся польско-американский математик, логик, основатель формальной теории истинности. Члеи-корреспондентБританской академии (1966).