Skip to Main content Skip to Navigation
Reports

Supervisory Control for Modal Specifications of Services

Philippe Darondeau 1 Jérémy Dubreil 2 Hervé Marchand 3
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
2 COMETE - Concurrency, Mobility and Transactions
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Abstract : In the service oriented architecture framework, a modal specification, as defined by Larsen in~\cite{Lar89}, formalises how a service should interact with its environment. More precisely, a modal specification determines the events that the server may or must allow at each stage in an interactive session. Therefore, techniques to enforce a modal specification on a system would be useful for practical applications. In this paper, we investigate the adaptation of the supervisory control theory of Ramadge and Wonham to enforce a modal specification (with final states marking the ends of the sessions) on a system modelled by a finite LTS. We prove that there exists at most one most permissive solution to this control problem. We also prove that this solution is regular and we present an algorithm for the effective computation of the corresponding controller.
Document type :
Reports
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/inria-00472736
Contributor : Hervé Marchand <>
Submitted on : Tuesday, April 13, 2010 - 10:43:40 AM
Last modification on : Tuesday, June 15, 2021 - 4:14:11 PM
Long-term archiving on: : Friday, October 19, 2012 - 1:51:03 PM

File

RR-7247.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00472736, version 1

Citation

Philippe Darondeau, Jérémy Dubreil, Hervé Marchand. Supervisory Control for Modal Specifications of Services. [Research Report] RR-7247, INRIA. 2010. ⟨inria-00472736⟩

Share

Metrics

Record views

699

Files downloads

415