Please use this identifier to cite or link to this item: http://hdl.handle.net/10125/41750

Adaptive Service Composition Based on Runtime Verification of Formal Properties

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

Item Summary

dc.contributor.author Medeiros Campos, Glaucia Melissa
dc.contributor.author Souto Rosa, Nelson
dc.contributor.author Ferreira Pires, Luis
dc.date.accessioned 2016-12-29T01:49:11Z
dc.date.available 2016-12-29T01:49:11Z
dc.date.issued 2017-01-04
dc.identifier.isbn 978-0-9981331-0-2
dc.identifier.uri http://hdl.handle.net/10125/41750
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.rights.uri https://creativecommons.org/licenses/by-nc-nd/4.0/
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 libraryada-l@lists.hawaii.edu if you need this content in ADA-compliant format.

This item is licensed under a Creative Commons License Creative Commons