{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T20:53:53Z","timestamp":1725828833058},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319235059"},{"type":"electronic","value":"9783319235066"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-23506-6_16","type":"book-chapter","created":{"date-parts":[[2015,9,3]],"date-time":"2015-09-03T11:50:40Z","timestamp":1441281040000},"page":"238-259","source":"Crossref","is-referenced-by-count":4,"title":["Mediator Synthesis in a Component Algebra with Data"],"prefix":"10.1007","author":[{"given":"Luk\u00e1\u0161","family":"Hol\u00edk","sequence":"first","affiliation":[]},{"given":"Malte","family":"Isberner","sequence":"additional","affiliation":[]},{"given":"Bengt","family":"Jonsson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,10]]},"reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1016\/j.scico.2013.06.003","volume":"83","author":"S Bauer","year":"2014","unstructured":"Bauer, S., Larsen, K., Legay, A., Nyman, U., Wasowski, A.: A Modal Specification Theory for Components with Data. Sci. Comput. Program. 83, 106\u2013128 (2014)","journal-title":"Sci. Comput. Program."},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-642-40561-7_19","volume-title":"Software Engineering and Formal Methods","author":"A Bennaceur","year":"2013","unstructured":"Bennaceur, A., Chilton, C., Isberner, M., Jonsson, B.: Automated mediator synthesis: combining behavioural and ontological reasoning. In: Hierons, R.M., Merayo, M.G., Bravetti, M. (eds.) SEFM 2013. LNCS, vol. 8137, pp. 274\u2013288. Springer, Heidelberg (2013)"},{"key":"16_CR3","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G., Hull, R., Mecella, M.: Automatic composition of transition-based semantic web services with messaging. In: Proc. of VLDB 2005. VLDB Endowment (2005)"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Bertoli, P., Pistore, M., Traverso, P.: Automated Composition of Web Services via Planning in Asynchronous Domains. Artif. Intell. 174(3\u20134) (2010)","DOI":"10.1016\/j.artint.2009.12.002"},{"issue":"2","key":"16_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. 20(2), 205\u2013224 (2008)","journal-title":"Form. Asp. Comput."},{"key":"16_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. 7211, pp. 148\u2013168. Springer, Heidelberg (2012)"},{"issue":"5","key":"16_CR7","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 26(5), 109\u2013120 (2001)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Dill, D.: Trace Theory for Automatic Hierarchical Verification of Speed-independent Circuits. PhD thesis, Carnegie Mellon University (1988)","DOI":"10.7551\/mitpress\/6874.001.0001"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Guermouche, N., Perrin, O., Ringeissen, C.: A mediator based approach for services composition. In: SERA 2008. IEEE (2008)","DOI":"10.1109\/SERA.2008.43"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Hull, R., Benedikt, M., Christophides, V., Su, J.: E-services: a look behind the curtain. In: Proc. 22nd ACM Symp. on Principles of Database Systems, pp. 1\u201314. ACM (2003)","DOI":"10.1145\/773153.773154"},{"issue":"2","key":"16_CR11","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1145\/174662.174665","volume":"16","author":"B Jonsson","year":"1994","unstructured":"Jonsson, B.: Compositional specification and verification of distributed systems. ACM Trans. on Programming Languages and Systems 16(2), 259\u2013303 (1994)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-71316-6_6","volume-title":"Programming Languages and Systems","author":"KG Larsen","year":"2007","unstructured":"Larsen, K.G., Nyman, U., Wasowski, A.: Modal I\/O automata for interface and product line theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 64\u201379. Springer, Heidelberg (2007)"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Lynch, N.A., Tuttle, M.R.: Hierarchical correctness proofs for distributed algorithms. In: Proc. 6th ACM Symp. on Principles of Distributed Computing, pp. 137\u2013151 (1987)","DOI":"10.1145\/41840.41852"},{"issue":"1","key":"16_CR14","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/BF00268075","volume":"23","author":"E Olderog","year":"1986","unstructured":"Olderog, E., Hoare, C.: Specification-oriented semantics for communicating processes. Acta Informatica 23(1), 9\u201366 (1986)","journal-title":"Acta Informatica"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.entcs.2008.06.023","volume":"215","author":"J-B Raclet","year":"2008","unstructured":"Raclet, J.-B.: Residual for component specifications. Electronic Notes in Theoretical Computer Science 215, 93\u2013110 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Raclet, J.-B., Badouel, E., Benveniste, A., Caillaud, B., Legay, A., Passerone, R.: Modal interfaces: unifying interface automata and modal specifications. In: Proc. of EMSOFT 2009, pp. 87\u201396. ACM (2009)","DOI":"10.1145\/1629335.1629348"},{"issue":"1\u20132","key":"16_CR17","doi-asserted-by":"crossref","first-page":"119","DOI":"10.3233\/FI-2011-416","volume":"108","author":"J-B Raclet","year":"2011","unstructured":"Raclet, J.-B., Badouel, E., Benveniste, A., Caillaud, B., Legay, A., Passerone, R.: A Modal Interface Theory for Component-based Design. Fundamenta Informaticae 108(1\u20132), 119\u2013149 (2011)","journal-title":"Fundamenta Informaticae"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Raclet, J.-B., Badouel, E., Benveniste, A., Caillaud, B., Passerone, R.: Why are modalities good for interface theories? In: ACSD 2009, pp. 119\u2013127. IEEE (2009)","DOI":"10.1109\/ACSD.2009.22"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Raskin, J.-F., Chatterjee, K., Doyen, L., Henzinger, T.A.: Algorithms for Omega-Regular Games with Imperfect Information. Logical Methods in CS 3(3) (2007)","DOI":"10.2168\/LMCS-3(3:4)2007"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Ryzhyk, L., Chubb, P., Kuz, I., Sueur, E.L., Heiser, G.: Automatic device driver synthesis with termite. In: SOSP 2009, pp. 73\u201386. ACM (2009)","DOI":"10.1145\/1629575.1629583"},{"key":"16_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-642-21455-4_9","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"J Tretmans","year":"2011","unstructured":"Tretmans, J.: Model-based testing and some steps towards test-based modelling. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 297\u2013326. Springer, Heidelberg (2011)"},{"issue":"2","key":"16_CR22","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/244795.244801","volume":"19","author":"DM Yellin","year":"1997","unstructured":"Yellin, D.M., Strom, R.E.: Protocol Specifications and Component Adaptors. ACM Trans. Program. Lang. Syst. 19(2), 292\u2013333 (1997)","journal-title":"ACM Trans. Program. Lang. Syst."}],"container-title":["Lecture Notes in Computer Science","Correct System Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23506-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,7]],"date-time":"2020-09-07T23:26:08Z","timestamp":1599521168000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-23506-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319235059","9783319235066"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23506-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}