Example - Tools

• Bartering process (but without variables)

  • Demo WS-CDL editor
  • Tree based editor based on structural clarity (see workunit explanation)
  • Demo testing
  • Testing a choreography by simulating messages that make up interactions.
  • Correct set of messages
  • Incorrect set of messages - results in a “SEVERE†error warning