Open Access Book
Open Access Book image

Certifying Software Component Performance Specifications

Author: Groenda, Henning
Source: Directory of Open Access Books
Publisher: KIT Scientific Publishing
ISBN: 9783731500803
Creative Commons Attribution-ShareAlike Image


In component-based software engineering, performance prediction approaches support the design of business information systems on the architectural level. They are based on behavior specifications of components. This work presents a round-trip approach for using, assessing, and certifying the accuracy of parameterized, probabilistic, deterministic, and concurrent performance specifications. Its applicability and effectiveness are demonstrated using the CoCoME benchmark.