QoS Provisioning and Orchestrating Processes within an SOA
Mitchell, Bill (2009) QoS Provisioning and Orchestrating Processes within an SOA. At ifm 2009 Workshop on Formal Methods and SOA, Düsseldorf, 16 - 19 Feb 2009.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
- Accepted Version
Download (1206Kb) |
Description/Abstract
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.
| Item Type: | Conference or Workshop Item (Speech) |
|---|---|
| Additional Information: | Event Dates: Febuary 16-19 2009 |
| Related URLs: | |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 267408 |
| Date Deposited: | 28 May 2009 12:41 |
| Last Modified: | 01 Mar 2012 16:42 |
| Contributors: | Mitchell, Bill (Author) |
| Date: | 2009 |
| Additional Information: | Event Dates: Febuary 16-19 2009 |
| Status: | Unpublished |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/267408 |
Actions (login required)
 |
View Item |
