Please use this identifier to cite or link to this item:

Adaptive Service Composition Based on Runtime Verification of Formal Properties

File SizeFormat 
paper0601.pdf1.21 MBAdobe PDFView/Open

Item Summary

Title: Adaptive Service Composition Based on Runtime Verification of Formal Properties
Authors: Medeiros Campos, Glaucia Melissa
Souto Rosa, Nelson
Ferreira Pires, Luis
Keywords: service composition
runtime verification
Issue Date: 04 Jan 2017
Abstract: Service-Oriented Computing (SOC) has been used in business environments in order to integrate heterogeneous systems. The dynamic nature of these environments causes \ changes in the application requirements. As a result, service composition must be flexible, dynamic and adaptive, which motivate the need to ensure the service composition behavior \ at runtime. The development of adaptive service compositions is still an opportunity due to the complexity of dealing with adaptation issues, for example, how to provide runtime verification \ and automatic adaptation. Formal description techniques can be used to detect runtime undesirable behaviors that help in adaptation process. However, formal techniques have been \ used only at design-time. In this paper, we propose an adaptive service composition approach based on the lightweight use of formal methods. The aim is detecting undesirable behaviors in \ the execution trace. Once an undesirable behavior is detected during the execution of a service composition, our approach triggers an adequate reconfiguration plan for the problem at \ runtime. In order to evaluate the effectiveness of the proposal, we illustrate it with a running example.
Pages/Duration: 10 pages
ISBN: 978-0-9981331-0-2
DOI: 10.24251/HICSS.2017.588
Rights: Attribution-NonCommercial-NoDerivatives 4.0 International
Appears in Collections:Enterprise Architecture and Business Processes Analysis Minitrack

Please contact if you need this content in an ADA compliant alternative format.

Items in ScholarSpace are protected by copyright, with all rights reserved, unless otherwise indicated.