Web Service Composition via Supervisory Control Theory | Zendy

Hikmat Farhat | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Web Service Composition via Supervisory Control Theory

Author(s) -

Hikmat Farhat

Publication year - 2018

Publication title -

ieee access

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.587

H-Index - 127

ISSN - 2169-3536

DOI - 10.1109/access.2018.2874564

Subject(s) - aerospace , bioengineering , communication, networking and broadcast technologies , components, circuits, devices and systems , computing and processing , engineered materials, dielectrics and plasmas , engineering profession , fields, waves and electromagnetics , general topics for engineers , geoscience , nuclear engineering , photonics and electrooptics , power, energy and industry applications , robotics and control systems , signal processing and analysis , transportation

We present a model for the service composition problem and relate it to the classical problem of supervisory control in discrete event systems. In particular, we show how the orchestrator in the first problem transparently maps to the controller in the second problem. Moreover, the community of web services plays the role of the plant in supervisory control and both formalisms are related using the notion of bisimulation. We also show how modal specifications can be used in both settings.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research