Abstract
В докладе обсуждается возможная реализация распределенных систем управления средствами процесс-ориентированного программирования. Предлагаемый подход характеризуется, с одной стороны, топологически-независимой спецификацией алгоритма управления и, с другой стороны, возможностью использования существующих методов формальной верификации за счет сохранения семантики централизованной процесс-ориентированной программы.
The report discusses the possible implementation of distributed control systems by means of process-oriented programming. The proposed approach provides, on the one hand, a topologically independent specification of the control algorithm and, on the other hand, using existing formal verification methods by preserving the semantics of a centralized process-oriented program described by hyperprocess model.