Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/23247
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Colombo, Christian | - |
dc.contributor.author | Dimech, Gabriel | - |
dc.contributor.author | Francalanza, Adrian | - |
dc.date.accessioned | 2017-10-31T14:49:16Z | - |
dc.date.available | 2017-10-31T14:49:16Z | - |
dc.date.issued | 2015 | - |
dc.identifier.citation | Colombo, C., Dimech, G., & Francalanza, A. (2015). Investigating instrumentation techniques for ESB runtime verification. In R. Calinescu, & B. Rumpe (Eds.), Software Engineering and Formal Methods. Lecture Notes in Computer Science (pp. 1-8). Cham: Springer. | en_GB |
dc.identifier.uri | https://www.um.edu.mt/library/oar//handle/123456789/23247 | - |
dc.description.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. | en_GB |
dc.language.iso | en | en_GB |
dc.publisher | Springer, Cham | en_GB |
dc.rights | info:eu-repo/semantics/openAccess | en_GB |
dc.subject | Object-oriented methods (Computer science) | en_GB |
dc.subject | Computer software -- Development | en_GB |
dc.subject | Computer software -- Quality control | en_GB |
dc.subject | Autonomous distributed systems | en_GB |
dc.subject | Formal methods (Computer science) | en_GB |
dc.subject | Real-time data processing | en_GB |
dc.subject | Computer software -- Verification | en_GB |
dc.title | Investigating instrumentation techniques for ESB runtime verification | en_GB |
dc.title.alternative | Software engineering and formal methods. Lecture notes in computer science | en_GB |
dc.type | bookPart | en_GB |
dc.rights.holder | The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder | en_GB |
dc.description.reviewed | peer-reviewed | en_GB |
dc.identifier.doi | 10.1007/978-3-319-22969-0_7 | - |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
sefm2015.pdf | 169.67 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.