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

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