Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/23046
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-27T12:30:13Z | - |
dc.date.available | 2017-10-27T12:30:13Z | - |
dc.date.issued | 2013-10 | - |
dc.identifier.citation | Colombo, C., Dimech, G., & Francalanza, A. (2013). Applying runtime verification techniques to enterprise service bus architectures. Computer Science Annual Workshop CSAW’13, Msida. 23-25. | en_GB |
dc.identifier.uri | https://www.um.edu.mt/library/oar//handle/123456789/23046 | - |
dc.description.abstract | The increased usage of distributed systems has led to the problem of integration of IT systems that communicate via different protocols. In such setting, it is also typical for these components to be added/removed from the system at runtime, depending on requirements. These two characteristics give rise to integration challenges where systems should be able to communicate seamlessly with each other whilst being able to be easily integrated with an existing distributed system with minimal impact. An ESB (Enterprise Service Bus) is a tool which attempts to address the above issues by integrating systems in a bus-like architecture where a central bus enables components to communicate via messages. This arrangement, transparently handling complex messaging functions such as transformation and routing (via routing patterns), enables the user to focus on the business logic, abstracting away communication concerns [6]. Despite facilitating orchestration of distributed components in a scalable manner, current ESBs provide little support for correctness guarantees of the overall system logic e.g. a booking component may only confirm the booking once the bank component has verified the payment details, and the airline component confirms that the dates specified are permissible. Popular techniques for ensuring correctness, such as testing and model checking are not ideal for verifying the correctness of ESB systems due to the latter’s highly dynamic nature. For this reason, we propose to apply runtime verification techniques, promising a scalable approach to checking all observed behaviour under any runtime circumstance — no matter how unpredictable this may be. | en_GB |
dc.language.iso | en | en_GB |
dc.publisher | University of Malta. Faculty of ICT | en_GB |
dc.rights | info:eu-repo/semantics/openAccess | en_GB |
dc.subject | Enterprise service bus (Computer software) | en_GB |
dc.subject | Computer programs -- Verification | en_GB |
dc.subject | Computer programming | en_GB |
dc.subject | Application software -- Development | en_GB |
dc.title | Applying runtime verification techniques to enterprise service bus architectures | en_GB |
dc.type | conferenceObject | 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.bibliographicCitation.conferencename | Computer Science Annual Workshop CSAW’13 | en_GB |
dc.bibliographicCitation.conferenceplace | Msida, Malta, 2013 | en_GB |
dc.description.reviewed | peer-reviewed | en_GB |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Proceedings of CSAW’13 - A8.pdf | 241.63 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.