Supervisory Synthesis of Configurable Behavioural Contracts with Modalities - Formal Techniques for Distributed Objects, Components, and Systems Access content directly
Conference Papers Year : 2021

Supervisory Synthesis of Configurable Behavioural Contracts with Modalities

Abstract

Service contracts characterise the desired behavioural compliance of a composition of services, typically defined by the fulfilment of all service requests through service offers. Contract automata are a formalism for specifying behavioural service contracts. Based on the notion of synthesis of the most permissive controller from Supervisory Control Theory, a safe orchestration of contract automata can be computed that refines a composition into a compliant one. This short paper summarises the contributions published in [8], where we endow contract automata with two orthogonal layers of variability: (i) at the structural level, constraints over service requests and offers define different configurations of a contract automaton, depending on which requests and offers are selected or discarded; and (ii) at the behavioural level, service requests of different levels of criticality can be declared, which induces the novel notion of semi-controllability. The synthesis of orchestrations is thus extended to respect both the structural and the behavioural variability constraints. Finally, we show how to efficiently compute the orchestration of all configurations from only a subset of these configurations. A recently redesigned and refactored tool supports the developed theory.
Fichier principal
Vignette du fichier
509782_1_En_10_Chapter.pdf (381.08 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03740267 , version 1 (29-07-2022)

Licence

Attribution

Identifiers

Cite

Davide Basile, Maurice Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, et al.. Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. 41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.177-181, ⟨10.1007/978-3-030-78089-0_10⟩. ⟨hal-03740267⟩
11 View
3 Download

Altmetric

Share

Gmail Facebook X LinkedIn More