Supervisory Synthesis of Configurable Behavioural Contracts with Modalities - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Supervisory Synthesis of Configurable Behavioural Contracts with Modalities

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Paternité

Identifiants

Citer

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⟩
15 Consultations
4 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More