Towards Provably Correct Services: Automated Service Composition Via Supervisory Control Synthesis
Abstract
Service-oriented computing (SOC) is a distributed computing paradigm that is revolutionizing the development of software systems. Service-oriented architecture (SOA) provides a framework for realizing and implementing SOC. A Web service is a key concept for developing SOA applications that allows interoperability among distributed software applications deployed on different platforms and architectures, which is important for many electronic business applications. Web services enable organizations to carry out certain business activities automatically and in a distributed fashion.
However, in some circumstances, a single service is not able to perform a certain task and it becomes necessary to compose two or more services in order to complete it. Thus, a key research challenge in SOA is the problem of automated service composition. Several approaches exist that tackle the problem of automatic service composition; however, the task of generating provably correct Web service compositions still remains a challenging and complex task. The goal of this dissertation is to leverage the existing work on supervisory control to solve the problem of automated service composition with a focus on control and correctness.
Therefore, in this dissertation, we develop a novel formal framework for modeling Web service compositions based on Supervisory Control Theory (SCT) of discrete-event systems. We model services that exchange messages and exhibit nondeterministic (runtime-dependent) behaviours based on runtime input. The objective is to synthesize a supervisor that interacts with a given set of Web services through messages to guarantee that a given specification is satisfied. The framework employs Labelled Transition Systems (LTSs) equipped with guards and data variables to model Web services and provides a technique to synthesize a controller. We model the interactions of services asynchronously and we use the guards and data variables to express certain preconditions which are then propagated from the system requirements through the overall composite service.
The dissertation also provides a prototype implementation toolkit and an evaluation of the applicability of the approach using a number of case studies.
A key novelty of this work is the application of control theory to service-oriented computing and the incorporation of runtime input into the supervisor generation process.
URI for this record
http://hdl.handle.net/1974/22789Request an alternative format
If you require this document in an alternate, accessible format, please contact the Queen's Adaptive Technology CentreThe following license files are associated with this item:
Except where otherwise noted, this item's license is described as Attribution-NonCommercial 3.0 United States
Related items
Showing items related by title, author, creator and subject.
-
A Comprehensive Service Management Middleware for Autonomic Management of Composite Web Services-Based Processes
Zulkernine, Farhana H. (2009-04-22)Web services are autonomic software applications that provide specific services on the Web and are accessible through standards-based protocols and interfaces in order to ensure interoperability. Web services have gained ... -
End-User Driven Service Composition for Constructing Personalized Service Oriented Applications
Xiao, Hua (2011-09-30)Service composition integrates existing services to fulfill specific tasks using a set of standards and tools. Existing service composition techniques and tools are mainly designed for SOA professionals. The business ... -
Extending Learning Through Service: Practical Strategies for Designing Meaningful Service-Learning Opportunities
Buswa, Desta (2015-07-27)Service-learning has historical roots within the education system that have been maintained to present day models, which are implemented worldwide from elementary to post-secondary studies. The goal of service-learning ...