{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:17:53Z","timestamp":1725585473316},"publisher-location":"Berlin, Heidelberg","reference-count":88,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214547"},{"type":"electronic","value":"9783642214554"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21455-4_5","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T14:00:01Z","timestamp":1307714401000},"page":"148-190","source":"Crossref","is-referenced-by-count":13,"title":["Application-Layer Connector Synthesis"],"prefix":"10.1007","author":[{"given":"Paola","family":"Inverardi","sequence":"first","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","reference":[{"unstructured":"CONNECT consortium. CONNECT Deliverable D1.1: Initial Connect Architecture. FET IP CONNECT EU project, FP7 grant agreement number 231167, http:\/\/www.connect-forever.eu\/","key":"5_CR1"},{"unstructured":"CONNECT consortium. CONNECT Deliverable D1.2: Intermediate Connect Architecture. FET IP CONNECT EU project, FP7 grant agreement number 231167, http:\/\/www.connect-forever.eu\/","key":"5_CR2"},{"unstructured":"CONNECT consortium. CONNECT Deliverable D3.2: Reasoning about and Harmonizing the Interaction Behavior of Networked Systems at Application- and Middleware- Layer. FET IP CONNECT EU project, FP7 grant agreement number 231167, http:\/\/www.connect-forever.eu\/","key":"5_CR3"},{"unstructured":"ITU Telecommunication Standardisation sector, ITU-T reccomendation Z.120. Message Sequence Charts (MSC 1996), Geneva (1996)","key":"5_CR4"},{"key":"5_CR5","series-title":"International Series in Computer Science","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":"5_CR6","doi-asserted-by":"publisher","first-page":"784","DOI":"10.1109\/ICSE.2007.84","volume-title":"29th International Conference on Software Engineering (ICSE 2007)","author":"M. Autili","year":"2007","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, Los Alamitos (2007), DOI REF: http:\/\/doi.ieeecomputersociety.org\/10.1109\/ICSE.2007.84"},{"unstructured":"Autili, M., Inverardi, P., Tivoli, M., Garlan, D.: Synthesis of \u201ccorrect\u201d adaptors for protocol enhancement in component based systems. In: Proceedings of the 1st International Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2004) at FSE 2004, pp. 79\u201386 (2004)","key":"5_CR7"},{"issue":"12","key":"5_CR8","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\u00a081(12), 2210\u20132236 (2008)","journal-title":"Journal of Systems and Software"},{"unstructured":"Balek, D.: Connectors in Software Architectures. PhD thesis, Charles University (May 2002)","key":"5_CR9"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-540-31862-0_6","volume-title":"Theoretical Aspects of Computing - ICTAC 2004","author":"M.A. Barbosa","year":"2005","unstructured":"Barbosa, M.A., Barbosa, L.S.: Specifying software connectors. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol.\u00a03407, pp. 52\u201367. Springer, Heidelberg (2005)"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/11431855_29","volume-title":"Advanced Information Systems Engineering","author":"B. Benatallah","year":"2005","unstructured":"Benatallah, B., Casati, F., Grigori, D., Nezhad, H.R.M., Toumani, F.: Developing adapters for web services integration. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 415\u2013429. Springer, Heidelberg (2005)"},{"unstructured":"Bennaceur, A., Issarny, V., Spalazzese, R.: On-the-fly reasoning about interoperability using ontology-based model checking. Technical Report, INRIA Rocquencourt, Paris (January 2011)","key":"5_CR12"},{"unstructured":"Bennaceur, A., Spalazzese, R., Inverardi, P., Issarny, V., Georgantas, N., Saadi, R.: Model-based mediators for dynamic-adaptive connectors. Technical report, INRIA Paris-Rocquencourt, France (2011)","key":"5_CR13"},{"key":"5_CR14","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":"A. Bertolino","year":"2010","unstructured":"Bertolino, A., Inverardi, P., Issarny, V., Sabetta, A., Spalazzese, R.: On-the-fly interoperability through automated mediator synthesis and monitoring. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part II. LNCS, vol.\u00a06416, pp. 251\u2013262. Springer, Heidelberg (2010)"},{"doi-asserted-by":"crossref","unstructured":"Bracciali, A., Brogi, A., Canal, C.: A formal approach to component adaptation. J. Syst. Softw. 74 (January 2005)","key":"5_CR15","DOI":"10.1016\/j.jss.2003.05.007"},{"doi-asserted-by":"crossref","unstructured":"Brandin, B., Wonham, W.: Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control 39(2) (1994)","key":"5_CR16","DOI":"10.1109\/9.272327"},{"issue":"1","key":"5_CR17","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.\u00a0366(1), 98\u2013120 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR18","series-title":"A System of Patterns","volume-title":"Pattern-Oriented Software Architecture","author":"F. Buschmann","year":"1996","unstructured":"Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture. A System of Patterns, vol.\u00a01. Wiley, Chichester (1996)"},{"issue":"1","key":"5_CR19","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"},{"issue":"4","key":"5_CR20","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.\u00a034(4), 546\u2013563 (2008)","journal-title":"IEEE Trans. Software Eng."},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-642-10383-4_11","volume-title":"Service-Oriented Computing","author":"L. Cavallaro","year":"2009","unstructured":"Cavallaro, L., Nitto, E.D., Pradella, M.: An automatic approach to enable replacement of conversational services. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol.\u00a05900, pp. 159\u2013174. Springer, Heidelberg (2009)"},{"key":"5_CR22","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., Haller, A. (eds.) BPM 2005. LNCS, vol.\u00a03812, pp. 130\u2013143. Springer, Heidelberg (2006)"},{"doi-asserted-by":"crossref","unstructured":"Cohen, A., Duranton, M., Eisenbeis, C., Pagetti, C., Plateau, F., Pouzet, M.: Synchronization of periodic clocks. In: Proc. of the 5th EMSOFT (2005)","key":"5_CR23","DOI":"10.1145\/1086228.1086289"},{"doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of the 8th European Software Engineering Conference Held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering. ESEC\/FSE, vol.\u00a09, pp. 109\u2013120 (2001)","key":"5_CR24","DOI":"10.1145\/503209.503226"},{"key":"5_CR25","volume-title":"Proceedings of ESEC\/FSE 2009","author":"G. Denaro","year":"2009","unstructured":"Denaro, G., Pezz\u00e9, M., Tosi, D.: Ensuring interoperable service-oriented systems through engineered self-healing. In: Proceedings of ESEC\/FSE 2009. ACM Press, New York (2009)"},{"key":"5_CR26","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":"M. Dumas","year":"2006","unstructured":"Dumas, M., Spork, M., Wang, K.: Adapt or perish: Algebra and visual notation for service interface adaptation. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 65\u201380. Springer, Heidelberg (2006)"},{"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":"5_CR27"},{"unstructured":"Fiadeiro, J.L., Lopes, A., Wermelinger, M.: Theory and practice of software architectures. In: Tutorial at the 16th IEEE Conference on Automated Software Engineering, San Diego, CA, USA, November 26-29 (2001)","key":"5_CR28"},{"key":"5_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56689-9_45","volume-title":"Advances in Petri Nets 1993","author":"A. Finkel","year":"1993","unstructured":"Finkel, A.: The minimal coverability graph for Petri nets. In: Rozenberg, G. (ed.) APN 1993. LNCS, vol.\u00a0674. Springer, Heidelberg (1993)"},{"key":"5_CR30","series-title":"LNCS","first-page":"350","volume-title":"SFM 2011","author":"G. Blair","year":"2011","unstructured":"Blair, G., et al.: Introduction to Interoperability. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol.\u00a06659, pp. 350\u2013392. Springer, Heidelberg (2011)"},{"key":"5_CR31","volume-title":"Design Patterns: Elements of Resusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Resusable Object-Oriented Software. Addison-Wesley Professional, Reading (1995)"},{"unstructured":"Garlan, D., Shaw, M.: An introduction to software architecture. Technical Report CMU-CS-94-166, Carnegie Mellon University (January 1994)","key":"5_CR32"},{"key":"5_CR33","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008645800955","volume":"6","author":"D. Giannakopoulou","year":"1999","unstructured":"Giannakopoulou, D., Kramer, J., Cheung, S.C.: Behaviour analysis of distributed systems using the tracta approach. Automated Software Engg.\u00a06, 7\u201335 (1999)","journal-title":"Automated Software Engg."},{"key":"5_CR34","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s10515-005-2641-y","volume":"12","author":"D. Giannakopoulou","year":"2005","unstructured":"Giannakopoulou, D., P\u0103s\u0103reanu, C.S., Barringer, H.: Component verification with automatically generated assumptions. Automated Software Engg.\u00a012, 297\u2013320 (2005)","journal-title":"Automated Software Engg."},{"issue":"3","key":"5_CR35","doi-asserted-by":"crossref","first-page":"273","DOI":"10.3233\/FI-1999-39304","volume":"39","author":"B. Intrigila","year":"1999","unstructured":"Intrigila, B., Inverardi, P., Zilli, M.V.: A comprehensive setting for matching and unification over iterative terms. Fundam. Inform.\u00a039(3), 273\u2013304 (1999)","journal-title":"Fundam. Inform."},{"key":"5_CR36","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":"P. Inverardi","year":"2010","unstructured":"Inverardi, P., Issarny, V., 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)"},{"issue":"1-2","key":"5_CR37","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/0304-3975(94)00074-S","volume":"139","author":"P. Inverardi","year":"1995","unstructured":"Inverardi, P., Nesi, M.: Deciding observational congruence of finite-state ccs expressions by rewriting. Theor. Comput. Sci.\u00a0139(1-2), 315\u2013354 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR38","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/GPC.WORKSHOPS.2008.21","volume-title":"Proceedings of the 2008, The 3rd International Conference on Grid and Pervasive Computing - Workshops","author":"F. Jiang","year":"2008","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, USA (2008)"},{"issue":"1","key":"5_CR39","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0269888903000651","volume":"18","author":"Y. Kalfoglou","year":"2003","unstructured":"Kalfoglou, Y., Schorlemmer, M.: Ontology mapping: the state of the art. Knowl. Eng. Rev.\u00a018(1), 1\u201331 (2003)","journal-title":"Knowl. Eng. Rev."},{"key":"5_CR40","series-title":"Dagstuhl Seminar Proceedings","volume-title":"Semantic Interoperability and Integration","author":"Y. Kalfoglou","year":"2005","unstructured":"Kalfoglou, Y., Schorlemmer, M.: Ontology mapping: The state of the art. In: Kalfoglou, Y., Schorlemmer, M., Sheth, A., Staab, S., Uschold, M. (eds.) Semantic Interoperability and Integration, Dagstuhl, Germany. Dagstuhl Seminar Proceedings, vol.\u00a004391. IBFI, Schloss Dagstuhl, Germany (2005)"},{"key":"5_CR41","first-page":"1","volume-title":"SYANCO 2007: International Workshop on Synthesis and Analysis of Component Connectors","author":"S. Kell","year":"2007","unstructured":"Kell, S.: Rethinking software connectors. In: SYANCO 2007: International Workshop on Synthesis and Analysis of Component Connectors, pp. 1\u201312. ACM, New York (2007)"},{"issue":"7","key":"5_CR42","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. Commun. ACM\u00a019(7), 371\u2013384 (1976)","journal-title":"Commun. ACM"},{"doi-asserted-by":"crossref","unstructured":"Kumar, R., Nelvagal, S., Marcus, S.I.: A discrete event systems approach for protocol conversion. Discrete Event Dynamic Systems 7(3) (1997)","key":"5_CR43","DOI":"10.1023\/A:1008258331497"},{"issue":"9","key":"5_CR44","doi-asserted-by":"publisher","first-page":"1376","DOI":"10.1109\/32.6181","volume":"14","author":"S.S. Lam","year":"1988","unstructured":"Lam, S.S.: Correction to \u201dprotocol conversion\u201d. IEEE Trans. Software Eng.\u00a014(9), 1376 (1988)","journal-title":"IEEE Trans. Software Eng."},{"key":"5_CR45","first-page":"137","volume-title":"Proceedings of WICSA 2008","author":"X. Li","year":"2008","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, Los Alamitos (2008)"},{"issue":"1","key":"5_CR46","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1145\/839268.839272","volume":"12","author":"A. Lopes","year":"2003","unstructured":"Lopes, A., Wermelinger, M., Fiadeiro, J.L.: Higher-order architectural connectors. ACM Trans. Softw. Eng. Methodol.\u00a012(1), 64\u2013104 (2003)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"5_CR47","volume-title":"Concurrency : State models and Java programs","author":"J. Magee","year":"2006","unstructured":"Magee, J., Kramer, J.: Concurrency: State models and Java programs. Wiley, Chichester (2006)"},{"key":"5_CR48","first-page":"178","volume-title":"ICSE 2000: Proceedings of the 22nd International Conference on Software Engineering","author":"N.R. Mehta","year":"2000","unstructured":"Mehta, N.R., Medvidovic, N., Phadke, S.: Towards a taxonomy of software connectors. In: ICSE 2000: Proceedings of the 22nd International Conference on Software Engineering, pp. 178\u2013187. ACM Press, New York (2000)"},{"key":"5_CR49","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, New York (1989)"},{"key":"5_CR50","doi-asserted-by":"crossref","first-page":"993","DOI":"10.1145\/1242572.1242706","volume-title":"WWW 2007: Proceedings of the 16th International Conference on World Wide Web","author":"H.R. Motahari Nezhad","year":"2007","unstructured":"Motahari Nezhad, H.R., Benatallah, B., Martens, A., Curbera, F., Casati, F.: Semi-automated adaptation of service interactions. In: WWW 2007: Proceedings of the 16th International Conference on World Wide Web, pp. 993\u20131002. ACM, New York (2007)"},{"key":"5_CR51","doi-asserted-by":"crossref","first-page":"731","DOI":"10.1145\/1772690.1772765","volume-title":"Proceedings of the 19th International Conference on World Wide Web, WWW 2010","author":"H.R. Motahari Nezhad","year":"2010","unstructured":"Motahari Nezhad, H.R., Xu, G.Y., Benatallah, B.: Protocol-aware matching of web service interfaces for adapter development. In: Proceedings of the 19th International Conference on World Wide Web, WWW 2010, pp. 731\u2013740. ACM, New York (2010)"},{"doi-asserted-by":"crossref","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4) (1989)","key":"5_CR52","DOI":"10.1109\/5.24143"},{"doi-asserted-by":"crossref","unstructured":"Okumura, K.: A formal protocol conversion method. In: SIGCOMM, pp. 30\u201337 (1986)","key":"5_CR53","DOI":"10.1145\/18172.18176"},{"doi-asserted-by":"crossref","unstructured":"Oreizy, P., Medvidovic, N., Taylor, R.N.: Architecture-based runtime software evolution. In: Proceedings of the 20th International Conference on Software Engineering, ICSE 1998, pp. 177\u2013186 (1998)","key":"5_CR54","DOI":"10.1109\/ICSE.1998.671114"},{"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)","key":"5_CR55","DOI":"10.1145\/774572.774592"},{"key":"5_CR56","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1109\/TSE.2008.104","volume":"35","author":"P. Pelliccione","year":"2009","unstructured":"Pelliccione, P., Inverardi, P., Muccini, H.: Charmy: A framework for designing and verifying architectural specifications. IEEE Trans. Softw. Eng.\u00a035, 325\u2013346 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"12","key":"5_CR57","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\u00a081(12), 2237\u20132251 (2008)","journal-title":"Journal of Systems and Software"},{"key":"5_CR58","first-page":"153","volume":"5","author":"G.D. Plotkin","year":"1970","unstructured":"Plotkin, G.D.: A note on inductive generalization. Machine Intelligence\u00a05, 153\u2013163 (1970)","journal-title":"Machine Intelligence"},{"key":"5_CR59","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-540-30229-2_18","volume-title":"Middleware 2004","author":"S. Ponnekanti","year":"2004","unstructured":"Ponnekanti, S., Fox, A.: Interoperability among independently evolving web services. In: Jacobsen, H.-A. (ed.) Middleware 2004. LNCS, vol.\u00a03231, pp. 331\u2013351. Springer, Heidelberg (2004)"},{"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)","key":"5_CR60","DOI":"10.1137\/0325013"},{"doi-asserted-by":"crossref","unstructured":"Ramadge, P., Wonham, W.: The control of discrete event systems. Proceedings of the IEEE 1(77) (1989)","key":"5_CR61","DOI":"10.1109\/5.21072"},{"key":"5_CR62","first-page":"135","volume-title":"Transformational systems and the algebraic structure of atomic formulas machine intelligence","author":"J. Reynolds","year":"1970","unstructured":"Reynolds, J.: Transformational systems and the algebraic structure of atomic formulas machine intelligence, vol.\u00a05, pp. 135\u2013151. Edinburgh University Press, USA (1970)"},{"key":"5_CR63","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1997","unstructured":"Roscoe, A.W., Hoare, C.A.R., Bird, R.: The Theory and Practice of Concurrency. Prentice Hall PTR, Upper Saddle River (1997)"},{"unstructured":"Spalazzese, R.: A Theory of Mediating Connectors to achieve Interoperability. PhD thesis, University of L\u2019Aquila (April 2011)","key":"5_CR64"},{"doi-asserted-by":"crossref","unstructured":"Spalazzese, R., Inverardi, P.: Components interoperability through mediating connector pattern. In: WCSI 2010, arXiv:1010.2337. EPTCS, vol.\u00a037, pp. 27\u201341 (2010)","key":"5_CR65","DOI":"10.4204\/EPTCS.37.3"},{"key":"5_CR66","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":"R. Spalazzese","year":"2010","unstructured":"Spalazzese, R., Inverardi, P.: Mediating connector patterns for components interoperability. In: Babar, M.A., Gorton, I. (eds.) ECSA 2010. LNCS, vol.\u00a06285, pp. 335\u2013343. Springer, Heidelberg (2010)"},{"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)","key":"5_CR67","DOI":"10.1109\/WICSA.2009.5290664"},{"unstructured":"Spitznagel, B.: Compositional Transformation of Software Connectors. PhD thesis, Carnegie Mellon University (May 2004)","key":"5_CR68"},{"doi-asserted-by":"crossref","unstructured":"Spitznagel, B., Garlan, D.: A compositional formalization of connector wrappers. In: ICSE, pp. 374\u2013384 (2003)","key":"5_CR69","DOI":"10.1109\/ICSE.2003.1201216"},{"key":"5_CR70","volume-title":"Proceedings of the 1st Canadian Semantic Web Working Symposium (CSWWS 2006)","author":"M. Stollberg","year":"2006","unstructured":"Stollberg, M., Cimpian, E., Mocan, A., Fensel, D.: A semantic web mediation architecture. In: Proceedings of the 1st Canadian Semantic Web Working Symposium (CSWWS 2006). Springer, Heidelberg (2006)"},{"issue":"1","key":"5_CR71","first-page":"77","volume":"12","author":"M. Tivoli","year":"2006","unstructured":"Tivoli, M., Autili, M.: Synthesis, a tool for synthesizing correct and protocol-enhanced adaptors. RSTI - L\u2019objet, Coordination and Adaptation Techniques\u00a012(1), 77\u2013103 (2006)","journal-title":"RSTI - L\u2019objet, Coordination and Adaptation Techniques"},{"key":"5_CR72","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":"M. Tivoli","year":"2007","unstructured":"Tivoli, M., Fradet, P., Girault, A., G\u00f6\u00dfler, G.: Adaptor synthesis for real-time components. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 185\u2013200. Springer, Heidelberg (2007)"},{"issue":"3","key":"5_CR73","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\u00a071(3), 181\u2013212 (2008)","journal-title":"Science of Computer Programming"},{"doi-asserted-by":"crossref","unstructured":"Uchitel, S., Kramer, J.: A workbench for synthesising behaviour models from scenarios. In: Proceeding of the 23rd IEEE International Conference on Software Engineering (ICSE 2001) (2001)","key":"5_CR74","DOI":"10.1109\/ICSE.2001.919093"},{"doi-asserted-by":"crossref","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Detecting implied scenarios in message sequence chart specifications. In: ACM Proceedings of the Joint 8th ESEC and 9th FSE (2001)","key":"5_CR75","DOI":"10.1145\/503209.503220"},{"key":"5_CR76","series-title":"LNCS","first-page":"350","volume-title":"SFM 2011","author":"V. Issarny","year":"2011","unstructured":"Issarny, V., et al.: Middleware-layer Connector Synthesis. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol.\u00a06659, pp. 350\u2013392. Springer, Heidelberg (2011)"},{"key":"5_CR77","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":"R. Vacul\u00edn","year":"2008","unstructured":"Vacul\u00edn, R., Neruda, R., Sycara, K.P.: An agent for asymmetric process mediation in open environments. In: Kowalczyk, R., Huhns, M.N., Klusch, M., Maamar, Z., Vo, Q.B. (eds.) SOCASE. LNCS, vol.\u00a05006, pp. 104\u2013117. Springer, Heidelberg (2008)"},{"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, vol.\u00a00, pp. 1032\u20131039 (2007)","key":"5_CR78","DOI":"10.1109\/ICWS.2007.177"},{"issue":"3","key":"5_CR79","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/1113439.1113452","volume":"39","author":"S.M. Watt","year":"2005","unstructured":"Watt, S.M.: Algebraic generalization. SIGSAM Bull.\u00a039(3), 93\u201394 (2005)","journal-title":"SIGSAM Bull."},{"doi-asserted-by":"crossref","unstructured":"Weiser, M.: The computer for the 21st century. Scientific American (September 1991)","key":"5_CR80","DOI":"10.1038\/scientificamerican0991-94"},{"doi-asserted-by":"crossref","unstructured":"Weiser, M.: Hot Topics: Ubiquitous Computing. IEEE Computer (October 1993)","key":"5_CR81","DOI":"10.1109\/2.237456"},{"unstructured":"Weiser, M.: Ubiquitous computing (1996), http:\/\/sandbox.xerox.com\/ubicomp\/","key":"5_CR82"},{"issue":"5","key":"5_CR83","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1109\/32.685257","volume":"24","author":"M. Wermelinger","year":"1998","unstructured":"Wermelinger, M., Fiadeiro, J.L.: Connectors for mobile programs. IEEE Trans. Softw. Eng.\u00a024(5), 331\u2013341 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"5_CR84","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/2.121508","volume":"25","author":"G. Wiederhold","year":"1992","unstructured":"Wiederhold, G.: Mediators in the architecture of future information systems. IEEE Computer\u00a025, 38\u201349 (1992)","journal-title":"IEEE Computer"},{"issue":"5","key":"5_CR85","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\u00a012(5), 38\u201347 (1997)","journal-title":"IEEE Expert: Intelligent Systems and Their Applications"},{"key":"5_CR86","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":"Woollard, D., Medvidovic, N.: High performance software architectures: A connector-oriented approach. In: Proceedings of the Institute for Software Research Graduate Research Symposium, Irvine, California (June 2006)","key":"5_CR87"},{"doi-asserted-by":"crossref","unstructured":"Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Trans. Program. Lang. Syst. 19 (1997)","key":"5_CR88","DOI":"10.1145\/244795.244801"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Eternal Networked Software Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21455-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,24]],"date-time":"2021-11-24T23:24:28Z","timestamp":1637796268000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21455-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214547","9783642214554"],"references-count":88,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21455-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}