Document - FMCAT: Supporting dynamic service-based product lines

2017

Conference article Open Access

FMCAT: Supporting dynamic service-based product lines

Basile D., Di Giandomenico F., Gnesi S.

Services Featured modal contract automata tool Product line

We describe FMCAT, a toolkit for Featured Modal Contract Automata (FMCA). FMCAT supports the analysis of dynamic service product lines, i.e., applications consisting of ensembles of interacting services organized as product lines. Services are modelled as FMCA, with features identifying obligations and requirements of services. Service requirements can be either permitted or necessary, whereas the latter are further partitioned according to their criticality. A notion of agreement among service contracts is used to characterise safety. We show how FMCAT can be used to (i) specify dynamic service product line, (ii) efficiently identify all valid products, and to synthesise a safe orchestration of services for either (iii) a single product, or (iv) the whole service product line. FMCAT exploits the theory of FMCA to efficiently perform the above tasks by only visiting a subset of valid products, and it is equipped with a GUI.

Source: SPLC, pp. 3–8, Siviglia, 09/2017

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:386222,
	title = {FMCAT: Supporting dynamic service-based product lines},
	author = {Basile D. and Di Giandomenico F. and Gnesi S.},
	doi = {10.1145/3109729.3109760},
	booktitle = {SPLC, pp. 3–8, Siviglia, 09/2017},
	year = {2017}
}