2013
Contribution to book
Open Access
On-the-fly dependable mediation between heterogeneous networked systems
Bertolino A., Calabrò A., Di Giandomenico F., Nostro N., Inverardi P., Spalazzese R.
[ INFO.INFO-SE ] Computer Science [cs]/Software Engineering [cs.SE] Networked systems Model-based analysis Heterogeneous systems Non-functional requirements Stochastic analysis Heteroneneous systems Adaptive approach Runtime Monitoring Heterogeneous networked systems Performance properties
The development of next generation Future Internet systems must be capable to address complexity, heterogeneity, interdependency and, especially, evolution of loosely connected networked systems. The European project CONNECT addresses the challenging and ambitious topic of ensuring eternally functioning distributed and heterogeneous systems through on-the-fly synthesis of the CONNECTors through which they communicate. In this paper we focus on the CONNECT enablers that dynamically derive such connectors ensuring the required non-functional requirements via a framework to analyse and assess dependability and performance properties. We illustrate the adaptive approach under development integrating synthesis of CONNECTors, stochastic model-based analysis performed at design time and run-time monitoring. The proposed framework is illustrated on a case study.
Source: Software and Data Technologies. Revised selected papers, edited by María José Escalona, José Cordeiro, Boris Shishkov, pp. 20–37. Berlin Heidelberg New York: Springer, 2013
Publisher: Springer, Berlin Heidelberg New York, DEU
1. Bondavalli, A., Chiaradonna, S., Giandomenico, F.D.: Model-based evaluation as a support to the design of dependable systems. In: Diab, H.B., Zomaya, A.Y. (eds.) Dependable Computing Systems: Paradigms, Performance Issues, and Applications, pp. 57-86. Wiley (2005)
2. CONNECT Consortium: Deliverable 6.1 - Experiment scenarios, prototypes and report - Iteration 1 (2011)
3. Inverardi, P., Issarny, V., Spalazzese, R.: A Theory of Mediators for Eternal Connectors. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part II. LNCS, vol. 6416, pp. 236-250. Springer, Heidelberg (2010)
4. Spalazzese, R., Inverardi, P., Issarny, V.: Towards a formalization of mediating connectors for on the fly interoperability. In: Proceedings of the WICSA/ECSA 2009, pp. 345-348 (2009)
5. Spalazzese, R., Inverardi, P.: Mediating Connector Patterns for Components Interoperability. In: Babar, M.A., Gorton, I. (eds.) ECSA 2010. LNCS, vol. 6285, pp. 335-343. Springer, Heidelberg (2010)
6. Spalazzese, R., Inverardi, P.: Components interoperability through mediating connector pattern. In: WCSI 2010, arXiv:1010.2337. EPTCS, vol. 37, pp. 27-41 (2010)
7. Bertolino, A., Calabro´, A., Di Giandomenico, F., Nostro, N.: Dependability and Performance Assessment of Dynamic CONNECTed Systems. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 350-392. Springer, Heidelberg (2011)
8. Masci, P., Martinucci, M., Di Giandomenico, F.: Towards automated dependability analysis of dynamically connected systems. In: Proc. IEEE International Symposium on Autonomous Decentralized Systems, Kobe, Japan, pp. 139-146. IEEE (June 2011)
9. Masci, P., Nostro, N., Di Giandomenico, F.: On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis. In: Troubitsyna, E.A. (ed.) SERENE 2011. LNCS, vol. 6968, pp. 78-92. Springer, Heidelberg (2011)
10. Sanders, W.H., Malhis, L.M.: Dependability evaluation using composed SAN-based reward models. Journal of Parallel and Distributed Computing 15, 238-254 (1992)
11. Daly, D., Deavours, D.D., Doyle, J.M., Webster, P.G., Sanders, W.H.: Mo¨bius: An Extensible Tool for Performance and Dependability Modeling. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol. 1786, pp. 332-336. Springer, Heidelberg (2000)
12. Drools fusion: Complex event processor, http://www.jboss.org/drools/drools-fusion.html
13. Weiser, M.: Hot Topics: Ubiquitous Computing. IEEE Computer (1993)
14. Calvert, K.L., Lam, S.S.: Formal methods for protocol conversion. IEEE Journal on Selected Areas in Communications 8, 127-142 (1990)
15. Lam, S.S.: Correction to ”protocol conversion”. IEEE Trans. Software Eng. 14, 1376 (1988)
16. Okumura, K.: A formal protocol conversion method. In: SIGCOMM, pp. 30-37 (1986)
17. Wiederhold, G.: Mediators in the architecture of future information systems. IEEE Computer 25, 38-49 (1992)
18. Garlan, D., Shaw, M.: An introduction to software architecture. Technical Report CMU-CS94-166, Carnegie Mellon University (1994)
19. Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture. A System of Patterns, vol. 1. Wiley, Chichester (1996)
20. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Resusable Object-Oriented Software. Addison-Wesley Professional (1995)
21. Wermelinger, M., Fiadeiro, J.L.: Connectors for mobile programs. IEEE Trans. Softw. Eng. 24, 331-341 (1998)
22. Spitznagel, B.: Compositional Transformation of Software Connectors. PhD thesis, Carnegie Mellon University (2004)
23. Motahari Nezhad, H.R., Xu, G.Y., Benatallah, B.: Protocol-aware matching of web service interfaces for adapter development. In: Proceedings of the 19th International Conference on World Wide Web, WWW 2010, pp. 731-740. ACM, New York (2010)
24. Cimpian, E., Mocan, A.: WSMX Process Mediation Based on Choreographies. In: Bussler, C.J., Haller, A. (eds.) BPM 2005. LNCS, vol. 3812, pp. 130-143. Springer, Heidelberg (2006)
25. Vacul´ın, R., Sycara, K.: Towards automatic mediation of OWL-S process models. In: IEEE International Conference on Web Services, pp. 1032-1039 (2007)
26. 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)
27. Cavallaro, L., Di Nitto, E., Pradella, M.: An Automatic Approach to Enable Replacement of Conversational Services. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol. 5900, pp. 159-174. Springer, Heidelberg (2009)
28. Dumas, M., Spork, M., Wang, K.: Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 65-80. Springer, Heidelberg (2006)
29. Spitznagel, B., Garlan, D.: A compositional formalization of connector wrappers. In: ICSE, pp. 374-384 (2003)
30. Fiadeiro, J.L., Lopes, A., Wermelinger, M.: Theory and practice of software architectures. Tutorial at the 16th IEEE Conference on Automated Software Engineering, San Diego, CA, USA, November 26-29 (2001)
31. Lopes, A., Wermelinger, M., Fiadeiro, J.L.: Higher-order architectural connectors. ACM Trans. Softw. Eng. Methodol. 12, 64-104 (2003)
32. Barbosa, M.A., Barbosa, L.S.: Specifying Software Connectors. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol. 3407, pp. 52-67. Springer, Heidelberg (2005)
33. Bruni, R., Lanese, I., Montanari, U.: A basic algebra of stateless connectors. Theor. Comput. Sci. 366, 98-120 (2006)
34. Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Trans. Program. Lang. Syst. 19 (1997)
35. Tivoli, M., Inverardi, P.: Failure-free coordinators synthesis for component-based architectures. Sci. Comput. Program. 71, 181-212 (2008)
36. Canal, C., Poizat, P., Salau¨n, G.: Model-based adaptation of behavioral mismatching components. IEEE Trans. Software Eng. 34, 546-563 (2008)
37. Nicol, D.M., Sanders, W.H., Trivedi, K.S.: Model-based evaluation: from dependability to security. IEEE Transactions on Dependable and Secure Computing 1, 48-65 (2004)
38. Pietzuch, P., Shand, B., Bacon, J.: Composite event detection as a generic middleware extension. IEEE Network 18, 44-55 (2004)
39. Hussein, E.A.S., Abdel-wahab, H., Maly, K.: HiFi: A New Monitoring Architecture for Distributed Systems Management. In: Proceedings of ICDCS, pp. 171-178 (1999)
40. Mishra, K., Trivedi, K.S.: Model Based Approach for Autonomic Availability Management. In: Penkler, D., Reitenspiess, M., Tam, F. (eds.) ISAS 2006. LNCS, vol. 4328, pp. 1-16. Springer, Heidelberg (2006)
41. Pietrantuono, R., Russo, S., Trivedi, K.S.: Online monitoring of software system reliability. In: Proc. EDCC 2010 - 2010 European Dependable Computing Conference, pp. 209-218. IEEE Computer Society (2010)
2. CONNECT Consortium: Deliverable 6.1 - Experiment scenarios, prototypes and report - Iteration 1 (2011)
3. Inverardi, P., Issarny, V., Spalazzese, R.: A Theory of Mediators for Eternal Connectors. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part II. LNCS, vol. 6416, pp. 236-250. Springer, Heidelberg (2010)
4. Spalazzese, R., Inverardi, P., Issarny, V.: Towards a formalization of mediating connectors for on the fly interoperability. In: Proceedings of the WICSA/ECSA 2009, pp. 345-348 (2009)
5. Spalazzese, R., Inverardi, P.: Mediating Connector Patterns for Components Interoperability. In: Babar, M.A., Gorton, I. (eds.) ECSA 2010. LNCS, vol. 6285, pp. 335-343. Springer, Heidelberg (2010)
6. Spalazzese, R., Inverardi, P.: Components interoperability through mediating connector pattern. In: WCSI 2010, arXiv:1010.2337. EPTCS, vol. 37, pp. 27-41 (2010)
7. Bertolino, A., Calabro´, A., Di Giandomenico, F., Nostro, N.: Dependability and Performance Assessment of Dynamic CONNECTed Systems. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 350-392. Springer, Heidelberg (2011)
8. Masci, P., Martinucci, M., Di Giandomenico, F.: Towards automated dependability analysis of dynamically connected systems. In: Proc. IEEE International Symposium on Autonomous Decentralized Systems, Kobe, Japan, pp. 139-146. IEEE (June 2011)
9. Masci, P., Nostro, N., Di Giandomenico, F.: On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis. In: Troubitsyna, E.A. (ed.) SERENE 2011. LNCS, vol. 6968, pp. 78-92. Springer, Heidelberg (2011)
10. Sanders, W.H., Malhis, L.M.: Dependability evaluation using composed SAN-based reward models. Journal of Parallel and Distributed Computing 15, 238-254 (1992)
11. Daly, D., Deavours, D.D., Doyle, J.M., Webster, P.G., Sanders, W.H.: Mo¨bius: An Extensible Tool for Performance and Dependability Modeling. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol. 1786, pp. 332-336. Springer, Heidelberg (2000)
12. Drools fusion: Complex event processor, http://www.jboss.org/drools/drools-fusion.html
13. Weiser, M.: Hot Topics: Ubiquitous Computing. IEEE Computer (1993)
14. Calvert, K.L., Lam, S.S.: Formal methods for protocol conversion. IEEE Journal on Selected Areas in Communications 8, 127-142 (1990)
15. Lam, S.S.: Correction to ”protocol conversion”. IEEE Trans. Software Eng. 14, 1376 (1988)
16. Okumura, K.: A formal protocol conversion method. In: SIGCOMM, pp. 30-37 (1986)
17. Wiederhold, G.: Mediators in the architecture of future information systems. IEEE Computer 25, 38-49 (1992)
18. Garlan, D., Shaw, M.: An introduction to software architecture. Technical Report CMU-CS94-166, Carnegie Mellon University (1994)
19. Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture. A System of Patterns, vol. 1. Wiley, Chichester (1996)
20. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Resusable Object-Oriented Software. Addison-Wesley Professional (1995)
21. Wermelinger, M., Fiadeiro, J.L.: Connectors for mobile programs. IEEE Trans. Softw. Eng. 24, 331-341 (1998)
22. Spitznagel, B.: Compositional Transformation of Software Connectors. PhD thesis, Carnegie Mellon University (2004)
23. Motahari Nezhad, H.R., Xu, G.Y., Benatallah, B.: Protocol-aware matching of web service interfaces for adapter development. In: Proceedings of the 19th International Conference on World Wide Web, WWW 2010, pp. 731-740. ACM, New York (2010)
24. Cimpian, E., Mocan, A.: WSMX Process Mediation Based on Choreographies. In: Bussler, C.J., Haller, A. (eds.) BPM 2005. LNCS, vol. 3812, pp. 130-143. Springer, Heidelberg (2006)
25. Vacul´ın, R., Sycara, K.: Towards automatic mediation of OWL-S process models. In: IEEE International Conference on Web Services, pp. 1032-1039 (2007)
26. 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)
27. Cavallaro, L., Di Nitto, E., Pradella, M.: An Automatic Approach to Enable Replacement of Conversational Services. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol. 5900, pp. 159-174. Springer, Heidelberg (2009)
28. Dumas, M., Spork, M., Wang, K.: Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 65-80. Springer, Heidelberg (2006)
29. Spitznagel, B., Garlan, D.: A compositional formalization of connector wrappers. In: ICSE, pp. 374-384 (2003)
30. Fiadeiro, J.L., Lopes, A., Wermelinger, M.: Theory and practice of software architectures. Tutorial at the 16th IEEE Conference on Automated Software Engineering, San Diego, CA, USA, November 26-29 (2001)
31. Lopes, A., Wermelinger, M., Fiadeiro, J.L.: Higher-order architectural connectors. ACM Trans. Softw. Eng. Methodol. 12, 64-104 (2003)
32. Barbosa, M.A., Barbosa, L.S.: Specifying Software Connectors. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol. 3407, pp. 52-67. Springer, Heidelberg (2005)
33. Bruni, R., Lanese, I., Montanari, U.: A basic algebra of stateless connectors. Theor. Comput. Sci. 366, 98-120 (2006)
34. Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Trans. Program. Lang. Syst. 19 (1997)
35. Tivoli, M., Inverardi, P.: Failure-free coordinators synthesis for component-based architectures. Sci. Comput. Program. 71, 181-212 (2008)
36. Canal, C., Poizat, P., Salau¨n, G.: Model-based adaptation of behavioral mismatching components. IEEE Trans. Software Eng. 34, 546-563 (2008)
37. Nicol, D.M., Sanders, W.H., Trivedi, K.S.: Model-based evaluation: from dependability to security. IEEE Transactions on Dependable and Secure Computing 1, 48-65 (2004)
38. Pietzuch, P., Shand, B., Bacon, J.: Composite event detection as a generic middleware extension. IEEE Network 18, 44-55 (2004)
39. Hussein, E.A.S., Abdel-wahab, H., Maly, K.: HiFi: A New Monitoring Architecture for Distributed Systems Management. In: Proceedings of ICDCS, pp. 171-178 (1999)
40. Mishra, K., Trivedi, K.S.: Model Based Approach for Autonomic Availability Management. In: Penkler, D., Reitenspiess, M., Tam, F. (eds.) ISAS 2006. LNCS, vol. 4328, pp. 1-16. Springer, Heidelberg (2006)
41. Pietrantuono, R., Russo, S., Trivedi, K.S.: Online monitoring of software system reliability. In: Proc. EDCC 2010 - 2010 European Dependable Computing Conference, pp. 209-218. IEEE Computer Society (2010)
Metrics
Back to previous page
BibTeX entry
@inbook{oai:it.cnr:prodotti:277240,
title = {On-the-fly dependable mediation between heterogeneous networked systems},
author = {Bertolino A. and Calabrò A. and Di Giandomenico F. and Nostro N. and Inverardi P. and Spalazzese R.},
publisher = {Springer, Berlin Heidelberg New York, DEU},
doi = {10.1007/978-3-642-36177-7_2},
booktitle = {Software and Data Technologies. Revised selected papers, edited by María José Escalona, José Cordeiro, Boris Shishkov, pp. 20–37. Berlin Heidelberg New York: Springer, 2013},
year = {2013}
}
0000-0001-8749-1356
