ICC   25427
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Efficient evaluation of quantitative non-functional Service Level Agreement
Autor/es:
LOPEZ POMBO, CARLOS GUSTAVO; MARTINEZ SUÑÉ, AGUSTÍN ELOY
Lugar:
Egham
Reunión:
Workshop; Workshop on Algebraic Development Techniques - WADT 2018; 2018
Institución organizadora:
Royal Holloway, University of London
Resumen:
Distributed software resulting from emerging paradigms such as service- oriented computing (SOC), Cloud/Fog computing and the Internet of Things are transforming the world of software systems in order to support applications able to respond and adapt to the changes of their execution environment, giving impulse to what is called the API?s economy. The underlying idea of the API?s economy is that it is possible to construct software artifacts by composing services provided by third parties and previously registered in repositories. This envisages a generation of applications running over globally available computational resources and communication infrastructure, which, at run-time, are dynamically and transparently reconfigured by the intervention of a dedicated middleware, subject to the negotiation of a Service Level Agreement ? SLA.Under this paradigm software services are accessed by their API. Thus, a key element is the availability of formal languages, together with associated analysis techniques, capable of fully expressing the API behavioral contract.