Extending WS-Agreement to Support Automated Conformity Check on Transport and Logistics Service Agreements

Checking whether the agreed service quality attributes are fulfilled or maintained during the service life-cycle is a very important task for SLA (Service Level Agreement) enforcement. in this paper, we leverage conformance checking techniques developed for computational services to automate the conformity checking of transport & logistics services. Our solution extends the WS-Agreement metamodel to support the definition of frame and specific SLAs. With this extension, we define a new validation operation for the conformity check of transport & logistics SLAs based on CSPs solvers. The key contribution of our work is that, as far as we know, it is the first definition of an automated conformity check solution for long term agreements in the transport & logistics domain. Nonetheless, other domains in which similar SLAs are defined can also benefit from our solution

Modelling Service Level Agreements for Business Process Outsourcing Services

Many proposals to model service level agreements (SLAs) have been elaborated in order to automate different stages of the service lifecycle such as monitoring, implementation or deployment. All of them have been designed for computational services and are not well–suited for other types of services such as business process outsourcing (BPO) services. However, BPO services suported by process–aware information systems could also benefit from modelling SLAs in tasks such as performance monitoring, human resource assignment or process configuration. In this paper, we identify the requirements for modelling such SLAs and detail how they can be faced by combining techniques used to model computational SLAs, business processes, and process performance indicators. Furthermore, our approach has been validated through the modelling of several real BPO SLAsMinisterio de Economía y Competitividad TIN2012-32273Junta de Andalucía TIC-5906Junta de Andalucía P12-TIC-186