{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T06:45:27Z","timestamp":1750747527731,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642258206"},{"type":"electronic","value":"9783642258213"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","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-25821-3_21","type":"book-chapter","created":{"date-parts":[[2011,12,5]],"date-time":"2011-12-05T06:09:36Z","timestamp":1323065376000},"page":"410-430","source":"Crossref","is-referenced-by-count":31,"title":["The Role of Ontologies in Emergent Middleware: Supporting Interoperability in Complex Distributed Systems"],"prefix":"10.1007","author":[{"given":"Gordon S.","family":"Blair","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amel","family":"Bennaceur","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":"Val\u00e9rie","family":"Issarny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vatsala","family":"Nundloll","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Paolucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"21_CR1","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D","volume":"1","author":"M.W. Maier","year":"1998","unstructured":"Maier, M.W.: Architecting Principles for System of Systems. Systems Engineering\u00a01(4), 267\u2013284 (1998)","journal-title":"Systems Engineering"},{"unstructured":"Van Steen, M., Tanenbaum, A.: Distributed Systems: Principles and Paradigms. Prentice-Hall (2001)","key":"21_CR2"},{"key":"21_CR3","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., 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":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-16561-0_28","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"M. Autili","year":"2010","unstructured":"Autili, M., Chilton, C., Inverardi, P., Kwiatkowska, M., Tivoli, M.: Towards a Connector Algebra. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010. LNCS, vol.\u00a06416, pp. 278\u2013292. Springer, Heidelberg (2010)"},{"issue":"4","key":"21_CR5","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1145\/357401.357402","volume":"2","author":"H. Saltzer","year":"1984","unstructured":"Saltzer, H., Reed, D.P., Clark, D.D.: End-to-end arguments in system design. ACM Trans. Comput. Syst.\u00a02(4), 277\u2013288 (1984)","journal-title":"ACM Trans. Comput. Syst."},{"unstructured":"Object Management Group, COM\/CORBA Interworking Spec. Part A & B (1997)","key":"21_CR6"},{"key":"21_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-642-21387-8_14","volume-title":"Distributed Applications and Interoperable Systems","author":"V. Nundloll","year":"2011","unstructured":"Nundloll, V., Grace, P., Blair, G.S.: The Role of Ontologies in Enabling Dynamic Interoperability. In: Felber, P., Rouvoy, R. (eds.) DAIS 2011. LNCS, vol.\u00a06723, pp. 179\u2013193. Springer, Heidelberg (2011)"},{"key":"21_CR8","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)"},{"unstructured":"Nakazawa, J., Tokuda, H., Edwards, W., Ramachandran, U.: A Bridging Framework for Universal Interoperability in Pervasive Systems. In: Proceedings of 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), Lisbon, Portuga (2006)","key":"21_CR9"},{"issue":"1","key":"21_CR10","first-page":"1","volume":"6","author":"C. Cortes","year":"2011","unstructured":"Cortes, C., Grace, P., Blair, G.: SeDiM: A Middleware Framework for Interoperable Service Discovery in Heterogeneous Networks. ACM Transactions on Autonomous and Adaptive Systems\u00a06(1), Article 6:1-8 (2011)","journal-title":"ACM Transactions on Autonomous and Adaptive Systems"},{"issue":"1","key":"21_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"},{"unstructured":"Duftler, M., Mukhi, N., Slominski, S., Weerawarana, S.: Web Services Invocation Framework (WSIF). In: Proceedings of OOPSLA 2001 Workshop on Object Oriented Web Services, Tampa, Florida (2001)","key":"21_CR12"},{"key":"21_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"866","DOI":"10.1007\/978-3-540-39718-2_55","volume-title":"The Semantic Web - ISWC 2003","author":"R. Masuoka","year":"2003","unstructured":"Masuoka, R., Parsia, B., Labrou, Y.: Task Computing \u2013 The Semantic Web Meets Pervasive Computing. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 866\u2013881. Springer, Heidelberg (2003)"},{"doi-asserted-by":"crossref","unstructured":"Singh, S., Puradkar, S., Lee, Y.: Ubiquitous Computing: Connecting Pervasive Computing Through Semantic Web. Information Systems and e-Business Management Journal (2005)","key":"21_CR14","DOI":"10.1007\/s10257-005-0003-8"},{"issue":"5","key":"21_CR15","doi-asserted-by":"crossref","first-page":"785","DOI":"10.1016\/j.jss.2007.07.030","volume":"8","author":"S. Ben Mokhtar","year":"2008","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\u00a08(5), 785\u2013808 (2008)","journal-title":"Journal of Systems and Software"},{"doi-asserted-by":"crossref","unstructured":"Bromberg, Y., Grace, P., Reveillere, L.: Starlink: runtime intereoperability between heterogeneous middleware protocols. In: Proceedings of the 31st IEEE International Conference on Distributed Computing Systems, Minneapolis, USA (June 2011)","key":"21_CR16","DOI":"10.1109\/ICDCS.2011.65"},{"key":"21_CR17","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.L., Sirin, E., Srinivasan, N.: Bringing semantics to web services with OWL-S. World Wide Web Journal\u00a010, 243\u2013277 (2007)","journal-title":"World Wide Web Journal"},{"unstructured":"Athanasopoulos, D., Zarras, A.: Fine-Grained Metrics of Cohesion Lack for Service Interfaces. In: Proc. of ICWS 2011 (to appear, 2011)","key":"21_CR18"},{"doi-asserted-by":"crossref","unstructured":"Bennaceur, A., Johansson, R., Moschitti, A., Spalazzese, R., Sykes, D., Saadi, R., Issarny, V.: Inferring affordances using learning techniques. In: International Workshop on Eternal Systems, EternalS 2011 (2011)","key":"21_CR19","DOI":"10.1007\/978-3-642-28033-7_7"},{"issue":"4","key":"21_CR20","first-page":"13","volume":"2","author":"S.B. Mokhtar","year":"2010","unstructured":"Mokhtar, S.B., Raverdy, P.-G., Urbieta, A., Cardoso, R.S.: Interoperable semantic and syntactic service discovery for ambient computing environments. IJACI\u00a02(4), 13\u201332 (2010)","journal-title":"IJACI"},{"doi-asserted-by":"crossref","unstructured":"Straccia, U.: A Fuzzy Description Logic for the Semantic Web. In: Sanchez, E. (ed.) Fuzzy Logic and the Semantic Web, Capturing Intelligence, ch. 4, pp. 73\u201390. Elsevier (2006)","key":"21_CR21","DOI":"10.1016\/S1574-9576(06)80006-7"},{"key":"21_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-540-39718-2_17","volume-title":"The Semantic Web - ISWC 2003","author":"A. He\u00df","year":"2003","unstructured":"He\u00df, A., Kushmerick, N.: Learning to Attach Semantic Metadata to Web Services. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 258\u2013273. Springer, Heidelberg (2003)"},{"doi-asserted-by":"crossref","unstructured":"Krka, I., Brun, Y., Popescu, D., Garcia, J., Medvidovic, N.: Using dynamic execution traces and program invariants to enhance behavioral model inference. In: ICSE (2), pp. 179\u2013182 (2010)","key":"21_CR23","DOI":"10.1145\/1810295.1810324"},{"doi-asserted-by":"crossref","unstructured":"Bertolino, A., Inverardi, P., Pelliccione, P., Tivoli, M.: Automatic synthesis of behavior protocols for composable web-services. In: ESEC\/SIGSOFT FSE, pp. 141\u2013150 (2009)","key":"21_CR24","DOI":"10.1145\/1595696.1595719"},{"doi-asserted-by":"crossref","unstructured":"Caporuscio, M., Raverdy, P.-G., Moungla, H., Issarny, V.: Ubisoap: A service oriented middleware for seamless networking. In: ICSOC, pp. 195\u2013209 (2008)","key":"21_CR25","DOI":"10.1007\/978-3-540-89652-4_17"},{"unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook. Cambridge University Press (2003)","key":"21_CR26"},{"key":"21_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-642-19835-9_18","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M. Merten","year":"2011","unstructured":"Merten, M., Steffen, B., Howar, F., Margaria, T.: Next Generation LearnLib. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol.\u00a06605, pp. 220\u2013223. Springer, Heidelberg (2011)"},{"key":"21_CR28","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)"},{"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: OWLED (2006)","key":"21_CR29"},{"doi-asserted-by":"crossref","unstructured":"Vaculin, R., Sycara, K.P.: Towards automatic mediation of OWL-S process models. In: Proceedings of ICWS (2007)","key":"21_CR30","DOI":"10.1109\/ICWS.2007.177"},{"key":"21_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1007\/11762256_46","volume-title":"The Semantic Web: Research and Applications","author":"S.K. Williams","year":"2006","unstructured":"Williams, S.K., Battle, S.A., Cuadrado, J.E.: Protocol Mediation for Adaptation in Semantic Web Services. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, pp. 635\u2013649. Springer, Heidelberg (2006)"},{"unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press (1999)","key":"21_CR32"},{"key":"21_CR33","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, Part II. LNCS, vol.\u00a06416, pp. 221\u2013235. Springer, Heidelberg (2010)"},{"doi-asserted-by":"crossref","unstructured":"Zhang, M., Wolf, R.: Border Node Based Routing Protocol for VANETs in Sparse and Rural Areas. In: IEEE Globecom Autonet Workshop, Washington, pp. 1\u20137 (November 2007)","key":"21_CR34","DOI":"10.1109\/GLOCOMW.2007.4437820"},{"doi-asserted-by":"crossref","unstructured":"Durresi, M., Durresi, A., Barolli, L.: Emergency Broadcast Protocol for Inter-Vehicle Communications. In: Proc. 11th International ICPADS Conference Workshops, pp. 402\u2013406 (2005)","key":"21_CR35","DOI":"10.1109\/ICPADS.2005.147"}],"container-title":["Lecture Notes in Computer Science","Middleware 2011"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25821-3_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T21:12:00Z","timestamp":1741986720000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25821-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642258206","9783642258213"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25821-3_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}