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
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
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
Type de document :
Communication dans un congrès
Workshop on Discrete Event Systems, WODES'10, Aug 2010, Berlin, Germany. pp.428-435, 2010
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00510013
Contributeur : Hervé Marchand <>
Soumis le : lundi 6 septembre 2010 - 14:11:11
Dernière modification le : mercredi 16 mai 2018 - 11:23:04
Document(s) archivé(s) le : mardi 23 octobre 2012 - 15:35:34

Fichier

2010-Wodes-Modal.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : inria-00510013, version 1

Citation

Philippe Darondeau, Jérémy Dubreil, Hervé Marchand. Supervisory Control for Modal Specifications of Services. Workshop on Discrete Event Systems, WODES'10, Aug 2010, Berlin, Germany. pp.428-435, 2010. 〈inria-00510013〉

Partager

Métriques

Consultations de la notice

404

Téléchargements de fichiers

126