Skip to main content
SpringerLink
Log in
Book cover

International Conference on Software and Data Technologies

ICSOFT 2011: Software and Data Technologies pp 20–37Cite as

On-the-Fly Dependable Mediation between Heterogeneous Networked Systems

  • Conference paper

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 303))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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)

    Google Scholar 

  2. CONNECT Consortium: Deliverable 6.1 – Experiment scenarios, prototypes and report – Iteration 1 (2011)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  6. Spalazzese, R., Inverardi, P.: Components interoperability through mediating connector pattern. In: WCSI 2010, arXiv:1010.2337. EPTCS, vol. 37, pp. 27–41 (2010)

    Google Scholar 

  7. Bertolino, A., Calabró, 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)

    Chapter  Google Scholar 

  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)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  11. Daly, D., Deavours, D.D., Doyle, J.M., Webster, P.G., Sanders, W.H.: Mö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)

    Chapter  Google Scholar 

  12. Drools fusion: Complex event processor, http://www.jboss.org/drools/drools-fusion.html

  13. Weiser, M.: Hot Topics: Ubiquitous Computing. IEEE Computer (1993)

    Google Scholar 

  14. Calvert, K.L., Lam, S.S.: Formal methods for protocol conversion. IEEE Journal on Selected Areas in Communications 8, 127–142 (1990)

    Article  Google Scholar 

  15. Lam, S.S.: Correction to ”protocol conversion”. IEEE Trans. Software Eng. 14, 1376 (1988)

    Article  Google Scholar 

  16. Okumura, K.: A formal protocol conversion method. In: SIGCOMM, pp. 30–37 (1986)

    Google Scholar 

  17. Wiederhold, G.: Mediators in the architecture of future information systems. IEEE Computer 25, 38–49 (1992)

    Article  Google Scholar 

  18. Garlan, D., Shaw, M.: An introduction to software architecture. Technical Report CMU-CS-94-166, Carnegie Mellon University (1994)

    Google Scholar 

  19. Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture. A System of Patterns, vol. 1. Wiley, Chichester (1996)

    Google Scholar 

  20. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Resusable Object-Oriented Software. Addison-Wesley Professional (1995)

    Google Scholar 

  21. Wermelinger, M., Fiadeiro, J.L.: Connectors for mobile programs. IEEE Trans. Softw. Eng. 24, 331–341 (1998)

    Article  Google Scholar 

  22. Spitznagel, B.: Compositional Transformation of Software Connectors. PhD thesis, Carnegie Mellon University (2004)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  29. Spitznagel, B., Garlan, D.: A compositional formalization of connector wrappers. In: ICSE, pp. 374–384 (2003)

    Google Scholar 

  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)

    Google Scholar 

  31. Lopes, A., Wermelinger, M., Fiadeiro, J.L.: Higher-order architectural connectors. ACM Trans. Softw. Eng. Methodol. 12, 64–104 (2003)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  33. Bruni, R., Lanese, I., Montanari, U.: A basic algebra of stateless connectors. Theor. Comput. Sci. 366, 98–120 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  34. Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Trans. Program. Lang. Syst. 19 (1997)

    Google Scholar 

  35. Tivoli, M., Inverardi, P.: Failure-free coordinators synthesis for component-based architectures. Sci. Comput. Program. 71, 181–212 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  36. Canal, C., Poizat, P., Salaün, G.: Model-based adaptation of behavioral mismatching components. IEEE Trans. Software Eng. 34, 546–563 (2008)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  38. Pietzuch, P., Shand, B., Bacon, J.: Composite event detection as a generic middleware extension. IEEE Network 18, 44–55 (2004)

    Article  Google Scholar 

  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)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Istituto di Scienza e Tecnologie dell’Informazione ”A. Faedo”, CNR, Pisa, Italy

    Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico & Nicola Nostro

  2. Department of Computer Science, University of L’Aquila, Coppito, AQ, Italy

    Paola Inverardi & Romina Spalazzese

Authors
  1. Antonia Bertolino
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antonello Calabrò
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Felicita Di Giandomenico
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Nicola Nostro
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Paola Inverardi
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Romina Spalazzese
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. ETS Ingeniería Informática, Universidad de Sevilla, Av. Reina Mercedes S/N, 41012, Sevilla, Spain

    María José Escalona

  2. Department of Systems and Informatics, INSTICC / IPS, Rua do Vale de Chaves, 2910-761, Estefanilha, Setúbal, Portugal

    José Cordeiro

  3. IICREST, P.O. Box 104, 1618, Sofia, Bulgaria

    Boris Shishkov

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bertolino, A., Calabrò, A., Di Giandomenico, F., Nostro, N., Inverardi, P., Spalazzese, R. (2013). On-the-Fly Dependable Mediation between Heterogeneous Networked Systems. In: Escalona, M.J., Cordeiro, J., Shishkov, B. (eds) Software and Data Technologies. ICSOFT 2011. Communications in Computer and Information Science, vol 303. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36177-7_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-36177-7_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-36176-0

  • Online ISBN: 978-3-642-36177-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation