Description
XML describing the nodes, edges, and labels of the LTS for uc3 as derived from the ebBP model of uc3.
This file will eventually supply Jacques XSLTs for producing scripts and information for events to be caught in monitoring/testing this choreography by relating the script to the execution trace of events from running the process.
Still needs to have the timer information and control/signal message information output, as well as much other QOS information.