Please use this identifier to cite or link to this item:
Title: A choreographed outline instrumentation approach for asynchronous components
Authors: Aceto, Luca
Attard, Duncan Paul
Francalanza, Adrian
Ingólfsdóttir, Anna
Keywords: Software engineering
Computer software -- Verification
Asynchronous transfer mode
Distributed algorithms
Issue Date: 2021-04
Publisher: Reykjavik University. Department of Computer Science
Citation: Aceto, L., Attard, D. P., Francalanza, A., & Ingólfsdóttir, A. (2021). A choreographed outline instrumentation approach for asynchronous components. Reykjavik: Reykjavik University. Department of Computer Science.
Abstract: The runtime analysis of decentralised software requires instrumentation methods that are scalable, but also minimally invasive. This paper presents a new algorithm that instruments choreographed outline monitors. Our instrumentation algorithm scales and reorganises monitors dynamically as the system executes. We demonstrate the implementability of choreographed outline instrumentation and compare it to inline instrumentation, subject to rigorous and comprehensive benchmarking. Our results debunk the general notion that outline monitoring is necessarily infeasible, and show that our implementation induces runtime overhead comparable to that of its inline counterpart for many practical cases.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
  Restricted Access
1.81 MBAdobe PDFView/Open Request a copy

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.