In Service Oriented Computing (SOC) contracts characterise the behavioural conformance of a composition of services and guarantee that the composition does not lead to spurious results. Variability features can enable services to adapt to customer requirements and to changes in the context in which they execute. We extend a recently introduced formal model of service contracts to specify variability mechanisms in a composition of services. Necessary and permitted service requests can be defined and triggered to increase adaptability. The compositional rules of the original formalism are enriched to fulfil all necessary requirements and the maximal number of permitted ones. © 2017 Copyright held by the owner/author(s).
Specifying variability in service contracts / Basile, Davide; Di Giandomenico, Felicita; Gnesi, Stefania; Degano, Pierpaolo; Ferrari, Gian-Luigi. - ELETTRONICO. - (2017), pp. 20-27. ( 11th International Workshop on Variability Modelling of Software-intensive Systems, VaMoS 2017 Eindhoven University of Technology (TU/e), nld 2017) [10.1145/3023956.3023965].
Specifying variability in service contracts
Basile, Davide
;Di Giandomenico, Felicita;Degano, Pierpaolo;
2017
Abstract
In Service Oriented Computing (SOC) contracts characterise the behavioural conformance of a composition of services and guarantee that the composition does not lead to spurious results. Variability features can enable services to adapt to customer requirements and to changes in the context in which they execute. We extend a recently introduced formal model of service contracts to specify variability mechanisms in a composition of services. Necessary and permitted service requests can be defined and triggered to increase adaptability. The compositional rules of the original formalism are enriched to fulfil all necessary requirements and the maximal number of permitted ones. © 2017 Copyright held by the owner/author(s).
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
