Архитектурная модель включает транзакции и элементы состояний. Каждая транзакция конечного автомата описывает преобразование данных, находящихся в разделяемом состоянии. Транзакции выполняются атомарно и изолированы от других исполняемых транзакций. Изолирование означает, что транзакция «видит» только то состояние, в которое переходит автомат в процессе ее выполнения. Множественные транзакции могут стартовать и выполняться одновременно при условии, что две транзакции не обновляют одновременно одну и ту же переменную состояния. В соответствии с функциональной природой исполнение архитектурной модели не фиксируется по времени, она может рассматриваться в качестве исполняемой и формально анализируемой функциональной спецификации.

https://studfile.net/preview/7429380/page:3/

См. также
Моделирование на уровне транзакций