Skip to main content
SpringerLink
Log in

Interoperability in Complex Distributed Systems

  • Chapter
Formal Methods for Eternal Networked Software Systems (SFM 2011)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6659))

Abstract

Distributed systems are becoming more complex in terms of both the level of heterogeneity encountered coupled with a high level of dynamism of such systems. Taken together, this makes it very difficult to achieve the crucial property of interoperability that is enabling two arbitrary systems to work together relying only on their declared service specification. This chapter examines this issue of interoperability in considerable detail, looking initially at the problem space, and in particular the key barriers to interoperability, and then moving on to the solution space, focusing on research in the middleware and semantic interoperability communities. We argue that existing approaches are simply unable to meet the demands of the complex distributed systems of today and that the lack of integration between the work on middleware and semantic interoperability is a clear impediment to progress in this area. We outline a roadmap towards meeting the challenges of interoperability including the need for integration across these two communities, resulting in middleware solutions that are intrinsically based on semantic meaning. We also advocate a dynamic approach to interoperability based on the concept of emergent middleware.

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bouquet, P., Stoermer, H., Niederee, C., Mana, A.: Entity Name System: The Backbone of an Open and Scalable Web of Data. In: Proceedings of the IEEE International Conference on Semantic Computing (ICSC 2008), pp. 554–561 (2008)

    Google Scholar 

  2. Van Steen, M., Tanenbaum, A.: Distributed Systems: Principles and Paradigms. Prentice-Hall, Englewood Cliffs (2001)

    MATH  Google Scholar 

  3. Object Management Group.: The common object request broker: Architecture and specification Version 2.0. OMG Technical Report (1995)

    Google Scholar 

  4. Microsoft Corporation.: Distributed Component Object Model (DCOM) Remote Protocol Specification, http://msdn.microsoft.com/en-gb/library/cc201989%28PROT.10%29.aspx

  5. Srinivasan. R.: RPC: Remote Procedure Call Protocol Specification Version 2. Network Working Group RFC1831 (1995), http://tools.ietf.org/html/rfc1831

  6. Microsoft Corporation.: Microsoft Message Queuing, http://www.microsoft.com/windowsserver2003/technologies/msmq/

  7. Carzaniga, A., Rosenblum, D., Wolf, A.: Design and Evaluation of a Wide-Area Event Notification Service. ACM Transactions on Computer Systems 19(3), 332–383 (2001)

    Article  Google Scholar 

  8. Gelernter, D.: Generative communication in Linda. ACM Transactions on Programming Language and Systems 7(1), 80–112 (1985)

    Article  MATH  Google Scholar 

  9. Wyckoff, P., McLaughry, S., Lehman, T., Ford, D.: Tspaces. IBM Systems Journal 37(3), 454–474 (1998)

    Article  Google Scholar 

  10. Davies, N., Friday, A., Wade, S., Blair, G.: L2imbo: A Distributed Systems Platform for Mobile Computing. ACM Mobile Networks and Applications (MONET) 3(2), 143–156 (1998)

    Article  Google Scholar 

  11. Murphy, A., Picco, G., Roman, G.: LIME: A Middleware for logical and Physical Mobility. In: 21st International Conference on Distributed Computing Systems (ICDCS-21), pp. 524–533 (2001)

    Google Scholar 

  12. Booth D., Haas, H., McCabe, F., Newcomer, E., Champion, M., Ferris, C., Orchard, D.: Web Services Architecture. W3C Working Group Note (2004), http://www.w3.org/TR/ws-arch/

  13. Roman, M., Kon, F., Campbell, R.: Reflective Middleware: From Your Desk to Your Hand. IEEE Distributed Systems Online 2(5) (2001)

    Google Scholar 

  14. Kon, F., Román, M., Liu, P., Mao, J., Yamane, T., Magalhães, L., Campbell, R.: Monitoring, security, and dynamic configuration with the dynamicTAO reflective ORB. In: Coulson, G., Sventek, J. (eds.) Middleware 2000. LNCS, vol. 1795, pp. 121–143. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  15. Grace, P., Blair, G., Samuel, S.: A Reflective Framework for Discovery and Interaction in Heterogeneous Mobile Environments. ACM SIGMOBILE Mobile Computing and Communications Review 9(1), 2–14 (2005)

    Article  Google Scholar 

  16. Duftler, M., Mukhi, N., Slominski, S., Weerawarana, S.: Web Services Invocation Framework (WSIF). In: Proceedings of OOPSLA 2001 Workshop on Object Oriented Web Services, Tampa, Florida (2001)

    Google Scholar 

  17. Object Management Group.: COM/CORBA Interworking Specification Part A & B. OMG Technical Report orbos/97-09-07 (1997)

    Google Scholar 

  18. Bromberg, Y., Issarny, V.: INDISS: Interoperable Discovery System for Networked Services. In: Alonso, G. (ed.) Middleware 2005. LNCS, vol. 3790, pp. 164–183. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  19. Nakazawa, J., Tokuda, H., Edwards, W., Ramachandran, U.: A Bridging Framework for Universal Interoperability in Pervasive Systems. In: Proceedings of 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), Lisbon, Portuga, (2006)

    Google Scholar 

  20. Limam, N., Ziembicki, J., Ahmed, R., Iraqi, Y., Li, D., Boutaba, R., Cuervo, F.: OSDA: Open service discovery architecture for efficient cross-domain service provisioning. Computer Communications 30(3), 546–563 (2007)

    Article  Google Scholar 

  21. Flores, C., Grace, P., Blair, G.: SeDiM: A Middleware Framework for Interoperable Service Discovery in Heterogeneous Networks. ACM Transactions on Autonomous and Adaptive Systems 6(1), article 6 (2011)

    Google Scholar 

  22. Zachariadis, S., Mascolo, C., Emmerich, W.: Satin: A Component Model for Mobile Self-Organisation. In: Meersman, R., Tari, Z. (eds.) OTM 2004. LNCS, vol. 3291, pp. 1303–1321. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  23. Arnold, K., O’Sullivan, B., Scheifler, R., Waldo, J., Wollrath, A.: The Jini Specification. Addison Wesley, Reading (1999)

    Google Scholar 

  24. Hammer, J., McLeod, D.: An approach to resolving semantic heterogenity in a federation of autonomous, heterogeneous database systems. Int. J. Cooperative Inf. Syst 2(1), 51–83 (1993)

    Article  Google Scholar 

  25. Burstein, M., Hobbs, J., Lassila, O., Martin, D., McDermott, D., McIlraith, S., Narayanan, S., Paolucci, M., Payne, T., Sycara, K.: DAML-S: Web service description for the semantic web. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 348–363. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  26. Martin, D., Burstein, M., Mcdermott, D., Mcilraith, S., Paolucci, M., Sycara, K., Mcguinness, D., Sirin, E., Srinivasan, N.: Bringing Semantics to Web Services: The OWL-S Approach. In: Cardoso, J., Sheth, A.P. (eds.) SWSWPC 2004. LNCS, vol. 3387, pp. 26–42. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  27. Farrell J., Lausen, H.: Semantic Annotations for WSDL and XML Schema. W3C Recommendation (2007), http://www.w3.org/TR/sawsdl/

  28. McGuinness D., Harmelen, F.: OWL Web Ontology Language. W3C recommendation (2004), http://www.w3.org/TR/owl-features/

  29. Martin, D., Paolucci, M., Wagner, M.: Bringing Semantic Annotations to Web Services: OWL-S from the SAWSDL Perspective. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudré-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol. 4825, pp. 340–352. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  30. de Bruijn, J., Lausen, H., Krummenacher, R., Polleres, A., Predoiu, L.: The Web Service Modeling Language WSML (2005), http://www.wsmo.org/TR/d16/d16.1/v0.21/

  31. Haller, A., Cimpian, E., Mocan, A., Oren, E., Bussler, C.: WSMX - a semantic service-oriented architecture. In: Proceedings of the International Conference on Web Services (ICWS 2005), Orlando, Florida, pp. 321–328 (2005)

    Google Scholar 

  32. OASIS: Univeral Description, Discovery and Integration of Web Services (2002), http://www.uddi.org

  33. Jordan D., Evdemon, J.: Web Services Business Process Execution Language (WSBPEL) Version 2.0. (2007), http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html

  34. Kavantzas N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y., Barreto, C.: Web Services Choreography Description Language Version 1.0. (2005), http://www.w3.org/TR/ws-cdl-10/

  35. 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 

  36. Masuoka, R., Parsia, B., Labrou, Y.: Task Computing – the Semantic Web Meets Pervasive Computing. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 866–881. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  37. Singh, S., Puradkar, S., Lee, Y.: Ubiquitous Computing: Connecting Pervasive Computing Through Semantic Web. Information Systems and e-Business Management Journal 4(4), 421–439 (2005)

    Article  Google Scholar 

  38. Chakraborty, D., Joshi, A., Finin, T.: Toward Distributed Service Discovery in Pervasive Computing Environments. IEEE Transactions on Mobile Computing 5(2), 97–112 (2006)

    Article  Google Scholar 

  39. Chakraborty, D., Joshi, A., Finin, T., Yesha, Y.: Service Composition for Mobile Environments. Journal on Mobile Networking and Applications, Special Issue on Mobile Services 10(4), 435–451 (2005)

    Article  Google Scholar 

  40. Ben Mokhtar, S., Georgantas, N., Issarny, V.: COCOA: COnversation-based Service Composition in PervAsive Computing Environments with QoS Support. Journal of Systems and Software, Special Issue on ICPS 2006 80(12), 1941–1955 (2007)

    Google Scholar 

  41. Ben Mokhtar, S., Preuveneers, D., Georgantas, N., Issarny, V., Berbers, Y.: EASY: Efficient SemAntic Service DiscoverY in Pervasive Computing Environments with QoS and Context Support. Journal of Systems and Software, Special Issue on Web Services Modelling and Testing 81(5), 785–808 (2008)

    Google Scholar 

  42. Haas, M., Lin, E., Roth, M.: Data integration through database federation. IBM Systems Journal 41(4), 578–596 (2002)

    Article  Google Scholar 

  43. Jung, J.: Taxonomy alignment for interoperability between heterogeneous virtual organizations. Expert Systems with Applications 34(4), 2721–2731 (2008)

    Article  Google Scholar 

  44. Berlin, J., Motro, A.: Database schema matching using machine learning with feature selection. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol. 2348, pp. 452–466. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  45. Widom, J.: Trio: A System for Integrated Management of Data, Accuracy, and Lineage. In: Second Biennial Conference on Innovative Data Systems Research (CIDR 2005), Pacific Grove, California (2005)

    Google Scholar 

  46. Vetere, G., Lenzerini, M.: Models for semantic interoperability in service-oriented architectures. IBM Systems Journal 44(4), 887–904 (2005)

    Article  Google Scholar 

  47. Fagin, P., Kolaitis, P., Popa, L.: Data Exchange, Getting to the Core. In: Symposium of Principles of Database Systems, pp. 90–101. ACM, New York (2003)

    Google Scholar 

  48. Euzena, J., Shvaiko, P.: Ontology matching. Springer, Heidelberg (2007)

    MATH  Google Scholar 

  49. Shvaiko, P., Euzenat J., Giunchiglia F., Stuckenschmidt H., Mao, M. Cruz, I.: Proceedings of the 5th International Workshop on Ontology Matching (OM 2010). CEUR (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computing and Communications, Lancaster University, UK

    Gordon S. Blair & Paul Grace

  2. Laboratories Europe GmbH, Munich, Germany

    Massimo Paolucci

  3. INRIA, CRI Paris-Rocquencourt, France

    Nikolaos Georgantas

Authors
  1. Gordon S. Blair
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Massimo Paolucci
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Paul Grace
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Nikolaos Georgantas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Scienze di Base e Fondamenti, Università di Urbino “Carlo Bo”, Piazza della Repubblica 13, 61029, Urbino, Italy

    Marco Bernardo

  2. INRIA Paris-Rocquencourt, France

    Valérie Issarny

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Blair, G.S., Paolucci, M., Grace, P., Georgantas, N. (2011). Interoperability in Complex Distributed Systems. In: Bernardo, M., Issarny, V. (eds) Formal Methods for Eternal Networked Software Systems. SFM 2011. Lecture Notes in Computer Science, vol 6659. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21455-4_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-21455-4_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-21454-7

  • Online ISBN: 978-3-642-21455-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation