Supervisory control for modal specifications of services

  title={Supervisory control for modal specifications of services},
  author={Philippe Darondeau and J{\'e}r{\'e}my Dubreil and Herv{\'e} Marchand},
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… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 21 references

Modal Specifications for the Control Theory of Discrete Event Systems

Discrete Event Dynamic Systems • 2007
View 4 Excerpts
Highly Influenced

Modal Specifications. in: Automatic Verification Methods for Finite State Systems, Springer-Verlag

K. G. Larsen
LNCS vol • 1990
View 6 Excerpts
Highly Influenced

Marchand : Supervisory Control for Opacity

P. Darondeau J. Dubreil, H.
IEEE Trans . Automatic Control • 2010

Supervisory Control for Opacity

IEEE Transactions on Automatic Control • 2010
View 2 Excerpts

Petrifying Operating Guidelines for Services

2009 Ninth International Conference on Application of Concurrency to System Design • 2009
View 1 Excerpt

Raclet : Residual for Component Specifications

B. J.

Wonham : Supervision of Infinite Behavior of DiscreteEvent Systems

W. M. J. G. Thistle
SIAM J . Control Optim • 2009

Hadjicostis : OpacityEnforcing Supervisory Strategies for Secure Discrete Event Systems

A. Saboori, N. C.
Proceedings of CDC • 2008

Kumar : Verification and Synthesis for Secrecy in Discreteevent Systems

R. S. Takai
Proc . of the American Control Conference • 2008

Similar Papers

Loading similar papers…