Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1016/j.entcs.2011.11.010 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
refinement notion,performance requirement,performance certification,software development,refinement calculus,software components,abstract performance description,model refinement,performance property,conformance checking,conformance check guarantee,non-functional property,certification | Software engineering,Refinement calculus,Computer science,Model refinement,Theoretical computer science,Software,Component-based software engineering,Conformance checking,Certification,Software development | Journal |
Volume | Issue | ISSN |
279 | 2 | 1571-0661 |
Citations | PageRank | References |
0 | 0.34 | 5 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Erik Burger | 1 | 46 | 9.73 |
Ralf Reussner | 2 | 2111 | 162.14 |