{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T18:01:32Z","timestamp":1742925692740,"version":"3.40.3"},"publisher-location":"Cham","reference-count":55,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319155784"},{"type":"electronic","value":"9783319155791"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-15579-1_1","type":"book-chapter","created":{"date-parts":[[2015,2,23]],"date-time":"2015-02-23T08:36:13Z","timestamp":1424680573000},"page":"3-24","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications"],"prefix":"10.1007","author":[{"given":"Marco","family":"Autili","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Filippo","family":"Mignosi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Romina","family":"Spalazzese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Tivoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,2,24]]},"reference":[{"key":"1_CR1","unstructured":"ITU Telecommunication Standardisation sector, ITU-T reccomendation Z.120. Message Sequence Charts (MSC 1996). Geneva"},{"issue":"1","key":"1_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02088289","volume":"22","author":"IJ Aalbersberg","year":"1989","unstructured":"Aalbersberg, I.J., Hoogeboom, H.J.: Characterizations of the decidability of some problems for regular trace languages. Mathematical Systems Theory 22(1), 1\u201319 (1989)","journal-title":"Mathematical Systems Theory"},{"issue":"2","key":"1_CR3","first-page":"103","volume":"20","author":"IJ Aalbersberg","year":"1986","unstructured":"Aalbersberg, I.J., Welzl, E.: Trace languages defined by regular string languages. ITA 20(2), 103\u2013119 (1986)","journal-title":"ITA"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC\/FSE (2001)","DOI":"10.1145\/503209.503226"},{"key":"1_CR5","volume-title":"Finite Transition Systems","author":"A Arnold","year":"1989","unstructured":"Arnold, A.: Finite Transition Systems. International Series in Computer Science, Prentice Hall International (UK) (1989)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Autili, M., Inverardi, P., Navarra, A., Tivoli, M.: Synthesis: A tool for automatically assembling correct and distributed component-based systems. In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, pp. 784\u2013787. IEEE Computer Society (2007). http:\/\/doi.ieeecomputersociety.org\/10.1109\/ICSE.2007.84","DOI":"10.1109\/ICSE.2007.84"},{"issue":"12","key":"1_CR7","doi-asserted-by":"publisher","first-page":"2210","DOI":"10.1016\/j.jss.2008.04.006","volume":"81","author":"M Autili","year":"2008","unstructured":"Autili, M., Mostarda, L., Navarra, A., Tivoli, M.: Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems. Journal of Systems and Software 81(12), 2210\u20132236 (2008)","journal-title":"Journal of Systems and Software"},{"key":"1_CR8","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":"Marco Autili","year":"2010","unstructured":"Autili, Marco, Chilton, Chris, Inverardi, Paola, Kwiatkowska, Marta, Tivoli, Massimo: Towards a Connector Algebra. In: Margaria, Tiziana, Steffen, Bernhard (eds.) ISoLA 2010, Part II. LNCS, vol. 6416, pp. 278\u2013292. Springer, Heidelberg (2010)"},{"key":"1_CR9","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":"Amel Bennaceur","year":"2012","unstructured":"Bennaceur, Amel, Issarny, Val\u00e9rie, Spalazzese, Romina, Tyagi, Shashank: Achieving Interoperability through Semantics-Based Technologies: The Instant Messaging Case. In: Cudr\u00e9-Mauroux, Philippe, Heflin, Jeff, Sirin, Evren, Tudorache, Tania, Euzenat, J\u00e9r\u00f4me, Hauswirth, Manfred, Parreira, Josiane Xavier, Hendler, Jim, Schreiber, Guus, Bernstein, Abraham, Blomqvist, Eva (eds.) ISWC 2012, Part II. LNCS, vol. 7650, pp. 17\u201333. Springer, Heidelberg (2012)"},{"key":"1_CR10","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-642-28033-7_7","volume-title":"Eternal Systems","author":"Amel Bennaceur","year":"2012","unstructured":"Bennaceur, Amel, Johansson, Richard, Moschitti, Alessandro, Spalazzese, Romina, Sykes, Daniel, Saadi, Rachid, Issarny, Val\u00e9rie: Inferring Affordances Using Learning Techniques. In: Moschitti, Alessandro, Scandariato, Riccardo (eds.) EternalS 2011. CCIS, vol. 255, pp. 79\u201387. Springer, Heidelberg (2012)"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Berstel, J., Boasson, L.: Transductions and context-free languages, pp. 1\u2013278. Teubner (1979)","DOI":"10.1007\/978-3-663-09367-1"},{"key":"1_CR12","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-642-36177-7_2","volume-title":"Software and Data Technologies","author":"Antonia Bertolino","year":"2013","unstructured":"Bertolino, Antonia, Calabr\u00f2, Antonello, Di Giandomenico, Felicita, Nostro, Nicola, Inverardi, Paola, Spalazzese, Romina: On-the-Fly Dependable Mediation between Heterogeneous Networked Systems. In: Escalona, Mar\\\u2019\u0131a Jos\u00e9, Cordeiro, Jos\u00e9, Shishkov, Boris (eds.) ICSOFT 2011. CCIS, vol. 303, pp. 20\u201337. Springer, Heidelberg (2013)"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-642-16561-0_26","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"Antonia Bertolino","year":"2010","unstructured":"Bertolino, Antonia, Inverardi, Paola, Issarny, Val\u00e9rie, Sabetta, Antonino, Spalazzese, Romina: On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring. In: Margaria, Tiziana, Steffen, Bernhard (eds.) ISoLA 2010, Part II. LNCS, vol. 6416, pp. 251\u2013262. Springer, Heidelberg (2010)"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Inverardi, P., Pelliccione, P., Tivoli, M.: Automatic synthesis of behavior protocols for composable web-services. In: Proc. of ESEC\/FSE (2009)","DOI":"10.1145\/1595696.1595719"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Brandin, B., Wonham, W.: Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control 39(2) (1994)","DOI":"10.1109\/9.272327"},{"issue":"1","key":"1_CR16","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1016\/j.tcs.2006.07.005","volume":"366","author":"R Bruni","year":"2006","unstructured":"Bruni, R., Lanese, I., Montanari, U.: A basic algebra of stateless connectors. Theor. Comput. Sci. 366(1), 98\u2013120 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR17","unstructured":"Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture, Volume 1: A System of Patterns. Wiley, Chichester (1996)"},{"issue":"1","key":"1_CR18","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1109\/49.46852","volume":"8","author":"KL Calvert","year":"1990","unstructured":"Calvert, K.L., Lam, S.S.: Formal methods for protocol conversion. IEEE Journal on Selected Areas in Communications 8(1), 127\u2013142 (1990)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"issue":"4","key":"1_CR19","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1109\/TSE.2008.31","volume":"34","author":"C Canal","year":"2008","unstructured":"Canal, C., Poizat, P., Sala\u00fcn, G.: Model-based adaptation of behavioral mismatching components. IEEE Trans. Software Eng. 34(4), 546\u2013563 (2008)","journal-title":"IEEE Trans. Software Eng."},{"key":"1_CR20","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":"Taolue Chen","year":"2012","unstructured":"Chen, Taolue, Chilton, Chris, Jonsson, Bengt, Kwiatkowska, Marta: A Compositional Specification Theory for Component Behaviours. In: Seidl, Helmut (ed.) Programming Languages and Systems. LNCS, vol. 7211, pp. 148\u2013168. Springer, Heidelberg (2012)"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Dallmeier, V., Knopp, N., Mallon, C., Fraser, G., Hack, S., Zeller, A.: Automatically generating test cases for specification mining. IEEE TSE 38(2) (2012)","DOI":"10.1109\/TSE.2011.105"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Di Marco, A., Inverardi, P., Spalazzese, R.: Synthesizing self-adaptive connectors meeting functional and performance concerns. In: Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2013, pp. 133\u2013142. IEEE Press, Piscataway (2013). http:\/\/dl.acm.org\/citation.cfm?id=2487336.2487358","DOI":"10.1109\/SEAMS.2013.6595500"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Diekert, V., Muscholl, A.: Trace theory. In: Encyclopedia of Parallel Computing, pp. 2071\u20132079 (2011)","DOI":"10.1007\/978-0-387-09766-4_491"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Diekert, V., Rozenberg, G.: The Book of Traces. World Scientific (1995)","DOI":"10.1142\/2563"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/11841760_6","volume-title":"Business Process Management","author":"Marlon Dumas","year":"2006","unstructured":"Dumas, Marlon, Spork, Murray, Wang, Kenneth: Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation. In: Dustdar, Schahram, Fiadeiro, Jos\u00e9 Luiz, Sheth, Amit P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 65\u201380. Springer, Heidelberg (2006)"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically discovering likely program invariants to support program evolution. IEEE Trans. Software Eng. 27(2) (2001)","DOI":"10.1109\/32.908957"},{"key":"1_CR27","unstructured":"Feiler, P., Gabriel, R.P., Goodenough, J., Lingerand, R., Longstaff, T., Kazman, R., Klein, M., Northrop, L., Schmidt, D., Sullivan, K., Wallnau, K.: Ultra-Large-Scale Systems: The Software Challenge of the Future (2006)"},{"key":"1_CR28","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":"Gordon 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. 6659, pp. 1\u201326. Springer, Heidelberg (2011). http:\/\/dx.doi.org\/10.1007\/978-3-642-21455-4"},{"key":"1_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/978-3-642-16561-0_25","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"Paola Inverardi","year":"2010","unstructured":"Inverardi, Paola, Issarny, Val\u00e9rie, Spalazzese, Romina: A Theory of Mediators for Eternal Connectors. In: Margaria, Tiziana, Steffen, Bernhard (eds.) ISoLA 2010, Part II. LNCS, vol. 6416, pp. 236\u2013250. Springer, Heidelberg (2010)"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Tivoli, M.: Automatic synthesis of modular connectors via composition of protocol mediation patterns. In: Proceedings of ICSE 2013 (2013)","DOI":"10.1109\/ICSE.2013.6606546"},{"key":"1_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":"Val\u00e9rie Issarny","year":"2011","unstructured":"Issarny, Val\u00e9rie, Bennaceur, Amel, Bromberg, Y\u00e9rom-David: Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability. In: Bernardo, Marco, Issarny, Val\u00e9rie (eds.) SFM 2011. LNCS, vol. 6659, pp. 217\u2013255. Springer, Heidelberg (2011)"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Jiang, F., Fan, Y., Zhang, X.: Rule-based automatic generation of mediator patterns for service composition mismatches. In: Proceedings of the 2008 The 3rd International Conference on Grid and Pervasive Computing - Workshops, pp. 3\u20138. IEEE Computer Society, Washington, DC (2008). http:\/\/portal.acm.org\/citation.cfm?id=1381299.1381352","DOI":"10.1109\/GPC.WORKSHOPS.2008.21"},{"issue":"7","key":"1_CR33","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"RM Keller","year":"1976","unstructured":"Keller, R.M.: Formal verification of parallel programs. Commun. ACM 19(7), 371\u2013384 (1976)","journal-title":"Commun. ACM"},{"issue":"9","key":"1_CR34","doi-asserted-by":"publisher","first-page":"1376","DOI":"10.1109\/32.6181","volume":"14","author":"SS Lam","year":"1988","unstructured":"Lam, S.S.: Correction to \u201cprotocol conversion\u201d. IEEE Trans. Software Eng. 14(9), 1376 (1988)","journal-title":"IEEE Trans. Software Eng."},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"Li, X., Fan, Y., Wang, J., Wang, L., Jiang, F.: A pattern-based approach to development of service mediators for protocol mediation. In: Proceedings of WICSA 2008, pp. 137\u2013146. IEEE Computer Society (2008)","DOI":"10.1109\/WICSA.2008.13"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"Lo, D., Mariani, L., Santoro, M.: Learning extended fsa from software: An empirical assessment. J. Syst. Softw. 85(9) (2012)","DOI":"10.1016\/j.jss.2012.04.001"},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"Lorenzoli, D., Mariani, L., Pezz\u00e8, M.: Automatic generation of software behavioral models. In: Proc. of ICSE 2008 (2008)","DOI":"10.1145\/1368088.1368157"},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"Margaria, T.: The semantic web services challenge: Tackling complexity at the orchestration level. In: ICECCS 2008 (2008)","DOI":"10.1109\/ICECCS.2008.41"},{"key":"1_CR39","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, New York (1989)"},{"key":"1_CR40","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: Proceedings of the 2002 IEEE\/ACM International Conference on Computer-Aided Design, ICCAD 2002, pp. 132\u2013139 (2002)","DOI":"10.1145\/774572.774592"},{"issue":"12","key":"1_CR41","doi-asserted-by":"publisher","first-page":"2237","DOI":"10.1016\/j.jss.2008.05.030","volume":"81","author":"P Pelliccione","year":"2008","unstructured":"Pelliccione, P., Tivoli, M., Bucchiarone, A., Polini, A.: An architectural approach to the correct and automatic assembly of evolving component-based systems. Journal of Systems and Software 81(12), 2237\u20132251 (2008)","journal-title":"Journal of Systems and Software"},{"key":"1_CR42","doi-asserted-by":"crossref","unstructured":"Perrin, D.: Partial commutations. In: Proceedings of 16th International Colloquium on Automata, Languages and Programming, ICALP 1989, Stresa, Italy, July 11\u201315, pp. 637\u2013651 (1989)","DOI":"10.1007\/BFb0035789"},{"key":"1_CR43","doi-asserted-by":"crossref","unstructured":"Raffelt, H., Steffen, B., Berg, T., Margaria, T.: Learnlib: a framework for extrapolating behavioral models. Int. J. Softw. Tools Technol. Transf. 11(5) (2009)","DOI":"10.1007\/s10009-009-0111-8"},{"key":"1_CR44","doi-asserted-by":"crossref","unstructured":"Ramadge, P., Wonham, W.: Supervisory control of a class of discrete event processes. Siam J. Control and Optimization 25(1) (1987)","DOI":"10.1137\/0325013"},{"key":"1_CR45","unstructured":"Spalazzese, R.: A Theory of Mediating Connectors to achieve Interoperability. Ph.D. thesis, University of L\u2019Aquila, April 2011"},{"key":"1_CR46","doi-asserted-by":"crossref","unstructured":"Spalazzese, R., Inverardi, P.: Components interoperability through mediating connector pattern. In: WCSI 2010, arxiv.org\/abs\/1010.2337; EPTCS 37, pp. 27\u201341 (2010)","DOI":"10.4204\/EPTCS.37.3"},{"key":"1_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-642-15114-9_26","volume-title":"Software Architecture","author":"Romina Spalazzese","year":"2010","unstructured":"Spalazzese, Romina, Inverardi, Paola: Mediating Connector Patterns for Components Interoperability. In: Babar, Muhammad Ali, Gorton, Ian (eds.) ECSA 2010. LNCS, vol. 6285, pp. 335\u2013343. Springer, Heidelberg (2010)"},{"key":"1_CR48","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":"1_CR49","doi-asserted-by":"crossref","unstructured":"Spitznagel, B., Garlan, D.: A compositional formalization of connector wrappers. In: ICSE, pp. 374\u2013384 (2003)","DOI":"10.1109\/ICSE.2003.1201216"},{"key":"1_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-540-71209-1_16","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Massimo Tivoli","year":"2007","unstructured":"Tivoli, Massimo, Fradet, Pascal, Girault, Alain, G\u00f6\u00dfler, Gregor: Adaptor Synthesis for Real-Time Components. In: Grumberg, Orna, Huth, Michael (eds.) TACAS 2007. LNCS, vol. 4424, pp. 185\u2013200. Springer, Heidelberg (2007)"},{"issue":"3","key":"1_CR51","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/j.scico.2008.03.001","volume":"71","author":"M Tivoli","year":"2008","unstructured":"Tivoli, M., Inverardi, P.: Failure-free coordinators synthesis for component-based architectures. Science of Computer Programming 71(3), 181\u2013212 (2008)","journal-title":"Science of Computer Programming"},{"key":"1_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-79968-9_9","volume-title":"Service-Oriented Computing: Agents, Semantics, and Engineering","author":"Roman Vacul\\\u2019\u0131n","year":"2008","unstructured":"Vacul\\\u2019\u0131n, Roman, Neruda, Roman, Sycara, Katia: An Agent for Asymmetric Process Mediation in Open Environments. In: Kowalczyk, Ryszard, Huhns, Michael N., Klusch, Matthias, Maamar, Zakaria, Vo, Quoc Bao (eds.) Service-Oriented Computing: Agents, Semantics, and Engineering. LNCS, vol. 5006, pp. 104\u2013117. Springer, Heidelberg (2008)"},{"key":"1_CR53","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"},{"issue":"5","key":"1_CR54","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/64.621227","volume":"12","author":"G Wiederhold","year":"1997","unstructured":"Wiederhold, G., Genesereth, M.: The conceptual basis for mediation services. IEEE Expert: Intelligent Systems and Their Applications 12(5), 38\u201347 (1997)","journal-title":"IEEE Expert: Intelligent Systems and Their Applications"},{"key":"1_CR55","doi-asserted-by":"crossref","unstructured":"Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Trans. Program. Lang. Syst. 19 (1997)","DOI":"10.1145\/244795.244801"}],"container-title":["Lecture Notes in Computer Science","Language and Automata Theory and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15579-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T05:06:55Z","timestamp":1674191215000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-15579-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319155784","9783319155791"],"references-count":55,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15579-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"24 February 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}