Interaction-based Runtime Verification for Systems of Systems Integration

Krüger, Ingolf H.; Meisinger, Michael; Menarini, Massimiliano

doi:10.1093/logcom/exn079

Cited by 20 publications

(15 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Psiuk et al [17] propose an RV framework for ESB systems implemented using the JBI specification (e.g., ServiceMix and OpenESB) using AspectJ as instrumentation, while Kruger et al [10] apply runtime verification to a Mule ESB using Spring AOP. In both cases, the focus was not performance or the choice of the instrumentation approach but rather the design of the architecture, from the specification of the properties, to monitor synthesis, to instrumentation, and effective monitoring.…”

Section: Resultsmentioning

confidence: 99%

Investigating Instrumentation Techniques for ESB Runtime Verification

Colombo

Dimech

Francalanza

2015

Software Engineering and Formal Methods

View full text Add to dashboard Cite

Abstract. Enterprise Service Buses (ESBs) are highly-dynamic component platforms that are hard to test for correctness because their connected components may not necessarily be present prior to deployment. Runtime Verification (RV) is a potential solution towards ascertaining correctness of an ESB, by checking the ESB's execution at runtime, and detecting any deviations from the expected behaviour. A crucial aspect impinging upon the feasibility of this verification approach is the runtime overheads introduced, which may have adverse effects on the execution of the ESB system being monitored. In turn, one factor that bears a major effect on such overheads is the instrumentation mechanism adopted by the RV setup. In this paper we identify three likely (but substantially different) ESB instrumentation mechanisms, detail their implementation over a widely-used ESB platform, assess them qualitatively, and empirically evaluate the runtime overheads introduced by these mechanisms.

show abstract

Section: Resultsmentioning

confidence: 99%

Investigating Instrumentation Techniques for ESB Runtime Verification

Colombo

Dimech

Francalanza

2015

Software Engineering and Formal Methods

View full text Add to dashboard Cite

show abstract

“…In [10] and [11], generation of distributed runtime monitors for each component has also been presented. It makes use of Aspect…”

Section: Related Workmentioning

confidence: 99%

Generation of Oracle Components from Message Sequence Charts

Mondal¹

2016

Preprint

View full text Add to dashboard Cite

“…Message Sequence Charts (MSC), which are also known as UML sequence diagrams, have been the focus of many works [29,36,27,37]. Among them, Kruger et al [37] propose a runtime monitoring framework based on projecting MSC to distributed monitors based on finite state machines. They use aspect-oriented programming techniques to inject the monitors into the implementation of the components.…”

Section: Related Workmentioning

confidence: 99%

Monitoring Networks through Multiparty Session Types

Bocchi

Chen

Demangeon

et al. 2013

Formal Techniques for Distributed Systems

View full text Add to dashboard Cite

In large-scale distributed infrastructures, applications are realised through communications among distributed components. The need for methods for assuring safe interactions in such environments is recognised, however the existing frameworks, relying on centralised verification or restricted specification methods, have limited applicability. This paper proposes a new theory of monitored π -calculus with dynamic usage of multiparty session types (MPST), offering a rigorous foundation for safety assurance of distributed components which asynchronously communicate through multiparty sessions. Our theory establishes a framework for semantically precise decentralised run-time enforcement and provides reasoning principles over monitored distributed applications, which complement existing static analysis techniques. We introduce asynchrony through the means of explicit routers and global queues, and propose novel equivalences between networks, that capture the notion of interface equivalence, i.e. equating networks offering the same services to a user. We illustrate our static-dynamic analysis system with an ATM protocol as a running example and justify our theory with results: satisfaction equivalence, local/global safety and transparency, and session fidelity.

show abstract

Interaction-based Runtime Verification for Systems of Systems Integration

Cited by 20 publications

References 4 publications

Investigating Instrumentation Techniques for ESB Runtime Verification

Investigating Instrumentation Techniques for ESB Runtime Verification

Generation of Oracle Components from Message Sequence Charts

Monitoring Networks through Multiparty Session Types

Contact Info

Product

Resources

About