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.
The research work disclosed in this publication is partially funded by the Master it! Scholarship Scheme (Malta).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
As the communication mechanism is itself layered, there are a number of levels of abstraction possible. However, we choose to work at the most abstract level possible, i.e., Mule messages.
- 2.
References
1st international competition of software for runtime verification (2014). http://rv2014.imag.fr/monitoring-competition
Barnett, M., Schulte, W.: Spying on components: a runtime verification technique. In: SAVCBS, pp. 7–13. OOPSLA (2001)
Cassar, I., Francalanza, A.: On synchronous and asynchronous monitor instrumentation for actor-based systems. In: FOCLASA, vol. 175, pp. 54–68. EPTCS (2014)
Chappell, D.A.: Enterprise Service Bus: Theory in Practice. O’Reilly Media, Sebastopol (2004)
Colombo, C., Pace, G.J.: Fast-forward runtime monitoring — an industrial case study. In: Qadeer, S., Tasiran, S. (eds.) RV 2012. LNCS, vol. 7687, pp. 214–228. Springer, Heidelberg (2013)
Cusumano, M.: Cloud computing and SaaS as new computing platforms. Commun. ACM 53(4), 27–29 (2010)
David D’Emic, J.D., Romero, V.: Mule in Action. Manning Publications Co., Greenwich (2014)
Gopal, J., more: Guide To Enterprise Integration (2014). http://www.dzone.com/research/guide-to-enterprise-integration
Ibsen, C., Anstey, J.: Camel in Action. Manning Publications Co., Greenwich (2010)
Krüger, I.H., Meisinger, M., Menarini, M.: Interaction-based runtime verification for systems of systems integration. J. Log. Comput. 20(3), 725–742 (2010)
Leucker, M., Schallhart, C.: A brief account of runtime verification. JLAP 78(5), 293–303 (2009)
Mahrenholz, D., Spinczyk, O., Schroder-Preikschat, W.: Program instrumentation for debugging and monitoring with AspectC++. In: ISORC, pp. 249–256 (2002)
Marek, L., Villazón, A., Zheng, Y., Ansaloni, D., Binder, W., Qi, Z.: Disl: a domain-specific language for bytecode instrumentation. In: AOSD, pp. 239–250. ACM (2012)
Meredith, P.O., Jin, D., Griffith, D., Chen, F., Roşu, G.: An overview of the MOP runtime verification framework. STTT 4, 249–289 (2011)
Papazoglou, M., van den Heuvel, W.J.: Service oriented architectures: approaches, technologies and research issues. VLDB 16(3), 389–415 (2007)
Popovici, A., Alonso, G., Gross, T.: Just-in-time aspects: efficient dynamic weaving for Java. In: AOSD, pp. 100–109. ACM (2003)
Psiuk, M., Bujok, T., Zielinski, K.: Enterprise service bus monitoring framework for SOA systems. IEEE Trans. Serv. Comput. 5(3), 450–466 (2012)
Rademakers, T., Dirksen, J.: Open-Source ESBs in Action. Manning Publications Co., Greenwich (2008)
Roşu, G., Havelund, K.: Rewriting-based techniques for runtime verification. ASE 12(2), 151–197 (2005)
Siriwardena, P.: Enterprise Integration with WSO2 ESB. Packt Publishing Ltd., Birmingham (2013)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Colombo, C., Dimech, G., Francalanza, A. (2015). Investigating Instrumentation Techniques for ESB Runtime Verification. In: Calinescu, R., Rumpe, B. (eds) Software Engineering and Formal Methods. SEFM 2015. Lecture Notes in Computer Science(), vol 9276. Springer, Cham. https://doi.org/10.1007/978-3-319-22969-0_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-22969-0_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-22968-3
Online ISBN: 978-3-319-22969-0
eBook Packages: Computer ScienceComputer Science (R0)