“…Hence, the SLA model we consider consists of: -a global SLA, stating requirements for the overall CBP implementation; -a set of local SLAs, one for each transaction of the CBP, where each SLA states requirements for the corresponding transaction. In general, a SLA definition may include a large set of parameters, referring to different kinds of functional and non-functional attributes of the service/process it refers to, and different ways of measuring them (e.g., averaged over some time interval) [18,40]. In this chapter, we focus on dependability requirements, concerning reliability and availability, and the corresponding cost the user is willing to pay for them.…”