{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:32:09Z","timestamp":1725568329081},"publisher-location":"Berlin, Heidelberg","reference-count":19,"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_26","type":"book-chapter","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T13:50:50Z","timestamp":1288705850000},"page":"251-262","source":"Crossref","is-referenced-by-count":4,"title":["On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring"],"prefix":"10.1007","author":[{"given":"Antonia","family":"Bertolino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Val\u00e9rie","family":"Issarny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonino","family":"Sabetta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Romina","family":"Spalazzese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"Bennaceur, A., Blair, G., Georgantas, N., Grace, P., Inverardi, P., Issarny, V., Pathak, A., Saadi, R., Spalazzese, R.: Revisiting the Middleware Paradigm: On-the-fly Interoperability in Highly Complex Distributed Systems. Technical Report, INRIA Rocquencourt - Paris (May 2010)"},{"key":"26_CR2","series-title":"LNCS","first-page":"206","volume-title":"ISoLA 2010, Part II","author":"A. Bennaceur","year":"2010","unstructured":"Bennaceur, A., Blair, G.S., Chauvel, F., 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: ISoLA 2010, Part II. LNCS, vol.\u00a06416, pp. 206\u2013220. Springer, Heidelberg (2010)"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Di Giandomenico, F., Di Marco, A., Issarny, V., Martinelli, F., Masci, P.M., Matteucci, I., Saadi, R., Sabetta, A.: Dependability in dynamic, evolving and heterogeneous systems: the CONNECT approach. In: 2nd International Workshop on Software Engineering for Resilient Systems SERENE 2010, London, U.K (2010)","DOI":"10.1145\/2401736.2401746"},{"key":"26_CR4","first-page":"141","volume-title":"ESEC\/FSE 2009: Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering","author":"A. Bertolino","year":"2009","unstructured":"Bertolino, A., Inverardi, P., Pelliccione, P., Tivoli, M.: Automatic synthesis of behavior protocols for composable web-services. In: ESEC\/FSE 2009: Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, pp. 141\u2013150. ACM, New York (2009)"},{"key":"26_CR5","first-page":"15","volume-title":"IW-SOSWE 2007: 2nd international workshop on Service oriented software engineering","author":"D. Bianculli","year":"2007","unstructured":"Bianculli, D., Ghezzi, C.: Monitoring conversational web services. In: IW-SOSWE 2007: 2nd international workshop on Service oriented software engineering, pp. 15\u201321. ACM, New York (2007)"},{"key":"26_CR6","unstructured":"Browne, P.: JBoss Drools Business Rules. Packt Publishing (2009)"},{"key":"26_CR7","unstructured":"Costa, G., Matteucci, I.: Enforcing private policy via security-by-contract. Special issue Identity and Privacy Management. UPGRADE Journal XI(1), 43\u201353 (February 2010)"},{"key":"26_CR8","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: ISoLA 2010, Part II. LNCS, vol.\u00a06416, pp. 263\u2013277. Springer, Heidelberg (2010)"},{"key":"26_CR9","unstructured":"Gibson, J.J.: The ecological approach to visual perception. Houghton Mifflin (1979)"},{"key":"26_CR10","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)"},{"key":"26_CR11","series-title":"LNCS","first-page":"236","volume-title":"ISoLA 2010, Part II","author":"P. Inverardi","year":"2010","unstructured":"Inverardi, P., Issarny, V., Spalazzese, R.: A theory of mediators for eternal connectors. In: ISoLA 2010, Part II. LNCS, vol.\u00a06416, pp. 236\u2013250. Springer, Heidelberg (2010)"},{"key":"26_CR12","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1145\/1321631.1321728","volume-title":"ASE 2007: Proceedings of the twenty-second IEEE\/ACM international conference on Automated software engineering","author":"P. Inverardi","year":"2007","unstructured":"Inverardi, P., Mostarda, L.: Desert: a decentralized monitoring tool generator. In: ASE 2007: Proceedings of the twenty-second IEEE\/ACM international conference on Automated software engineering, pp. 529\u2013530. ACM, New York (2007)"},{"key":"26_CR13","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: 14th IEEE International Conference on Engineering of Complex Computer Systems, Postdam Germany (2009)","DOI":"10.1109\/ICECCS.2009.44"},{"issue":"7","key":"26_CR14","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. ACM Commun.\u00a019(7), 371\u2013384 (1976)","journal-title":"ACM Commun."},{"key":"26_CR15","volume-title":"The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems","author":"D.C. Luckham","year":"2001","unstructured":"Luckham, D.C.: The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison-Wesley Longman Publishing Co., Inc., Amsterdam (2001)"},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"Spalazzese, R., Inverardi, P., Issarny, V.: Towards a formalization of mediating connectors for on the fly interoperability. In: Proceedings of the Joint Working IEEE\/IFIP Conference on Software Architecture and European Conference on Software Architecture (WICSA\/ECSA 2009), pp. 345\u2013348 (2009)","DOI":"10.1109\/WICSA.2009.5290664"},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"Vacul\u00edn, R., Sycara, K.: Towards automatic mediation of OWL-S process models. In: IEEE International Conference on Web Services, pp. 1032\u20131039 (2007)","DOI":"10.1109\/ICWS.2007.177"},{"key":"26_CR18","doi-asserted-by":"crossref","unstructured":"Weiser, M.: The computer for the 21st century. Scientific American (Septmeber 1991)","DOI":"10.1038\/scientificamerican0991-94"},{"key":"26_CR19","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)"}],"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_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,12]],"date-time":"2021-11-12T23:38:24Z","timestamp":1636760304000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16561-0_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642165603","9783642165610"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16561-0_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}