Document - Specifying variability in service contracts

2017

Conference article Open Access

Specifying variability in service contracts

Basile D., Di Giandomenico F., Gnesi S., Degano P., Ferrari G. L.

Services Variability Control theory

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.

Source: Vamos, pp. 20–27, Eindhoven, 2/2017

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:386221,
	title = {Specifying variability in service contracts},
	author = {Basile D. and Di Giandomenico F. and Gnesi S. and Degano P. and Ferrari G. L.},
	doi = {10.1145/3023956.3023965},
	booktitle = {Vamos, pp. 20–27, Eindhoven, 2/2017},
	year = {2017}
}