Performance Certification of Software Components | Zendy

Erik Bürger | Zendy; Ralf Reussner | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Performance Certification of Software Components

Author(s) -

Erik Bürger,

Ralf Reussner

Publication year - 2011

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2011.11.010

Subject(s) - computer science , component (thermodynamics) , programming language , certification , process (computing) , software , software engineering , component based software engineering , software development , physics , political science , law , thermodynamics

Non-functional properties of software should be specified early in the development process. In a distributed process of software development, this means that quality requirements must be made explicit in the specification, and the developing party of a commissioned component needs to deliver not only the implemented component, but also a description of its non-functional properties. Based on these artefacts, a conformance check guarantees that the implemented component fulfills the performance requirements.We extend the notion of model refinement to non-functional properties of software and propose a refinement calculus for conformance checking between abstract performance descriptions of components. The calculus is based on a refinement notion that covers the performance-relevant aspects of components. The approach is applied to the Palladio Component Model as a description language for performance properties of components

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research