{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T05:28:47Z","timestamp":1740720527965,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642165603"},{"type":"electronic","value":"9783642165610"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16561-0_23","type":"book-chapter","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T13:50:50Z","timestamp":1288705850000},"page":"206-220","source":"Crossref","is-referenced-by-count":8,"title":["Towards an Architecture for Runtime Interoperability"],"prefix":"10.1007","author":[{"given":"Amel","family":"Bennaceur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gordon","family":"Blair","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franck","family":"Chauvel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huang","family":"Gang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolaos","family":"Georgantas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Grace","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Falk","family":"Howar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valrie","family":"Issarny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Paolucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Animesh","family":"Pathak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Romina","family":"Spalazzese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bertrand","family":"Souville","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","series-title":"LNCS","first-page":"278","volume-title":"ISoLA 2010, Part II","author":"M. Autili","year":"2010","unstructured":"Autili, M., Chilton, C., Inverardi, P., Kwiatkowska, M., Tivoli, M.: Towards a connector algebra. In: ISoLA 2010, Part II. LNCS, vol.\u00a06416, pp. 278\u2013292. Springer, Heidelberg (2010)"},{"key":"23_CR2","series-title":"LNCS","first-page":"251","volume-title":"ISoLA 2010, Part II","author":"A. Bertolonio","year":"2010","unstructured":"Bertolonio, A., Inverardi, P., Issarny, V., Sabetta, A., Spalazzese, R.: On-the-fly interoperability though automated mediator synthesis and monitoring. In: ISoLA 2010, Part II. LNCS, vol.\u00a06416, pp. 251\u2013262. Springer, Heidelberg (2010)"},{"key":"23_CR3","unstructured":"Booth, D., Haas, H., McCabe, F., Newcomer, E., Champion, M., Ferris, C., Orchard, D.: Web services architecture. In: W3C (February 2004), http:\/\/www.w3.org\/TR\/sawsdl\/"},{"key":"23_CR4","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. Bromberg","year":"2005","unstructured":"Bromberg, Y., 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":"23_CR5","unstructured":"Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web services description language (wsdl) 1.1. In (March 2001), http:\/\/www.w3.org\/TR\/wsdl"},{"key":"23_CR6","unstructured":"Duftler, M., Mukhi, N., Slominski, S., Weerawarana, S.: Web services invocation framework (wsif). In: OOPSLA 2001 Workshop on Object Oriented Web Services (2001)"},{"key":"23_CR7","unstructured":"Farrell, J., Lausen, H.: Semantic annotations for wsdl and xml schema (August 2007), http:\/\/www.w3.org\/TR\/sawsdl\/"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Flores, C., Blair, G., Grace, P.: An adaptive middleware to overcome service discovery heterogeneity in mobile ad hoc environments. IEEE Distributed Systems Online (2007)","DOI":"10.1109\/MDSO.2007.41"},{"issue":"4","key":"23_CR9","first-page":"499","volume":"12","author":"H. Gang","year":"2003","unstructured":"Gang, H., Hong, M., Qian-xiang, W., Fu-qing, Y.: A systematic approach to composing heterogeneous components. Chinese Journal of Electronics\u00a012(4), 499\u2013505 (2003)","journal-title":"Chinese Journal of Electronics"},{"key":"23_CR10","series-title":"LNCS","first-page":"263","volume-title":"ISoLA 2010, Part II","author":"F. Giandomenico Di","year":"2010","unstructured":"Di Giandomenico, F., Kwiatkowska, M., Martinucci, M., Masci, P., Qu, H.: Dependability analysis and verification for Connected systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part II. LNCS, vol.\u00a06416, pp. 263\u2013277. Springer, Heidelberg (2010)"},{"issue":"1","key":"23_CR11","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/1055959.1055962","volume":"9","author":"P. Grace","year":"2005","unstructured":"Grace, P., Blair, G., Samuel, S.: A reflective framework for discovery and interaction in heterogeneous mobile environments. ACM SIGMOBILE Mobile Computing and Communications Review\u00a09(1), 2\u201314 (2005)","journal-title":"ACM SIGMOBILE Mobile Computing and Communications Review"},{"key":"23_CR12","unstructured":"Object\u00a0Management Group. The common object request broker: Architecture and specification version 2.0 (1995)"},{"key":"23_CR13","unstructured":"Gudgin, M., Hadley, M., Mendelsohn, N., Moreau, J., Frystyk Nielsen, H., Karmarkar, A., Lafon, Y.: Soap version 1.2 part 1: Messaging framework (April 2001), http:\/\/www.w3.org\/TR\/soap12-part1"},{"key":"23_CR14","series-title":"LNCS","first-page":"221","volume-title":"ISoLA 2010, Part II","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, Part II. LNCS, vol.\u00a06416, pp. 221\u2013235. Springer, Heidelberg (2010)"},{"issue":"3","key":"23_CR15","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1016\/j.comcom.2005.11.017","volume":"30","author":"N. Limam","year":"2007","unstructured":"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\u00a030(3), 546\u2013563 (2007)","journal-title":"Computer Communications"},{"issue":"3","key":"23_CR16","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/s11280-007-0033-x","volume":"10","author":"D. Martin","year":"2007","unstructured":"Martin, D., Burstein, M., Mcdermott, D., Mcilraith, S., Paolucci, M., Sycara, K., Mcguinness, D., Sirin, E., Srinivasan, N.: Bringing semantics to web services with owl-s. World Wide Web\u00a010(3), 243\u2013277 (2007)","journal-title":"World Wide Web"},{"issue":"3","key":"23_CR17","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1145\/1151695.1151698","volume":"15","author":"A. Murphy","year":"2006","unstructured":"Murphy, A., Picco, G., Roman, G.: Lime: A coordination model and middleware supporting mobility of hosts and agents. ACM Transactions on Software Engineering Methodology\u00a015(3), 279\u2013328 (2006)","journal-title":"ACM Transactions on Software Engineering Methodology"},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"Nakazawa, J., Tokuda, H., Edwards, W., Ramachandran, U.: A bridging framework for universal interoperability in pervasive systems. In: 26th IEEE International Conference on Distributed Computing Systems, ICDCS 2006 (2006)","DOI":"10.1109\/ICDCS.2006.5"},{"key":"23_CR19","series-title":"LNCS","first-page":"236","volume-title":"ISoLA 2010, Part II","author":"V. Issarny","year":"2010","unstructured":"Issarny, V., Inverardi, P., Spalazzese, R.: A theory of mediators for eternal Connectors. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part II. LNCS, vol.\u00a06416, pp. 236\u2013250. Springer, Heidelberg (2010)"},{"key":"23_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/11693017_28","volume-title":"Fundamental Approaches to Software Engineering","author":"H. Raffelt","year":"2006","unstructured":"Raffelt, H., Steffen, B.: Learnlib: A library for automata learning and experimentation. In: Baresi, L., Heckel, R. (eds.) FASE 2006. LNCS, vol.\u00a03922, pp. 377\u2013380. Springer, Heidelberg (2006)"},{"issue":"1","key":"23_CR21","doi-asserted-by":"crossref","first-page":"77","DOI":"10.3233\/APO-2005-000008","volume":"1","author":"D. Roman","year":"2005","unstructured":"Roman, D., Keller, U., Lausen, H., de Bruijn, J., Lara, R., Stollberg, M., Polleres, A., Feier, C., Bussler, C., Fensel, D.: Web service modeling ontology. Applied Ontology Journal\u00a01(1), 77\u2013106 (2005)","journal-title":"Applied Ontology Journal"},{"key":"23_CR22","unstructured":"Roman, M., Kon, F., Campbell, R.: Reflective middleware: From your desk to your hand. IEEE Distributed Systems Online 2(5) (August 2001)"},{"key":"23_CR23","unstructured":"Artix Enterprise Service\u00a0Bus Software (2010), http:\/\/web.progress.com\/en\/sonic\/artix-esb.html"},{"key":"23_CR24","unstructured":"IBM\u00a0Software WebSphere, http:\/\/www-01.ibm.com\/software\/websphere\/"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification, and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16561-0_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T13:52:00Z","timestamp":1740664320000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16561-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642165603","9783642165610"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16561-0_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}