On-the-fly interoperability through automated mediator synthesis and monitoring
Bertolino A, Inverardi P, Issarny V, Sabetta A, Spalazzese R
Heterogeneity Testing and Debugging CONNECT Distributed Systems Interoperability [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
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
2. A. Bennaceur, G. S. Blair, F. Chauvel, N. Georgantas, P. Grace, F. Howar, P. Inverardi, V. Issarny, M. Paolucci, A. Pathak, R. Spalazzese, B. Steffen, and B. Souville. Towards an architecture for runtime interoperability. In Proceedings of ISoLA 2010 - 4th International Symposium On Leveraging Applications of Formal Methods, Veri cation and Validation. Springer, 2010.
3. A. Bertolino, F. Di Giandomenico, A. Di Marco, V. Issarny, F. Martinelli, P. M. Masci, I. Matteucci, R. Saadi, and A. Sabetta. 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.
4. A. Bertolino, P. Inverardi, P. Pelliccione, and M. Tivoli. Automatic synthesis of behavior protocols for composable web-services. In ESEC/FSE '09: Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, pages 141-150, New York, NY, USA, 2009. ACM.
5. D. Bianculli and C. Ghezzi. Monitoring conversational web services. In IW-SOSWE '07: 2nd international workshop on Service oriented software engineering, pages 15-21, New York, NY, USA, 2007. ACM.
6. P. Browne. JBoss Drools Business Rules. Packt Publishing, 2009.
7. G. Costa and I. Matteucci. Enforcing private policy via security-by-contract. Special issue Identity and Privacy Management. UPGRADE Journal, Vol. XI,(1):43- 53, February 2010.
8. F. Di Giandomenico, M. Kwiatkowska, M. Martinucci, P. Masci, and H. Qu. Dependability analysis and verification for connected systems. In Proceedings of ISoLA 2010 - 4th International Symposium On Leveraging Applications of Formal Methods, Veri cation and Validation. Springer, 2010.
9. J. J. Gibson. The ecological approach to visual perception. Houghton Mifflin, 1979.
10. F. Howar, B. Jonsson, M. Merten, B. Steffen, and S. Cassel. On handling data in automata learning: Considerations from the connect perspective. In Proceedings of ISoLA 2010 - 4th International Symposium On Leveraging Applications of Formal Methods, Veri cation and Validation. Springer, 2010.
11. P. Inverardi, V. Issarny, and R. Spalazzese. A theory of mediators for eternal connectors. In Proceedings of ISoLA 2010 - 4th International Symposium On Leveraging Applications of Formal Methods, Veri cation and Validation. Springer, 2010.
12. P. Inverardi and L. Mostarda. Desert: a decentralized monitoring tool generator. In ASE '07: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, pages 529-530, New York, NY, USA, 2007. ACM.
13. V. Issarny, B. Steffen, B. Jonsson, G. Blair, P. Grace, M. Kwiatkowska, R. Calinescu, P. Inverardi, M. Tivoli, A. Bertolino, and A. Sabetta. CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. In 14th IEEE International Conference on Engineering of Complex Computer Systems, Postdam Germany, 2009.
14. R. M. Keller. Formal verification of parallel programs. Commun. ACM, 19(7):371- 384, 1976.
15. D. C. Luckham. The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison-Wesley Longman Publishing Co., Inc., 2001.
16. R. Spalazzese, P. Inverardi, and V. Issarny. 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), pages 345-348, 2009.
17. R. Vacul´ın and K. Sycara. Towards automatic mediation of OWL-S process models. Web Services, IEEE International Conference on, 0:1032-1039, 2007.
18. M. Weiser. The computer for the 21st century. Scienti c American, Sep. 1991.
19. S. K. Williams, S. A. Battle, and J. E. Cuadrado. Protocol mediation for adaptation in semantic web services. In ESWC, pages 635-649, 2006.
Metrics
Back to previous page
@inproceedings{oai:it.cnr:prodotti:44336,
title = {On-the-fly interoperability through automated mediator synthesis and monitoring},
author = {Bertolino A and Inverardi P and Issarny V and Sabetta A and Spalazzese R},
doi = {10.1007/978-3-642-16561-0_26},
year = {2010}
}
0000-0001-8749-1356
