Adaptive Service Composition Based on Runtime Verification of Formal Properties
| Autor: | Campos, Glaucia M.M., Rosa, Nelson Souto, Pires, Luís Ferreira, Bui, Tung X., Sprague, Jr, Ralph |
|---|---|
| Přispěvatelé: | Services, Cybersecurity & Safety |
| Rok vydání: | 2017 |
| Předmět: |
Service composition
Computer science Programming language Runtime verification 02 engineering and technology computer.software_genre Rotation formalisms in three dimensions 020204 information systems 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Adaptation Formalisms Adaptation (computer science) computer |
| Zdroj: | HICSS Proceedings of the 50th Annual Hawaii International Conference on System Sciences, HICSS 2017: January 3-7, 2017 Big Island, Hawaii, 4837-4846 STARTPAGE=4837;ENDPAGE=4846;TITLE=Proceedings of the 50th Annual Hawaii International Conference on System Sciences, HICSS 2017 |
| ISSN: | 2572-6862 |
| DOI: | 10.24251/hicss.2017.588 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|