%0 Conference Proceedings
%T Automatic Quality-of-Service Evaluation in Service-Oriented Computing
%+ Facultad de Ciencias Exactas y Naturales [Buenos Aires] (FCEyN)
%+ Instituto de Investigación en Ciencias de la Computación [Buenos Aires] (ICC)
%A Martinez Suñé, Agustín, E.
%A Lopez Pombo, Carlos, G.
%Z Part 5: Tools (2)
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 21th International Conference on Coordination Languages and Models (COORDINATION)
%C Kongens Lyngby, Denmark
%Y Hanne Riis Nielson
%Y Emilio Tuosto
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-11533
%P 221-236
%8 2019-06-17
%D 2019
%R 10.1007/978-3-030-22397-7_13
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X Formally describing and analysing quantitative requirements of software components might be important in software engineering; in the paradigm of API-based software systems might be vital. Quantitative requirements can be thought as characterising the Quality of Service – QoS provided by a service thus, useful as a way of classifying and ranking them according to specific needs. An efficient and automatic analysis of this type of requirements could provide the means for enabling dynamic establishing of Service Level Agreements – SLA, allowing for the automatisation of the Service Broker.In this paper we propose the use of a language for describing QoS contracts based on convex specification, and a two-phase analysis procedure for evaluating contract satisfaction based on the state of the art techniques used for hybrid system verification. The first phase of the procedure responds to the observation that when services are registered in repositories, their contracts are stored for subsequent use in negotiating SLAs. In such a context, a process phase of contract minimisation might lead to great efficiency gain when the second, and recurrent, phase of determining QoS compliance is run.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-02365510/document
%2 https://inria.hal.science/hal-02365510/file/478673_1_En_13_Chapter.pdf
%L hal-02365510
%U https://inria.hal.science/hal-02365510
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-11533