A Calculus for Generic, QoS-Aware Component Composition.

L. S. Barbosa,Sun Meng
DOI: https://doi.org/10.1007/s11786-012-0137-2
2012-01-01
Mathematics in Computer Science
Abstract:Software QoS properties, such as response time, availability, bandwidth requirement, memory usage, among many others, play amajor role in the processes of selecting and composing software components. This paper extends a component calculus to deal, in an effective way, with them. The calculus models components as generalised Mealy machines, i.e., state-based entities interacting along their life time through well defined interfaces of observers and actions. QoS is introduced through an algebraic structure specifying the relevant QoS domain and how its values are composed under different disciplines. A major effect of introducing QoS-awareness is that a number of equivalences holding in the plain calculus become refinement laws. The paper also introduces a prototyper for the calculus developed as a 'proof-of-concept' implementation.
What problem does this paper attempt to address?