QoS Provisioning and Orchestrating Processes within an SOA

Presentation at a satellite workshop to 7th International Conference on integrated Formal Methods. Presentation discussed synthesis of real-time performance models for black box processes. The behavioural models were defined as timed stochastic finite state machines. An implementation of these models in PRISM was demonstrated.