Automated service composition via supervisory control theory
Loading...
Authors
Dingel, Juergen
Atampore, Francis
Rudie, Karen
Date
2016-06-23
Type
journal article
Language
en
Keyword
Web services , Supervisory control , Computational modeling , Business , Software systems , Semantics
Alternative Title
Abstract
Web services play a major role in electronic businesses and allow organizations to perform certain business activities in a distributed fashion. In some circumstances, a single service is not able to perform certain tasks and it becomes imperative to compose two or more services in order to complete a task. While approaches to tackle such a problem are known, the task of generating provably correct Web service compositions still remain challenging and complex. In this paper, we develop a supervisory control framework for automated composition of Web services. Labelled Transition Systems augmented with guards and data variables are used to represent a given set of Web service specifications. We model the interactions of services asynchronously and we use guards and data variables to allow us to express certain preconditions which are then propagated from the system requirements through the overall composite service. The objective of our framework is to synthesize a controller, which interacts with a given set of Web services through messages to guarantee that a given specification is satisfied. A key novelty of this work is the application of control theory to service-oriented computing and the incorporation of run-time input into the supervisor generation process.
Description
© 2016 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Citation
F. Atampore, J. Dingel and K. Rudie, "Automated service composition via supervisory control theory," 2016 13th International Workshop on Discrete Event Systems (WODES), Xi'an, China, 2016, pp. 28-35, doi: 10.1109/WODES.2016.7497822.
Publisher
Institute of Electrical and Electronics Engineers