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.

Further White Paper Details
PublisherUniversity of Oldenburg File FormatPDF
Date PublishedJune 2005
FormatWhite Papers   
Topics
    N/A

Quick Sitemap Links: