As more manufacturers shift their focus from selling products to end solutions, full-service maintenance contracts gain traction in the business world. These cover all related costs during a predetermined horizon exchange for fixed service fee and relieve customers uncertain costs. To guarantee profitability, fees should at least expected contract horizon. these may depend on several machine-de...

Current approaches for the discovery, specification, and provision of services ignore the relationship between the service contract and the conditions in which the service can guarantee its contract. Moreover, they do not use formal methods for specifying services, contracts, and compositions. Without a formal basis it is not possible to justify through formal verification the correctness condi...

Delivering real-time services (Internet telephony, video conferencing, and streaming media as well as business-critical data applications) across the Internet requires end-to-end quality of service (QoS) guarantees, which requires a hierarchy of contracts. These standardized contracts may be referred to as Service Level Agreements (SLAs). SLAs provide a mechanism for service providers and custo...