Adaptive service composition based on runtime verification of formal properties

Glaucia M.M. Campos, Nelson Souto Rosa, Luís Ferreira Pires

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)
17 Downloads (Pure)

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.

Original languageEnglish
Title of host publicationProceedings of the 50th Annual Hawaii International Conference on System Sciences, HICSS 2017
Subtitle of host publicationJanuary 3-7, 2017 Big Island, Hawaii
EditorsTung X. Bui, Ralph Sprague, Jr
PublisherUniversity of Hawaii at Manoa
Pages4837-4846
Number of pages10
ISBN (Electronic)978-0-9981331-0-2
DOIs
Publication statusPublished - 2017
Event50th Annual Hawaii International Conference on System Sciences, HICSS 2017 - Hilton Waikoloa Village, Waikoloa, Haiti
Duration: 4 Jan 20177 Jan 2017
Conference number: 50

Publication series

NameProceedings of the Annual Hawaii International Conference on System Sciences
Volume2017-January
ISSN (Print)1530-1605

Conference

Conference50th Annual Hawaii International Conference on System Sciences, HICSS 2017
Abbreviated titleHICSS
Country/TerritoryHaiti
CityWaikoloa
Period4/01/177/01/17

Keywords

  • Adaptation
  • Formalisms
  • Runtime verification
  • Service composition

Fingerprint

Dive into the research topics of 'Adaptive service composition based on runtime verification of formal properties'. Together they form a unique fingerprint.

Cite this