QoS Provisioning and Orchestrating Processes within an SOA
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.
Mitchell, Bill
5d045751-9ef4-4375-9e89-dbae07c90049
Mitchell, Bill
5d045751-9ef4-4375-9e89-dbae07c90049
Mitchell, Bill
(2009)
QoS Provisioning and Orchestrating Processes within an SOA.
ifm 2009 Workshop on Formal Methods and SOA, Düsseldorf.
16 - 19 Feb 2009.
(In Press)
Record type:
Conference or Workshop Item
(Other)
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.
Text
IRMOS_performance_modelling.pdf
- Accepted Manuscript
More information
Accepted/In Press date: 2009
Additional Information:
Event Dates: Febuary 16-19 2009
Venue - Dates:
ifm 2009 Workshop on Formal Methods and SOA, Düsseldorf, 2009-02-16 - 2009-02-19
Organisations:
Electronics & Computer Science, IT Innovation
Identifiers
Local EPrints ID: 267408
URI: http://eprints.soton.ac.uk/id/eprint/267408
PURE UUID: 8a0ed1ec-bb3a-45d1-a146-3cdec6d46f8e
Catalogue record
Date deposited: 28 May 2009 12:41
Last modified: 14 Mar 2024 08:49
Export record
Contributors
Author:
Bill Mitchell
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics