{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:48:31Z","timestamp":1725749311640},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642405600"},{"type":"electronic","value":"9783642405617"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40561-7_19","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T09:10:29Z","timestamp":1379495429000},"page":"274-288","source":"Crossref","is-referenced-by-count":12,"title":["Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning"],"prefix":"10.1007","author":[{"given":"Amel","family":"Bennaceur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Chilton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Malte","family":"Isberner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bengt","family":"Jonsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","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)"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Bersani, M.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: Proc. SEFM, pp. 244\u2013254. IEEE (2010)","DOI":"10.1109\/SEFM.2010.37"},{"key":"19_CR3","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Schneider, P.: The Description Logic Handbook. Cambridge University Press (2003)"},{"issue":"3-4","key":"19_CR4","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1016\/j.artint.2009.12.002","volume":"174","author":"P. Bertoli","year":"2010","unstructured":"Bertoli, P., Pistore, M., Traverso, P.: Automated composition of web services via planning in asynchronous domains. Artificial Intelligence\u00a0174(3-4), 316\u2013361 (2010)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"19_CR5","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s00165-007-0045-4","volume":"20","author":"P. Bhaduri","year":"2008","unstructured":"Bhaduri, P., Ramesh, S.: Interface synthesis and protocol conversion. Form. Asp. Comput.\u00a020(2), 205\u2013224 (2008)","journal-title":"Form. Asp. Comput."},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-28869-2_8","volume-title":"Programming Languages and Systems","author":"T. Chen","year":"2012","unstructured":"Chen, T., Chilton, C., Jonsson, B., Kwiatkowska, M.: A compositional specification theory for component behaviours. In: Seidl, H. (ed.) ESOP 2012. LNCS, vol.\u00a07211, pp. 148\u2013168. Springer, Heidelberg (2012)"},{"issue":"1","key":"19_CR7","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1109\/49.46852","volume":"8","author":"K.L. Calvert","year":"1990","unstructured":"Calvert, K.L., Lam, S.S.: Formal methods for protocol conversion. IEEE Journal on Selected Areas in Communications\u00a08(1), 127\u2013142 (1990)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"19_CR8","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 Workshops. LNCS, vol.\u00a03812, pp. 130\u2013143. Springer, Heidelberg (2006)"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"C\u00e1mara, J., Mart\u00edn, J., Sala\u00fcn, G., Cubo, J., Ouederni, M., Canal, C., Pimentel, E.: ITACA: An integrated toolbox for the automatic composition and adaptation of web services. In: ICSE, pp. 627\u2013630 (2009)","DOI":"10.1109\/ICSE.2009.5070572"},{"key":"19_CR10","unstructured":"Connect Consortium. Deliverable D3.4: Dynamic Connector Synthesis: Principles, Methods, Tools and Assessment. FET IP Connect EU project (2012), \n                    \n                      http:\/\/hal.inria.fr\/hal-00805618"},{"key":"19_CR11","unstructured":"Connect Consortium. Deliverable D6.4: Assessment report: Experimenting with CONNECT in Systems of Systems, and Mobile Environments. FET IP Connect EU project (2012), \n                    \n                      http:\/\/hal.inria.fr\/hal-00793920"},{"issue":"5","key":"19_CR12","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/503271.503226","volume":"26","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. SIGSOFT Softw. Eng. Notes\u00a026(5), 109\u2013120 (2001)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"issue":"2","key":"19_CR13","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"T.R. Gruber","year":"1993","unstructured":"Gruber, T.R.: A translation approach to portable ontology specifications. Knowledge Acquisition\u00a05(2), 199\u2013220 (1993)","journal-title":"Knowledge Acquisition"},{"key":"19_CR14","unstructured":"Inverardi, P., Tivoli, M.: Automatic synthesis of modular connectors via composition of protocol mediation patterns. In: ICSE (to appear, 2013)"},{"issue":"3","key":"19_CR15","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1109\/32.4655","volume":"14","author":"S. Lam","year":"1988","unstructured":"Lam, S.: Protocol conversion. IEEE Transaction Software Engineering\u00a014(3), 353\u2013362 (1988)","journal-title":"IEEE Transaction Software Engineering"},{"key":"19_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-642-34026-0_7","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"M. Merten","year":"2012","unstructured":"Merten, M., Howar, F., Steffen, B., Pellicione, P., Tivoli, M.: Automated inference of models for black box systems based on interface descriptions. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 79\u201396. Springer, Heidelberg (2012)"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Passerone, R., de Alfaro, L., Henzinger, T.A., Sangiovanni-Vincentelli, A.L.: Convertibility verification and converter synthesis: two faces of the same coin. In: Proc. IEEE\/ACM Int. Conf. on Computer-aided Design, pp. 132\u2013139. ACM (2002)","DOI":"10.1145\/774572.774592"},{"issue":"1","key":"19_CR18","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"},{"issue":"2","key":"19_CR19","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/244795.244801","volume":"19","author":"D.M. Yellin","year":"1997","unstructured":"Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Trans. Program. Lang. Syst.\u00a019(2), 292\u2013333 (1997)","journal-title":"ACM Trans. Program. Lang. Syst."}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40561-7_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T07:58:50Z","timestamp":1558079930000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40561-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405600","9783642405617"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40561-7_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}