Runtime verification of service-oriented systems: a well-rounded survey

Babaee, Reza; Babamir, Seyed Morteza

doi:10.1504/ijwgs.2013.055699

Cited by 3 publications

(3 citation statements)

References 95 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Embedded system and service-based system are the top two application domains. Another survey comprehensively discuss the runtime verification for service-oriented systems in five categories: the logic and calculus oriented approaches, runtime workflow monitoring, state-based conformity assessment, aspect-oriented verification and SLA-driven compliance [ 180 ]. For each solution, the authors introduced the framework from eight selected characteristics, which include monitor, monitoring process, formal specification language, development language, monitoring data, realization mechanism, properties of interest and service composition.…”

Section: The Safety Of Self-adaptation Strategies and The Dependabmentioning

confidence: 99%

A Comprehensive Technological Survey on the Dependable Self-Management CPS: From Self-Adaptive Architecture to Self-Management Strategies

Zhou

Zuo

Hou

et al. 2019

Sensors

View full text Add to dashboard Cite

Cyber Physical Systems (CPS) has been a popular research area in the last decade. The dependability of CPS is still a critical issue, and few surveys have been published in this domain. CPS is a dynamic complex system, which involves various multidisciplinary technologies. To avoid human errors and to simplify management, self-management CPS (SCPS) is a wise choice. To achieve dependable self-management, systematic solutions are necessary to verify the design and to guarantee the safety of self-adaptation decisions, as well as to maintain the health of SCPS. This survey first recalls the concepts of dependability, and proposes a generic environment-in-loop processing flow of self-management CPS, and then analyzes the error sources and challenges of self-management through the formal feedback flow. Focusing on reducing the complexity, we first survey the self-adaptive architecture approaches and applied dependability means, then we introduce a hybrid multi-role self-adaptive architecture, and discuss the supporting technologies for dependable self-management at the architecture level. Focus on dependable environment-centered adaptation, we investigate the verification and validation (V&V) methods for making safe self-adaptation decision and the solutions for processing decision dependably. For system-centered adaptation, the comprehensive self-healing methods are summarized. Finally, we analyze the missing pieces of the technology puzzle and the future directions. In this survey, the technical trends for dependable CPS design and maintenance are discussed, an all-in-one solution is proposed to integrate these technologies and build a dependable organic SCPS. To the best of our knowledge, this is the first comprehensive survey on dependable SCPS building and evaluation.

show abstract

Section: The Safety Of Self-adaptation Strategies and The Dependabmentioning

confidence: 99%

A Comprehensive Technological Survey on the Dependable Self-Management CPS: From Self-Adaptive Architecture to Self-Management Strategies

Zhou

Zuo

Hou

et al. 2019

Sensors

View full text Add to dashboard Cite

show abstract

“…At design-time, the method ensures that the desirable requirements can be achieved without the system execution, whereas runtime verification concentrates on the service composition behavior when it is on-the fly [3].…”

Section: Motivationmentioning

confidence: 99%

“…Meanwhile, the desirable behavioral properties that must be satisfied by service composition during its execution are defined in the formal language (2). Once collected, our approach takes responsibility by the conformity process of checking behavioral properties according to execution trace (3). When an undesirable property is detected, the simplest action would be sending a message to the user.…”

Section: Proposalmentioning

confidence: 99%

Adaptive Service Composition Based on Runtime Verification of Formal Properties

Campos

Rosa

Pires

2017

Proceedings of the 50th Hawaii International Conference on System Sciences (2017)

View full text Add to dashboard Cite

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.

show abstract