Formal verification of BPMN diagrams in Integrated Model of Distributed Systems (IMDS).

Wiktor B. Daszczuk Jakub Jalowiec

Published in: FedCSIS (Communication Papers) (2023)

Keyphrases

distributed systems
process model
fault tolerant
intelligent agents
business process
load balancing
fault tolerance
distributed computing