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

Adaptive Service Composition Based on Runtime Verification of Formal Properties

File Size Format  
paper0601.pdf 1.21 MB Adobe PDF View/Open

Item Summary Medeiros Campos, Glaucia Melissa Souto Rosa, Nelson Ferreira Pires, Luis 2016-12-29T01:49:11Z 2016-12-29T01:49:11Z 2017-01-04
dc.identifier.isbn 978-0-9981331-0-2
dc.description.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.
dc.format.extent 10 pages
dc.language.iso eng
dc.relation.ispartof Proceedings of the 50th Hawaii International Conference on System Sciences
dc.rights Attribution-NonCommercial-NoDerivatives 4.0 International
dc.subject service composition
dc.subject formalisms
dc.subject runtime verification
dc.subject adaptation
dc.title Adaptive Service Composition Based on Runtime Verification of Formal Properties
dc.type Conference Paper
dc.type.dcmi Text
dc.identifier.doi 10.24251/HICSS.2017.588
Appears in Collections: Enterprise Architecture and Business Processes Analysis Minitrack

Please email if you need this content in ADA-compliant format.

This item is licensed under a Creative Commons License Creative Commons