{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:17:36Z","timestamp":1725585456827},"publisher-location":"Berlin, Heidelberg","reference-count":53,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214547"},{"type":"electronic","value":"9783642214554"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21455-4_7","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T10:00:01Z","timestamp":1307700001000},"page":"217-255","source":"Crossref","is-referenced-by-count":32,"title":["Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability"],"prefix":"10.1007","author":[{"given":"Val\u00e9rie","family":"Issarny","sequence":"first","affiliation":[]},{"given":"Amel","family":"Bennaceur","sequence":"additional","affiliation":[]},{"given":"Y\u00e9rom-David","family":"Bromberg","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Trans. Softw. Eng. Methodol. 6(3) (1997)","DOI":"10.1145\/258077.258078"},{"key":"7_CR2","volume-title":"The Description Logic Handbook","author":"F. Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"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 81(5) (2008)","DOI":"10.1016\/j.jss.2007.07.030"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-642-16561-0_23","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"A. Bennaceur","year":"2010","unstructured":"Bennaceur, A., Blair, G.S., Chauvel, F., Huang, G., Georgantas, N., Grace, P., Howar, F., Inverardi, P., Issarny, V., Paolucci, M., Pathak, A., Spalazzese, R., Steffen, B., Souville, B.: Towards an architecture for runtime interoperability. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010. LNCS, vol.\u00a06416, pp. 206\u2013220. Springer, Heidelberg (2010)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Inverardi, P., Pelliccione, P., Tivoli, M.: Automatic synthesis of be- havior protocols for composable web-services. In: Proceedings of ESEC\/SIGSOFT FSE (2009)","DOI":"10.1145\/1595696.1595719"},{"key":"7_CR6","series-title":"LNCS","first-page":"350","volume-title":"SFM 2011","author":"G. Blair","year":"2011","unstructured":"Blair, G., Paolucci, M., Grace, P., Georgantas, N.: Interoperability in complex distributed systems. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol.\u00a06659, pp. 350\u2013392. Springer, Heidelberg (2011)"},{"key":"7_CR7","unstructured":"Bromberg, Y.D.: Solutions to middleware heterogeneity in open networked environment. Ph.D. thesis, Universit\u00e9 de Versailles Saint-Quentin-en-Yvelynes (2006)"},{"key":"7_CR8","volume-title":"Proceedings of ICDCS 2011","author":"Y.D. Bromberg","year":"2011","unstructured":"Bromberg, Y.D., Grace, P., R\u00e9veill\u00e8re, L.: Starlink: runtime interoperability between heterogeneous middleware protocols. In: Proceedings of ICDCS 2011. IEEE Computer Society, Los Alamitos (2011)"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/11587552_9","volume-title":"Middleware 2005","author":"Y.D. Bromberg","year":"2005","unstructured":"Bromberg, Y.D., Issarny, V.: INDISS: Interoperable discovery system for networked services. In: Alonso, G. (ed.) Middleware 2005. LNCS, vol.\u00a03790, pp. 164\u2013183. Springer, Heidelberg (2005)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-642-10445-9_2","volume-title":"Middleware 2009","author":"Y.D. Bromberg","year":"2009","unstructured":"Bromberg, Y.D., R\u00e9veill\u00e8re, L., Lawall, J.L., Muller, G.: Automatic generation of network protocol gateways. In: Bacon, J.M., Cooper, B.F. (eds.) Middleware 2009. LNCS, vol.\u00a05896, pp. 21\u201341. Springer, Heidelberg (2009)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Calvert, K.L., Lam, S.S.: Formal methods for protocol conversion. IEEE Journal on Selected Areas in Communications 8(1) (1990)","DOI":"10.1109\/49.46852"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-642-10383-4_11","volume-title":"Service-Oriented Computing","author":"L. Cavallaro","year":"2009","unstructured":"Cavallaro, L., Nitto, E.D., 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.\u00a05900, pp. 159\u2013174. Springer, Heidelberg (2009)"},{"key":"7_CR13","volume-title":"Enterprise Service Bus","author":"D.A. Chappell","year":"2004","unstructured":"Chappell, D.A.: Enterprise Service Bus. O\u2019Reilly, Sebastopol (2004)"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/11678564_12","volume-title":"Business Process Management Workshops","author":"E. Cimpian","year":"2006","unstructured":"Cimpian, E., Mocan, A.: WSMX process mediation based on choreographies. In: Bussler, C.J., Haller, A. (eds.) BPM 2005. LNCS, vol.\u00a03812, pp. 130\u2013143. Springer, Heidelberg (2006)"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Denaro, G., Pezz\u00e8, M., Tosi, D.: Ensuring interoperable service-oriented systems through engineered self-healing. In: Proceedings of ESEC\/SIGSOFT FSE (2009)","DOI":"10.1145\/1595696.1595734"},{"key":"7_CR16","unstructured":"Drummond, N., Rector, A.L., Stevens, R., Moulton, G., Horridge, M., Wang, H., Seidenberg, J.: Putting OWL in order: Patterns for sequences in OWL. In: Proceedings of OWLED (2006)"},{"key":"7_CR17","volume-title":"Ontology matching","author":"J. Euzenat","year":"2007","unstructured":"Euzenat, J., Shvaiko, P.: Ontology matching. Springer, Heidelberg (2007)"},{"key":"7_CR18","series-title":"LNCS","first-page":"350","volume-title":"SFM 2011","author":"F. Howar","year":"2011","unstructured":"Howar, F., Merten, M., Neubauer, J., Steffen, B.: Introduction to automata learning. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol.\u00a06659, pp. 350\u2013392. Springer, Heidelberg (2011)"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Flores-Cort\u00e9s, C.A., Blair, G.S., Grace, P.: An adaptive middleware to overcome service discovery heterogeneity in mobile ad hoc environments. IEEE Distributed Systems Online 8(7) (2007)","DOI":"10.1109\/MDSO.2007.41"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: LTSA-WS: a tool for model-based verification of web service compositions and choreography. In: Proceedings of ICSE (2006)","DOI":"10.1145\/1134285.1134408"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1170","DOI":"10.1007\/978-3-540-39964-3_75","volume-title":"On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE","author":"P. Grace","year":"2003","unstructured":"Grace, P., Blair, G.S., Samuel, S.: ReMMoC: A reflective middleware to support mobile client interoperability. In: Chung, S., Schmidt, D.C. (eds.) CoopIS 2003, DOA 2003, and ODBASE 2003. LNCS, vol.\u00a02888, pp. 1170\u20131187. Springer, Heidelberg (2003)"},{"key":"7_CR22","series-title":"LNCS","first-page":"350","volume-title":"SFM 2011","author":"P. Grace","year":"2011","unstructured":"Grace, P., Georgantas, N., Bennaceur, A., Blair, G., Chauvel, F., Issarny, V., Paolucci, M., Saadi, R., Souville, B., Sykes, D.: The connect architecture. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol.\u00a06659, pp. 350\u2013392. Springer, Heidelberg (2011)"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Green Jr., P.: Protocol conversion. IEEE Transactions on Communications\u00a034(3) (March 1986)","DOI":"10.1109\/TCOM.1986.1096529"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM (CACM) 21(8) (1978)","DOI":"10.1145\/359576.359585"},{"key":"7_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-642-16561-0_24","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"F. Howar","year":"2010","unstructured":"Howar, F., Jonsson, B., Merten, M., Steffen, B., Cassel, S.: On handling data in automata learning - considerations from the connect perspective. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010. LNCS, vol.\u00a06416, pp. 221\u2013235. Springer, Heidelberg (2010)"},{"key":"7_CR26","series-title":"LNCS","first-page":"350","volume-title":"SFM 2011","author":"P. Inverardi","year":"2011","unstructured":"Inverardi, P., Spalazzese, R., Tivoli, M.: Application-layer connector synthesis. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol.\u00a06659, pp. 350\u2013392. Springer, Heidelberg (2011)"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Issarny, V., Caporuscio, M., Georgantas, N.: A Perspective on the Future of Middleware-based Software Engineering. In: Proceedings of FOSE 2007 (2007)","DOI":"10.1109\/FOSE.2007.2"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Issarny, V., Steffen, B., Jonsson, B., Blair, G., Grace, P., Kwiatkowska, M., Calinescu, R., Inverardi, P., Tivoli, M., Bertolino, A., Sabetta, A.: CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. In: Pro- ceedings of the 14th ICECCS (2009)","DOI":"10.1109\/ICECCS.2009.44"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Kumar, R., Nelvagal, S., Marcus, S.I.: A discrete event systems approach for protocol conversion. Discrete Event Dynamic Systems 7 (June 1997)","DOI":"10.1023\/A:1008258331497"},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"Lam, S.S.: Protocol conversion. IEEE Transaction Software Engineering 14(9) (1988)","DOI":"10.1109\/32.6181"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"Limam, N., Ziembicki, J., Ahmed, R., Iraqi, Y., Li, T., Boutaba, R., Cuervo, F.: Osda: Open service discovery architecture for efficient cross-domain service provisioning. Computer Communications 30(3) (2007)","DOI":"10.1016\/j.comcom.2005.11.017"},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"Liskov, B.H., Wing, J.M.: A behavioral notion of subtyping. ACM Trans. on Prog. Lang. and Syst. (1994)","DOI":"10.1145\/197320.197383"},{"key":"7_CR33","volume-title":"Concurrency : State models and Java programs","author":"J. Magee","year":"2006","unstructured":"Magee, J., Kramer, J.: Concurrency: State models and Java programs. Wiley, Hoboken (2006)"},{"key":"7_CR34","doi-asserted-by":"crossref","unstructured":"Mehta, N.R., Medvidovic, N., Phadke, S.: Towards a taxonomy of software con- nectors. In: Proceedings of ICSE (2000)","DOI":"10.1145\/337180.337201"},{"key":"7_CR35","unstructured":"Menge, F.: Enterprise Service Bus. In: Free and Open Source Software Conference (2007)"},{"key":"7_CR36","doi-asserted-by":"crossref","unstructured":"Nakazawa, J., Tokuda, H., Edwards, W.K., Ramachandran, U.: A bridging framework for universal interoperability in pervasive systems. In: Proceedings of ICDCS (2006)","DOI":"10.1109\/ICDCS.2006.5"},{"key":"7_CR37","unstructured":"Nezhad, H.R.M., Benatallah, B., Martens, A., Curbera, F., Casati, F.: Semi-automated adaptation of service interactions. In: Proceedings of WWW (2007)"},{"key":"7_CR38","unstructured":"Nitto, E.D., Rosenblum, D.S.: Exploiting adls to specify architectural styles in- duced by middleware infrastructures. In: Proceedings of ICSE (1999)"},{"key":"7_CR39","doi-asserted-by":"crossref","unstructured":"Okumura, K.: A formal protocol conversion method. In: Proceedings of SIGCOMM (1986)","DOI":"10.1145\/18172.18176"},{"key":"7_CR40","unstructured":"(OMG): COM\/CORBA interworking specification Part A & B (1997)"},{"key":"7_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/3-540-48005-6_26","volume-title":"The Semantic Web - ISWC 2002","author":"M. Paolucci","year":"2002","unstructured":"Paolucci, M., Kawamura, T., Payne, T.R., Sycara, K.P.: Semantic matching of web services capabilities. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, p. 333. Springer, Heidelberg (2002)"},{"key":"7_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-540-30229-2_18","volume-title":"Middleware 2004","author":"S. Ponnekanti","year":"2004","unstructured":"Ponnekanti, S., Fox, A.: Interoperability among independently evolving web services. In: Jacobsen, H.-A. (ed.) Middleware 2004. LNCS, vol.\u00a03231, pp. 331\u2013351. Springer, Heidelberg (2004)"},{"key":"7_CR43","volume-title":"Proceedings of MobiQuitous","author":"P.G. Raverdy","year":"2006","unstructured":"Raverdy, P.G., Issarny, V., Chibout, R., de La Chapelle, A.: A multi-protocol approach to service discovery and access in pervasive environments. In: Proceedings of MobiQuitous. IEEE Computer Society, Los Alamitos (2006)"},{"key":"7_CR44","unstructured":"Rom\u00e1n, M., Campbell, R.H., Kon, F.: Reective middleware: From your desk to your hand. IEEE Distributed Systems Online 2(5) (2001)"},{"key":"7_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-642-15114-9_26","volume-title":"Software Architecture","author":"R. Spalazzese","year":"2010","unstructured":"Spalazzese, R., Inverardi, P.: Mediating Connector Patterns for Components In- teroperability. In: Babar, M.A., Gorton, I. (eds.) ECSA 2010. LNCS, vol.\u00a06285, pp. 335\u2013343. Springer, Heidelberg (2010)"},{"key":"7_CR46","doi-asserted-by":"crossref","unstructured":"Spalazzese, R., Inverardi, P., Issarny, V.: Towards a formalization of mediating connectors for on the y interoperability. In: Proceedings of WICSA\/ECSA (2009)","DOI":"10.1109\/WICSA.2009.5290664"},{"key":"7_CR47","doi-asserted-by":"crossref","unstructured":"Spitznagel, B., Garlan, D.: A compositional formalization of connector wrappers. In: Proceedings of ICSE (2003)","DOI":"10.1109\/ICSE.2003.1201216"},{"key":"7_CR48","doi-asserted-by":"crossref","unstructured":"Stollberg, M., Cimpian, E., Mocan, A., Fensel, D.: A semantic web mediation architecture. In: Proceedings of CSWWS (2006)","DOI":"10.1007\/978-0-387-34347-1_2"},{"key":"7_CR49","doi-asserted-by":"crossref","unstructured":"Studer, R., Benjamins, V.R., Fensel, D.: Knowledge engineering. Data & Knowledge Engineering (1998)","DOI":"10.1016\/S0169-023X(97)00056-6"},{"key":"7_CR50","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595754","volume-title":"Software architecture : foundations, theory, and practice","author":"R.N. Taylor","year":"2009","unstructured":"Taylor, R.N., Medvidovic, N., Dashofy, E.M.: Software architecture: foundations, theory, and practice. Wiley, Hoboken (2009)"},{"key":"7_CR51","doi-asserted-by":"crossref","unstructured":"Vacul\u00edn, R., Sycara, K.P.: Towards automatic mediation of OWL-S process models. In: Proceedings of ICWS (2007)","DOI":"10.1109\/ICWS.2007.177"},{"key":"7_CR52","doi-asserted-by":"crossref","unstructured":"Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Trans. Program. Lang. Syst. 19(2) (1997)","DOI":"10.1145\/244795.244801"},{"key":"7_CR53","unstructured":"Zhu, F., Mutka, M., Ni, L.: Service discovery in pervasive computing environments. Pervasive Computing (2005)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Eternal Networked Software Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21455-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T12:25:04Z","timestamp":1560255904000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21455-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214547","9783642214554"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21455-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}