QoS is an important issue in the construction of reliable distributed systems. In this paper, a calculus of component composition is extended to deal, in an effective way, with QoS aspects in component composition. Particular emphasis is put on how the equational and refinement laws that govern composition can be derived in a calculational, pointfree style, in this model.
展开▼