Abstract
The success of pervasive computing depends on the ability to compose a multitude of networked applications dynamically in order to achieve user goals. However, applications from different providers are not able to interoperate due to incompatible interaction protocols or disparate data models. Instant messaging is a representative example of the current situation, where various competing applications keep emerging. To enforce interoperability at runtime and in a non-intrusive manner, mediators are used to perform the necessary translations and coordination between the heterogeneous applications. Nevertheless, the design of mediators requires considerable knowledge about each application as well as a substantial development effort. In this paper we present an approach based on ontology reasoning and model checking in order to generate correct-by-construction mediators automatically. We demonstrate the feasibility of our approach through a prototype tool and show that it synthesises mediators that achieve efficient interoperation of instant messaging applications.
Chapter PDF
Similar content being viewed by others
References
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook. Cambridge University Press (2003)
Blair, G.S., Bennaceur, A., Georgantas, N., Grace, P., Issarny, V., Nundloll, V., Paolucci, M.: The role of ontologies in emergent middleware: Supporting interoperability in complex distributed systems. In: Kon, F., Kermarrec, A.-M. (eds.) Middleware 2011. LNCS, vol. 7049, pp. 410–430. Springer, Heidelberg (2011)
Bromberg, Y.D., Grace, P., Réveillère, L.: Starlink: Runtime interoperability between heterogeneous middleware protocols. In: Proc. ICDCS (2011)
Calvert, K.L., Lam, S.S.: Formal methods for protocol conversion. IEEE Journal on Selected Areas in Comm. (1990)
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)
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)
Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. ACM Trans. Program. Lang. Syst. (1994)
Franz, T., Staab, S.: SAM: Semantics aware instant messaging for the networked semantic desktop. In: Proc. International Sem. Web Conf. Workshops (2005)
Grace, P., Blair, G.S., Samuel, S.C.: ReMMoC: A Reflective Middleware to Support Mobile Client Interoperability. In: Meersman, R., Schmidt, D.C. (eds.) CoopIS/DOA/ODBASE 2003. LNCS, vol. 2888, pp. 1170–1187. Springer, Heidelberg (2003)
Heiler, S.: Semantic interoperability. ACM Surv. (1995)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall (1985)
Issarny, V., Bennaceur, A., Bromberg, Y.-D.: Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 217–255. Springer, Heidelberg (2011)
Keller, R.M.: Formal verification of parallel programs. Commun. ACM (1976)
Magee, J., Kramer, J.: Concurrency: State models and Java prog. Wiley (2006)
Maier, M.W.: Integrated modeling: A unified approach to system engineering. Journal of Syst. and Softw. (1996)
Menge, F.: Enterprise Service Bus. In: Proc. Free and Open Source Soft. Conf. (2007)
Ben Mokhtar, S., Kaul, A., Georgantas, N., Issarny, V.: Efficient Semantic Service Discovery in Pervasive Computing Environments. In: van Steen, M., Henning, M. (eds.) Middleware 2006. LNCS, vol. 4290, pp. 240–259. Springer, Heidelberg (2006)
Motoyama, M.A., Varghese, G.: CrossTalk: scalably interconnecting instant messaging networks. In: Proc. ACM Workshop on Online Social Networks (2009)
Nielsen: Games Dominate America’s Growing Appetite for Mobile Apps (2010)
Spalazzese, R., Inverardi, P., Issarny, V.: Towards a formalization of mediating connectors for on the fly interoperability. In: WICSA/ECSA (2009)
The Radicati Group: Instant Messaging Market 10-14 (2010)
Vaculín, R., Neruda, R., Sycara, K.P.: The process mediation framework for semantic web services. Journal of Agent-Oriented Softw. Eng. (2009)
Vassilakis, C., Kareliotis, C.: A framework for adaptation in secure web services. In: Medi. Conf. on Info. Syst. (2009)
Wiederhold, G.: Mediators in the architecture of future info. syst. Computer (1992)
Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Trans. Prog. Lang. Syst. (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bennaceur, A., Issarny, V., Spalazzese, R., Tyagi, S. (2012). Achieving Interoperability through Semantics-Based Technologies: The Instant Messaging Case. In: Cudré-Mauroux, P., et al. The Semantic Web – ISWC 2012. ISWC 2012. Lecture Notes in Computer Science, vol 7650. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35173-0_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-35173-0_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35172-3
Online ISBN: 978-3-642-35173-0
eBook Packages: Computer ScienceComputer Science (R0)