Demonstration: Broker Perspective

Demonstration: Broker Perspective

Design Environment - WF Verification

This demonstration showcases how the broker can use the CloudSocket Design environment in the case of Send Invoice scenario. The highlight of the presentation is on workflow verification, with the purpose of emphasizing the following:

  • Overview of the Send Invoice Workflow to be verified
  • Verification of Deadlock absence
  • Verification of Unboundedness
  • Verification of the Reachability of the End event