{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:42:56Z","timestamp":1743028976314,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642170706"},{"type":"electronic","value":"9783642170713"}],"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-17071-3_1","type":"book-chapter","created":{"date-parts":[[2010,11,11]],"date-time":"2010-11-11T07:12:58Z","timestamp":1289459578000},"page":"1-20","source":"Crossref","is-referenced-by-count":8,"title":["A Framework for Reasoning on Component Composition"],"prefix":"10.1007","author":[{"given":"Ludovic","family":"Henrio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Kamm\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammad Uzair","family":"Khan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Sensoria \u2013 software engineering for service-oriented overlay computers (2005)"},{"issue":"1-2","key":"1_CR2","first-page":"491","volume":"78","author":"E. \u00c1brah\u00e1m","year":"2008","unstructured":"\u00c1brah\u00e1m, E., Grabe, I., Gr\u00fcner, A., Steffen, M.: Behavioral interface description of an object-oriented language with futures and promises. Journal of Logic and Algebraic Programming\u00a078(1-2), 491\u2013518 (2008)","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"1-2","key":"1_CR3","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s12243-008-0069-7","volume":"64","author":"T. Barros","year":"2009","unstructured":"Barros, T., Ameur-Boulifa, R., Cansado, A., Henrio, L., Madelaine, E.: Behavioural models for distributed fractal components. Annales des T\u00e9l\u00e9communications\u00a064(1-2), 25\u201343 (2009)","journal-title":"Annales des T\u00e9l\u00e9communications"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Baude, F., Caromel, D., Dalmasso, C., Danelutto, M., Getov, V., Henrio, L., P\u00e9rez, C.: GCM: A Grid Extension to Fractal for Autonomous Distributed Components. Annals of Telecommunications (2008) (accepted for publication)","DOI":"10.1007\/s12243-008-0068-8"},{"key":"1_CR5","unstructured":"Beisiegel, M., Blohm, H., Booz, D., Edwards, M., Hurley, O.: SCA service component architecture, assembly model specification. Technical report (March 2007), www.osoa.org\/display\/Main\/Service+Component+Architecture+Specifications"},{"key":"1_CR6","unstructured":"Bruneton, E., Coupaye, T., Stefani, J.B.: The Fractal Component Model. Technical report, ObjectWeb Consortium (February 2004), http:\/\/fractal.objectweb.org\/specification\/index.html"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/978-3-540-78663-4_14","volume-title":"Trustworthy Global Computing","author":"R. Bruni","year":"2008","unstructured":"Bruni, R., et al.: Service oriented architectural design. In: Barthe, G., Fournet, C. (eds.) TGC 2007 LNCS, vol.\u00a04912, pp. 186\u2013203. Springer, Heidelberg (2008)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"C\u00e1mara, J., Sala\u00fcn, G., Canal, C., Ouederni, M.: Interactive Specification and Verification of Behavioural Adaptation Contracts. In: Ninth International Conference on Quality Software, pp. 65\u201375 (August 2009)","DOI":"10.1109\/QSIC.2009.17"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/11768869_7","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"C. Canal","year":"2006","unstructured":"Canal, C., Poizat, P., Sala\u00fcn, G.: Synchronizing behavioural mismatch in software composition. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol.\u00a04037, pp. 63\u201377. Springer, Heidelberg (2006)"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Cansado, A., Madelaine, E.: Specification and verification for grid Component-Based applications: From models to tools. In: Formal Methods for Components and Objects, pp. 180\u2013203 (2009)","DOI":"10.1007\/978-3-642-04167-9_10"},{"key":"1_CR11","unstructured":"CCA-Forum. The Common Component Architecture (CCA) Forum home page (2005), http:\/\/www.cca-forum.org\/"},{"key":"1_CR12","unstructured":"Grabe, I., Steffen, M., Torjusen, A.B.: Executable interface specifications for testing asynchronous creol components. Technical Report Research Report No. 375, University Of Oslo (July 2008)"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04167-9_9","volume-title":"Formal Methods for Components and Objects","author":"L. Henrio","year":"2009","unstructured":"Henrio, L., Kamm\u00fcller, F., Rivera, M.: An asynchronous distributed component model and its semantics. In: de Boer, F.S., Bonsangue, M.M., Madelaine, E. (eds.) FMCO 2008. LNCS, vol.\u00a05751, Springer, Heidelberg (2009) (to appear)"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Henrio, L., Khan, M.U.: Asynchronous components with futures: Semantics and proofs in isabelle\/hol. In: Proceedings of the Seventh International Workshop, FESCA 2010. ENTCS (2010) (to appear)","DOI":"10.1016\/j.entcs.2010.07.004"},{"key":"1_CR15","first-page":"188","volume-title":"Proceedings of the Software Engineering and Formal Methods, SEFM 2004","author":"E. Broch Johnsen","year":"2004","unstructured":"Broch Johnsen, E., Owe, O.: An asynchronous communication model for distributed concurrent objects. In: Proceedings of the Software Engineering and Formal Methods, SEFM 2004, Washington, DC, USA, pp. 188\u2013197. IEEE Computer Society Press, Los Alamitos (2004)"},{"issue":"1","key":"1_CR16","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.tcs.2006.07.031","volume":"365","author":"E. Broch Johnsen","year":"2006","unstructured":"Broch Johnsen, E., Owe, O., Yu, I.C.: Creol: a type-safe object-oriented model for distributed concurrent systems. Theor. Comput. Sci.\u00a0365(1), 23\u201366 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR17","unstructured":"Khan, M.U., Henrio, L.: First class futures: a study of update strategies. Research Report RR-7113, INRIA (2009)"},{"key":"1_CR18","unstructured":"Merle, P.B., Stefani, J.B.: A formal specification of the Fractal component model in Alloy. Research Report RR-6721, INRIA (2008)"},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional reqriting logic as a unified model of concurrency. Journal of Theoretical Computer Science\u00a096, 73\u2013155 (1992)","journal-title":"Journal of Theoretical Computer Science"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL","author":"T. Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle\/HOL \u2013 A Proof Assistant for Higher-Order Logic. In: Isabelle\/HOL. LNCS, vol.\u00a02283, Springer, Heidelberg (2002)"},{"key":"1_CR21","unstructured":"OW2.Consortium. FraSCAti, Open SCA middleware platform (2009), https:\/\/wiki.objectweb.org\/frascati\/Wiki.jsp?page=FraSCAti"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17071-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T01:57:00Z","timestamp":1559786220000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17071-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642170706","9783642170713"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17071-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}