Abstract
Interoperability is a key and challenging requirement in today’s and future systems, which are often characterized by an extreme level of heterogeneity. To build an interoperability solution between the networked systems populating the environment, both their functional and non-functional requirements have to be met.
Because of the continuous evolution of such systems, mechanisms that are fixed a-priori are inadequate to achieve interoperability. In such challenging settings, on-the-fly approaches are best suited.
This paper presents, as an interoperability solution, an approach that integrates an automated technique for the synthesis of mediator protocols with a monitoring mechanism. The former aims to provide interoperability taking care of functional characteristics of the networked systems, whereas the latter makes it possible to assess the non-functional characteristics of the connected system.
This work is partly supported by the Connect European Project No. 231167.
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
Preview
Unable to display preview. Download preview PDF.
References
Bennaceur, A., Blair, G., Georgantas, N., Grace, P., Inverardi, P., Issarny, V., Pathak, A., Saadi, R., Spalazzese, R.: Revisiting the Middleware Paradigm: On-the-fly Interoperability in Highly Complex Distributed Systems. Technical Report, INRIA Rocquencourt - Paris (May 2010)
Bennaceur, A., Blair, G.S., Chauvel, F., Georgantas, N., Grace, P., Howar, F., Inverardi, P., Issarny, V., Paolucci, M., Pathak, A., Spalazzese, R., Steffen, B., Souville, B.: Towards an architecture for runtime interoperability. In: ISoLA 2010, Part II. LNCS, vol. 6416, pp. 206–220. Springer, Heidelberg (2010)
Bertolino, A., Di Giandomenico, F., Di Marco, A., Issarny, V., Martinelli, F., Masci, P.M., Matteucci, I., Saadi, R., Sabetta, A.: Dependability in dynamic, evolving and heterogeneous systems: the CONNECT approach. In: 2nd International Workshop on Software Engineering for Resilient Systems SERENE 2010, London, U.K (2010)
Bertolino, A., Inverardi, P., Pelliccione, P., Tivoli, M.: Automatic synthesis of behavior protocols for composable web-services. In: ESEC/FSE 2009: Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, pp. 141–150. ACM, New York (2009)
Bianculli, D., Ghezzi, C.: Monitoring conversational web services. In: IW-SOSWE 2007: 2nd international workshop on Service oriented software engineering, pp. 15–21. ACM, New York (2007)
Browne, P.: JBoss Drools Business Rules. Packt Publishing (2009)
Costa, G., Matteucci, I.: Enforcing private policy via security-by-contract. Special issue Identity and Privacy Management. UPGRADE Journal XI(1), 43–53 (February 2010)
Di Giandomenico, F., Kwiatkowska, M., Martinucci, M., Masci, P., Qu, H.: Dependability analysis and verification for connected systems. In: ISoLA 2010, Part II. LNCS, vol. 6416, pp. 263–277. Springer, Heidelberg (2010)
Gibson, J.J.: The ecological approach to visual perception. Houghton Mifflin (1979)
Howar, F., Jonsson, B., Merten, M., Steffen, B., Cassel, S.: On handling data in automata learning: Considerations from the connect perspective. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part II. LNCS, vol. 6416, pp. 221–235. Springer, Heidelberg (2010)
Inverardi, P., Issarny, V., Spalazzese, R.: A theory of mediators for eternal connectors. In: ISoLA 2010, Part II. LNCS, vol. 6416, pp. 236–250. Springer, Heidelberg (2010)
Inverardi, P., Mostarda, L.: Desert: a decentralized monitoring tool generator. In: ASE 2007: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, pp. 529–530. ACM, New York (2007)
Issarny, V., Steffen, B., Jonsson, B., Blair, G., Grace, P., Kwiatkowska, M., Calinescu, R., Inverardi, P., Tivoli, M., Bertolino, A., Sabetta, A.: CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. In: 14th IEEE International Conference on Engineering of Complex Computer Systems, Postdam Germany (2009)
Keller, R.M.: Formal verification of parallel programs. ACM Commun. 19(7), 371–384 (1976)
Luckham, D.C.: The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison-Wesley Longman Publishing Co., Inc., Amsterdam (2001)
Spalazzese, R., Inverardi, P., Issarny, V.: Towards a formalization of mediating connectors for on the fly interoperability. In: Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture (WICSA/ECSA 2009), pp. 345–348 (2009)
Vaculín, R., Sycara, K.: Towards automatic mediation of OWL-S process models. In: IEEE International Conference on Web Services, pp. 1032–1039 (2007)
Weiser, M.: The computer for the 21st century. Scientific American (Septmeber 1991)
Williams, S.K., Battle, S.A., Cuadrado, J.E.: Protocol mediation for adaptation in semantic web services. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 635–649. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bertolino, A., Inverardi, P., Issarny, V., Sabetta, A., Spalazzese, R. (2010). On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification, and Validation. ISoLA 2010. Lecture Notes in Computer Science, vol 6416. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16561-0_26
Download citation
DOI: https://doi.org/10.1007/978-3-642-16561-0_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16560-3
Online ISBN: 978-3-642-16561-0
eBook Packages: Computer ScienceComputer Science (R0)