White Papers
Using Stochastic Petri Nets to Predict Quality of Service Attributes of Component-Based Software Architectures
Overview The Quality of Service attributes of a software component heavily depend on its environment. For example, if a component uses a highly unreliable service, its own reliability is likely to decrease as well. This relation can be described with parametric contracts, which model the dependence between provided and required services of a component. Until now, parametric contracts can only model single-threaded systems. The authors plan to extend parametric contracts with Stochastic Petri nets to model multi-threaded systems. This enables the detection of resource conflicts and the consideration of the influence of concurrency on Quality of Service attributes, like performance.
| Publisher | University of Oldenburg | File Format | |
|---|---|---|---|
| Date Published | June 2005 | ||
| Format | White Papers | ||
| Topics |
|
||


