{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:50:00Z","timestamp":1725745800865},"publisher-location":"Berlin, Heidelberg","reference-count":53,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642406140"},{"type":"electronic","value":"9783642406157"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40615-7_6","type":"book-chapter","created":{"date-parts":[[2013,8,21]],"date-time":"2013-08-21T21:08:02Z","timestamp":1377119282000},"page":"168-196","source":"Crossref","is-referenced-by-count":8,"title":["Composing Distributed Systems: Overcoming the Interoperability Challenge"],"prefix":"10.1007","author":[{"given":"Val\u00e9rie","family":"Issarny","sequence":"first","affiliation":[]},{"given":"Amel","family":"Bennaceur","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Trans. Softw. Eng. Methodol. (1997)","DOI":"10.1145\/258077.258078"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-642-25821-3_13","volume-title":"Middleware 2011","author":"E. Andriescu","year":"2011","unstructured":"Andriescu, E., Speicys Cardoso, R., Issarny, V.: AmbiStream: A middleware for multimedia streaming on heterogeneous mobile devices. In: Kon, F., Kermarrec, A.-M. (eds.) Middleware 2011. LNCS, vol.\u00a07049, pp. 249\u2013268. Springer, Heidelberg (2011)"},{"issue":"1","key":"6_CR3","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1186\/1471-2105-8-57","volume":"8","author":"M. Aranguren","year":"2007","unstructured":"Aranguren, M., Bechhofer, S., Lord, P., Sattler, U., Stevens, R.: Understanding and using the meaning of statements in a bio-ontology: recasting the gene ontology in OWL. BMC Bioinformatics\u00a08(1), 57 (2007)","journal-title":"BMC Bioinformatics"},{"key":"6_CR4","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook. Cambridge University Press (2003)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Bencomo, N., Bennaceur, A., Grace, P., Blair, G., Issarny, V.: The role of models@run.time in supporting on-the-fly interoperability. Springer Journal on Computing (2012)","DOI":"10.1007\/s00607-012-0224-x"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Bennaceur, A., Issarny, V., Sykes, D., Howar, F., Isberner, M., Steffen, B., Johansson, R., Moschitti, A.: Machine learning for emergent middleware. In: Proc. of the Joint Workshop on Intelligent Methods for Soft. System Eng., JIMSE (2012)","DOI":"10.1007\/978-3-642-45260-4_2"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-35173-0_2","volume-title":"The Semantic Web \u2013 ISWC 2012","author":"A. Bennaceur","year":"2012","unstructured":"Bennaceur, A., Issarny, V., Spalazzese, R., Tyagi, S.: Achieving interoperability through semantics-based technologies: The instant messaging case. In: Cudr\u00e9-Mauroux, P., et al. (eds.) ISWC 2012, Part II. LNCS, vol.\u00a07650, pp. 17\u201333. Springer, Heidelberg (2012)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Bersani, M., Cavallaro, L., Frigeri, A., Pradella, M., Rossi, M.: SMT-based verification of ltl specification with integer constraints and its application to runtime checking of service substitutability. In: 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM), pp. 244\u2013254. IEEE (2010)","DOI":"10.1109\/SEFM.2010.37"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-21455-4_1","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"G.S. Blair","year":"2011","unstructured":"Blair, G.S., Paolucci, M., Grace, P., Georgantas, N.: Interoperability in complex distributed systems. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol.\u00a06659, pp. 1\u201326. Springer, Heidelberg (2011)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/978-3-642-25821-3_21","volume-title":"Middleware 2011","author":"G.S. Blair","year":"2011","unstructured":"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.\u00a07049, pp. 410\u2013430. Springer, Heidelberg (2011)"},{"issue":"1","key":"6_CR11","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1142\/S0218215792000052","volume":"1","author":"A. Borgida","year":"1992","unstructured":"Borgida, A.: From type systems to knowledge representation: Natural semantics specifications for description logics. Int. J. Cooperative Inf. Syst.\u00a01(1), 93\u2013126 (1992)","journal-title":"Int. J. Cooperative Inf. Syst."},{"key":"6_CR12","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":"6_CR13","doi-asserted-by":"crossref","unstructured":"Bromberg, Y.-D., Grace, P., R\u00e9veill\u00e8re, L.: Starlink: Runtime interoperability between heterogeneous middleware protocols. In: International Conference on Distributed Computing Systems, ICDCS (2011)","DOI":"10.1109\/ICDCS.2011.65"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/978-3-642-25821-3_20","volume-title":"Middleware 2011","author":"Y.-D. Bromberg","year":"2011","unstructured":"Bromberg, Y.-D., Grace, P., R\u00e9veill\u00e8re, 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.\u00a07049, pp. 390\u2013409. Springer, Heidelberg (2011)"},{"key":"6_CR15","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":"6_CR16","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":"6_CR17","doi-asserted-by":"crossref","unstructured":"Calero, C., Ruiz, F., Piattini, M.: Ontologies for Software Engineering and Software Technology. Springer (2006)","DOI":"10.1007\/3-540-34518-3"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Calvert, K.L., Lam, S.S.: Deriving a protocol converter: A top-down method. In: Proc. of the Symposium on Communications Architectures & Protocols, SIGCOMM, pp. 247\u2013258 (1989)","DOI":"10.1145\/75247.75271"},{"key":"6_CR19","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., 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.\u00a05900, pp. 159\u2013174. Springer, Heidelberg (2009)"},{"key":"6_CR20","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":"6_CR21","unstructured":"Connect Consortium: Connect Deliverable D3.3: Dynamic connector synthesis: Revised prototype implementation. FET IP Connect EU project, \n                  \n                    http:\/\/hal.inria.fr\/hal-00695592\/"},{"key":"6_CR22","unstructured":"Connect Consortium: Connect Deliverable D6.3: Experiment scenarios, prototypes and report - Iteration 2. FET IP Connect EU project, \n                  \n                    http:\/\/hal.inria.fr\/hal-00695639"},{"key":"6_CR23","unstructured":"Connect Consortium: Connect Deliverable D6.4: Assessment report: Experimenting with CONNECT in Systems of Systems, and Mobile Environments. FET IP Connect EU project, \n                  \n                    http:\/\/hal.inria.fr\/hal-00793920"},{"key":"6_CR24","volume-title":"Distributed systems: concepts and design","author":"G.F. Coulouris","year":"2012","unstructured":"Coulouris, G.F., Dollimore, J., Kindberg, T., Blair, G.: Distributed systems: concepts and design, 5th edn. Addison-Wesley, Longman (2012)","edition":"5"},{"key":"6_CR25","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1016\/j.websem.2011.08.005","volume":"11","author":"M. d\u2019Aquin","year":"2012","unstructured":"d\u2019Aquin, M., Noy, N.F.: Where to publish and find ontologies? a survey of ontology libraries. J. Web Sem.\u00a011, 96\u2013111 (2012)","journal-title":"J. Web Sem."},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Dong, J.S.: From semantic web to expressive software specifications: a modeling languages spectrum. In: Proc. of the International Conference on Software Engineering, ICSE (2006)","DOI":"10.1145\/1134285.1134507"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Garlan, D., Allen, R., Ockerbloom, J.: Architectural mismatch or why it\u2019s hard to build systems out of existing parts. In: International Conference on Software Engineering, ICSE (1995)","DOI":"10.1145\/225014.225031"},{"key":"6_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-642-20754-9_23","volume-title":"Advances in Grid and Pervasive Computing","author":"N. Georgantas","year":"2011","unstructured":"Georgantas, N., Rahaman, M.A., Ameziani, H., Pathak, A., Issarny, V.: A coordination middleware for orchestrating heterogeneous distributed systems. In: Riekki, J., Ylianttila, M., Guo, M. (eds.) GPC 2011. LNCS, vol.\u00a06646, pp. 221\u2013232. Springer, Heidelberg (2011)"},{"key":"6_CR29","unstructured":"Golbeck, J., Rothstein, M.: Linking social networks on the web with foaf: A semantic web case study. In: AAAI, pp. 1138\u20131143 (2008)"},{"key":"6_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1007\/978-3-540-30468-5_38","volume-title":"On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE","author":"N. Guarino","year":"2004","unstructured":"Guarino, N.: Helping people (and machines) understanding each other: The role of formal ontology. In: Meersman, R., Tari, Z. (eds.) CoopIS\/DOA\/ODBASE 2004, Part 1. LNCS, vol.\u00a03290, p. 599. Springer, Heidelberg (2004)"},{"key":"6_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-642-21455-4_7","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"V. Issarny","year":"2011","unstructured":"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.\u00a06659, pp. 217\u2013255. Springer, Heidelberg (2011)"},{"key":"6_CR32","doi-asserted-by":"crossref","unstructured":"Jamshidi, M.: Systems of systems engineering: principles and applications. CRC Press (2008)","DOI":"10.1201\/9781420065893"},{"issue":"7","key":"6_CR33","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"R.M. Keller","year":"1976","unstructured":"Keller, R.M.: Formal verification of parallel programs. Communications of the ACM\u00a019(7), 371\u2013384 (1976)","journal-title":"Communications of the ACM"},{"key":"6_CR34","doi-asserted-by":"crossref","unstructured":"Lam, S.S.: Protocol conversion. IEEE Transaction Software Engineering (1988)","DOI":"10.1109\/32.4655"},{"key":"6_CR35","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":"6_CR36","doi-asserted-by":"crossref","unstructured":"Martin, D.L., Burstein, M.H., McDermott, D.V., McIlraith, S.A., Paolucci, M., Sycara, K.P., McGuinness, D.L., Sirin, E., Srinivasan, N.: Bringing semantics to web services with owl-s. In: Proc. of the World Wide Web Conference, WWW 2007, pp. 243\u2013277 (2007)","DOI":"10.1007\/s11280-007-0033-x"},{"issue":"4","key":"6_CR37","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1109\/TSE.2011.62","volume":"38","author":"R. Mateescu","year":"2012","unstructured":"Mateescu, R., Poizat, P., Sala\u00fcn, G.: Adaptation of service protocols using process algebra and on-the-fly reduction techniques. IEEE Trans. Software Eng.\u00a038(4), 755\u2013777 (2012)","journal-title":"IEEE Trans. Software Eng."},{"issue":"2","key":"6_CR38","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/5254.920599","volume":"16","author":"S.A. McIlraith","year":"2001","unstructured":"McIlraith, S.A., Son, T.C., Zeng, H.: Semantic web services. IEEE Intelligent Systems\u00a016(2), 46\u201353 (2001)","journal-title":"IEEE Intelligent Systems"},{"key":"6_CR39","unstructured":"Menge, F.: Enterprise Service Bus. In: Proc. of the Free and Open Source Soft. Conf. (2007)"},{"issue":"12","key":"6_CR40","doi-asserted-by":"publisher","first-page":"1941","DOI":"10.1016\/j.jss.2007.03.002","volume":"80","author":"S.B. Mokhtar","year":"2007","unstructured":"Mokhtar, S.B., Georgantas, N., Issarny, V.: Cocoa: Conversation-based service composition in pervasive computing environments with qos support. Journal of Systems and Software\u00a080(12), 1941\u20131955 (2007)","journal-title":"Journal of Systems and Software"},{"key":"6_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/11925071_13","volume-title":"Middleware 2006","author":"S. Mokhtar Ben","year":"2006","unstructured":"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.\u00a04290, pp. 240\u2013259. Springer, Heidelberg (2006)"},{"key":"6_CR42","unstructured":"Nitto, E.D., Rosenblum, D.S.: Exploiting adls to specify architectural styles induced by middleware infrastructures. In: Proc. of International Conference on Software Engineering, ICSE (1999)"},{"key":"6_CR43","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.: Semantic matching of web services capabilities. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, pp. 333\u2013347. Springer, Heidelberg (2002)"},{"issue":"9","key":"6_CR44","doi-asserted-by":"publisher","first-page":"1119","DOI":"10.1016\/j.cageo.2004.12.004","volume":"31","author":"R.G. Raskin","year":"2005","unstructured":"Raskin, R.G., Pan, M.J.: Knowledge representation in the semantic web for earth and environmental terminology (SWEET). Computers & Geosciences\u00a031(9), 1119\u20131125 (2005)","journal-title":"Computers & Geosciences"},{"issue":"3","key":"6_CR45","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1109\/MIS.2006.62","volume":"21","author":"N. Shadbolt","year":"2006","unstructured":"Shadbolt, N., Berners-Lee, T., Hall, W.: The semantic web revisited. IEEE Intelligent Systems\u00a021(3), 96\u2013101 (2006)","journal-title":"IEEE Intelligent Systems"},{"key":"6_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/BFb0030517","volume-title":"Studies of Software Design","author":"M. Shaw","year":"1996","unstructured":"Shaw, M.: Procedure calls are the assembly language of software interconnection: Connectors deserve first-class status. In: Lamb, D.A. (ed.) ICSE-WS 1993. LNCS, vol.\u00a01078, pp. 17\u201332. Springer, Heidelberg (1996)"},{"key":"6_CR47","doi-asserted-by":"crossref","unstructured":"Spitznagel, B., Garlan, D.: A compositional formalization of connector wrappers. In: International Conference on Software Engineering, ICSE (2003)","DOI":"10.1109\/ICSE.2003.1201216"},{"key":"6_CR48","unstructured":"Tanenbaum, A., Van Steen, M.: Distributed systems: principles and paradigms, 2nd edn. Prentice Hall (2006)"},{"key":"6_CR49","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":"6_CR50","doi-asserted-by":"crossref","unstructured":"Uckelmann, D., Harrison, M., Michahelles, F.: Architecting the internet of things. Springer (2011)","DOI":"10.1007\/978-3-642-19157-2"},{"issue":"1","key":"6_CR51","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1504\/IJAOSE.2009.022945","volume":"3","author":"R. Vacul\u00edn","year":"2009","unstructured":"Vacul\u00edn, R., Neruda, R., Sycara, K.P.: The process mediation framework for semantic web services. International Journal of Agent-Oriented Software Engineering, IJAOSE\u00a03(1), 27\u201358 (2009)","journal-title":"International Journal of Agent-Oriented Software Engineering, IJAOSE"},{"key":"6_CR52","unstructured":"Wiederhold, G.: Interoperation, mediation, and ontologies. In: Proc. of the Fifth International Symposium on Generation Computer Systems Workshop on Heterogeneous Cooperative Knowledge-Bases, pp. 33\u201348. Citeseer (1994)"},{"key":"6_CR53","doi-asserted-by":"crossref","unstructured":"Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Trans. Program. Lang. Syst. (1997)","DOI":"10.1145\/244795.244801"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40615-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T15:36:08Z","timestamp":1558020968000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40615-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642406140","9783642406157"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40615-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}