Abstract
The complex distributed systems of nowadays require the dynamic composition of multiple components, which are autonomous and so complex that they can be considered as systems in themselves. These components often use different application protocols and are implemented on top of heterogeneous middleware, which hamper their successful interaction. The explicit and rigorous description and analysis of components interaction is essential in order to enable the dynamic composition of these components. In this paper, we propose a formal approach to represent and reason about interactions between components using layered connectors. Layered connectors describe components interaction at both the application and middleware layers and make explicit the role of middleware in the realisation of this interaction. We provide formal semantics of layered connectors and present an approach for the synthesis of layered connectors in order to enable the dynamic composition of highly heterogeneous components. We validate our approach through a case study in the area of collaborative emergency management.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Allen, R., Garlan, D.: Formalizing architectural connection. In: Proc. of ICSE (1994)
Bencomo, N., Bennaceur, A., Grace, P., Blair, G., Issarny, V.: The role of models@run.time in supporting on-the-fly interoperability. Computing (2013)
Bennaceur, A.: Dynamic Synthesis of Mediators in Ubiquitous Environments. Ph.D. thesis, Université Paris VI (2013), http://hal.inria.fr/tel-00849402/en
Bennaceur, A., Chilton, C., Isberner, M., Jonsson, B.: Automated mediator synthesis: Combining Behavioural and Ontological Reasoning. In: Hierons, R.M., Merayo, M.G., Bravetti, M. (eds.) SEFM 2013. LNCS, vol. SEFM, pp. 274–288. Springer, Heidelberg (2013)
Birrell, A., Nelson, B.J.: Implementing remote procedure calls. ACM Trans. Computing System (1984)
Bromberg, Y.-D., Grace, P., Réveillère, L., Blair, G.S.: Bridging the interoperability gap: Overcoming combined application and middleware heterogeneity. In: Kon, F., Kermarrec, A.-M. (eds.) Middleware 2011. LNCS, vol. 7049, pp. 390–409. Springer, Heidelberg (2011)
Ceriotti, M., Murphy, A.L., Picco, G.P.: Data sharing vs. message passing: synergy or incompatibility?: an implementation-driven case study. In: Proc. of SAC (2008)
Connect Consortium: Connect Deliverable D6.4: Assessment report: Experimenting with CONNECT in Systems of Systems, and Mobile Environments. FET IP Connect EU project (2012), http://hal.inria.fr/hal-00793920
Garlan, D., Allen, R., Ockerbloom, J.: Architectural mismatch or why it’s hard to build systems out of existing parts. In: Proc. of ICSE (1995)
Georgantas, N., Bouloukakis, G., Beauche, S., Issarny, V.: Service-oriented distributed applications in the future internet: The case for interaction paradigm interoperability. In: Lau, K.-K., Lamersdorf, W., Pimentel, E. (eds.) ESOCC 2013. LNCS, vol. 8135, pp. 134–148. Springer, Heidelberg (2013)
Gruber, T.R.: A translation approach to portable ontology specifications. Knowledge Acquisition (1993)
Inverardi, P., Tivoli, M.: Automatic synthesis of modular connectors via composition of protocol mediation patterns. In: Proc. of ICSE (2013)
Issarny, V., Bennaceur, A.: Composing distributed systems: Overcoming the interoperability challenge. In: Giachino, E., Hähnle, R., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2012. LNCS, vol. 7866, pp. 168–196. Springer, Heidelberg (2013)
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)
Issarny, V., Kloukinas, C., Zarras, A.: Systematic aid for developing middleware architectures. Commun. ACM (2002)
Magee, J., Kramer, J.: Concurrency: State models and Java programs. Wiley (2006)
Mateescu, R., Poizat, P., Salaün, G.: Adaptation of service protocols using process algebra and on-the-fly reduction techniques. IEEE Trans. Software Eng. (2012)
McIlraith, S.A., Son, T.C., Zeng, H.: Semantic web services. IEEE Intelligent Systems (2001)
Medvidovic, N., Dashofy, E., Taylor, R.: The role of middleware in architecture-based software development. Int. Journal of Soft. Eng. and Knowledge Eng. (2003)
Mehta, N.R., Medvidovic, N., Phadke, S.: Towards a taxonomy of software connectors. In: Proc. of ICSE (2000)
Nitto, E.D., Rosenblum, D.S.: Exploiting adls to specify architectural styles induced by middleware infrastructures. In: Proc. of ICSE (1999)
Shaw, M.: Procedure calls are the assembly language of software interconnection. In: Proc. of ICSE Workshop on Studies of Software Design (1993)
Shvaiko, P., Euzenat, J.: A survey of schema-based matching approaches. In: Spaccapietra, S. (ed.) Journal on Data Semantics IV. LNCS, vol. 3730, pp. 146–171. Springer, Heidelberg (2005)
Spitznagel, B., Garlan, D.: A compositional formalization of connector wrappers. In: Proc. of ICSE (2003)
Tanenbaum, A., Van Steen, M.: Distributed systems: principles and paradigms. Prentice Hall (2006)
Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM TOPLAS (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Bennaceur, A., Issarny, V. (2014). Layered Connectors. In: Avgeriou, P., Zdun, U. (eds) Software Architecture. ECSA 2014. Lecture Notes in Computer Science, vol 8627. Springer, Cham. https://doi.org/10.1007/978-3-319-09970-5_25
Download citation
DOI: https://doi.org/10.1007/978-3-319-09970-5_25
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-09969-9
Online ISBN: 978-3-319-09970-5
eBook Packages: Computer ScienceComputer Science (R0)