Adaptive Service Composition Based on Runtime Verification of Formal Properties
| 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.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.identifier.doi | 10.24251/HICSS.2017.588 | |
| dc.identifier.isbn | 978-0-9981331-0-2 | |
| dc.identifier.uri | http://hdl.handle.net/10125/41750 | |
| 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 |
Files
Original bundle
1 - 1 of 1