Towards Provably Correct Services: Automated Service Composition Via Supervisory Control Synthesis
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 recordhttp://hdl.handle.net/1974/22789
Request an alternative formatIf you require this document in an alternate, accessible format, please contact the Queen's Adaptive Technology Centre
The 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
Showing items related by title, author, creator and subject.
Primary/Junior Pre-Service Teachers’ Knowledge, Attitudes, and Perceptions of Including Students with ADHD in General Education Classrooms: A Mixed-Method Study Brick, LaurenNegative attitudes towards students with Attention Deficit Hyperactivity Disorder (ADHD) are a lingering challenge in the education system. It is important to examine pre-service teachers’ perceptions of ADHD in an educational ...
Ontario’s Home First Approach, Care Transitions, and the Provision of Care: The Perspectives of Home First Clients and Their Family Caregivers English, Christine (2013-05-23)Home First is an Ontario transition management approach that attempts to reduce the pressure on hospital and Long Term Care (LTC) beds through early discharge planning, the provision of timely and appropriate home care, ...
Pearce, Joshua M.; Miller, Laura L. (Emerald, 2006)The sustainability deficit observed in modern universities is not necessary to fulfill the education, research, or administrative functions of the university system, because a vast quantity of natural resources are currently ...