Supervisory Control for Modal Specifications of Services

Philippe Darondeau

Description

Niveau: Supérieur
Supervisory Control for Modal Specifications of Services Philippe Darondeau ? Jeremy Dubreil ?? Herve Marchand ??? ? INRIA-Rennes Bretagne Atlantique, Campus universitaire de Beaulieu, 35042 Rennes, France (email: ) ?? Laboratoire d'Informatique de l'Ecole Polytechnique (LIX), Route de Saclay, 91128 Palaiseau, France (email: ) ??? INRIA-Rennes Bretagne Atlantique, Campus universitaire de Beaulieu, 35042 Rennes, France (email: ) Abstract: In the service oriented architecture framework, a modal specification, as defined by Larsen in [5], 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. 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. Keywords: discrete event systens, supervisory control, modal specifications, services, partial observation. 1.

• transition system


• modal specifications


• s? ?


• over ?


• any service


• modal specification


• service


• ?o

Sujets

• Darondeau
• Marchand
• State transition system
• Service

Informations

• Publié par: chaeh
• Nombre de lectures: 3
• Langue: English

Extrait