{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:48:10Z","timestamp":1762458490962,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540348931"},{"type":"electronic","value":"9783540348955"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11768869_7","type":"book-chapter","created":{"date-parts":[[2006,5,25]],"date-time":"2006-05-25T09:32:10Z","timestamp":1148549530000},"page":"63-77","source":"Crossref","is-referenced-by-count":24,"title":["Synchronizing Behavioural Mismatch in Software Composition"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Canal","sequence":"first","affiliation":[]},{"given":"Pascal","family":"Poizat","sequence":"additional","affiliation":[]},{"given":"Gwen","family":"Sala\u00fcn","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Andrews, T., et al.: Business Process Execution Language for Web Services (WSBPEL). BEA Systems, IBM, Microsoft, SAP AG, and Siebel Systems (February 2005)","key":"7_CR1"},{"key":"7_CR2","series-title":"International Series in Computer Science","volume-title":"Finite Transition Systems","author":"A. Arnold","year":"1994","unstructured":"Arnold, A.: Finite Transition Systems. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1994)"},{"doi-asserted-by":"crossref","unstructured":"Berthomieu, B., Ribet, P.-O., Vernadat, F.: The Tool TINA \u2013 Construction of Abstract State Spaces for Petri Nets and Time Petri Nets. International Journal of Production Research\u00a042(14) (2004)","key":"7_CR3","DOI":"10.1080\/00207540412331312688"},{"issue":"1","key":"7_CR4","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.jss.2003.05.007","volume":"74","author":"A. Bracciali","year":"2005","unstructured":"Bracciali, A., Brogi, A., Canal, C.: A Formal Approach to Component Adaptation. Journal of Systems and Software\u00a074(1), 45\u201354 (2005)","journal-title":"Journal of Systems and Software"},{"doi-asserted-by":"crossref","unstructured":"Brogi, A., Canal, C., Pimentel, E.: Component Adaptation Through Flexible Subservicing. Science of Computer Programming (2006);","key":"#cr-split#-7_CR5.1","DOI":"10.1016\/j.scico.2005.07.012"},{"unstructured":"A previous version of this work was published as Soft Component Adaptation, ENTCS vol. 85(3), Elsevier (2004)","key":"#cr-split#-7_CR5.2"},{"issue":"5","key":"7_CR6","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/52.714622","volume":"15","author":"A.W. Brown","year":"1998","unstructured":"Brown, A.W., Wallnau, K.C.: The Current State of CBSE. IEEE Software\u00a015(5), 37\u201347 (1998)","journal-title":"IEEE Software"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-30554-5_13","volume-title":"Object-Oriented Technology. ECOOP 2004 Workshop Reader","author":"C. Canal","year":"2005","unstructured":"Canal, C., Murillo, J.M., Poizat, P.: Coordination and Adaptation Techniques for Software Entities. In: Malenfant, J., \u00d8stvold, B.M. (eds.) ECOOP 2004. LNCS, vol.\u00a03344, pp. 133\u2013147. Springer, Heidelberg (2005)"},{"issue":"1","key":"7_CR8","first-page":"9","volume":"12","author":"C. Canal","year":"2006","unstructured":"Canal, C., Murillo, J.M., Poizat, P.: Software Adaptation. L\u2019Objet. Special Issue on Coordination and Adaptation Techniques\u00a012(1), 9\u201331 (2006)","journal-title":"L\u2019Objet. Special Issue on Coordination and Adaptation Techniques"},{"key":"7_CR9","first-page":"13","volume":"4","author":"H. Garavel","year":"2002","unstructured":"Garavel, H., Lang, F., Mateescu, R.: An Overview of CADP 2001. EASST Newsletter\u00a04, 13\u201324 (2002)","journal-title":"EASST Newsletter"},{"key":"7_CR10","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"J.E. Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Addison Wesley, Reading (1979)"},{"issue":"3","key":"7_CR11","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/S0164-1212(02)00037-7","volume":"65","author":"P. Inverardi","year":"2003","unstructured":"Inverardi, P., Tivoli, M.: Deadlock Free Software Architectures for COM\/DCOM Applications. Journal of Systems and Software\u00a065(3), 173\u2013183 (2003)","journal-title":"Journal of Systems and Software"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-39800-4_6","volume-title":"Formal Methods for Software Architectures","author":"P. Inverardi","year":"2003","unstructured":"Inverardi, P., Tivoli, M.: Software Architecture for Correct Components Assembly. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 92\u2013121. Springer, Heidelberg (2003)"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/11589976_6","volume-title":"Integrated Formal Methods","author":"F. Lang","year":"2005","unstructured":"Lang, F.: Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods. In: Romijn, J.M.T., Smith, G.P., van de Pol, J. (eds.) IFM 2005. LNCS, vol.\u00a03771, pp. 70\u201388. Springer, Heidelberg (2005)"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1502","DOI":"10.1007\/978-3-540-30469-2_42","volume-title":"On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE","author":"O. Mar\u00e9chal","year":"2004","unstructured":"Mar\u00e9chal, O., Poizat, P., Royer, J.-C.: Checking Asynchronously Communicating Components using Symbolic Transition Systems. In: Meersman, R., Tari, Z. (eds.) OTM 2004. LNCS, vol.\u00a03291, pp. 1502\u20131519. Springer, Heidelberg (2004)"},{"issue":"4","key":"7_CR15","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"issue":"2","key":"7_CR16","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1145\/210376.210389","volume":"27","author":"O. Nierstrasz","year":"1995","unstructured":"Nierstrasz, O., Meijler, T.D.: Research Directions in Software Composition. ACM Computing Surveys\u00a027(2), 262\u2013264 (1995)","journal-title":"ACM Computing Surveys"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-3975(78)90036-1","volume":"6","author":"C. Rackoff","year":"1978","unstructured":"Rackoff, C.: The Covering and Boundedness Problems for Vector Addition Systems. Theoretical Computer Science\u00a06, 223\u2013231 (1978)","journal-title":"Theoretical Computer Science"},{"key":"7_CR18","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/978-0-387-35496-5_15","volume-title":"Proc. of the 5th Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002)","author":"H.W. Schmidt","year":"2002","unstructured":"Schmidt, H.W., Reussner, R.H.: Generating Adapters for Concurrent Component Protocol Synchronization. In: Proc. of the 5th Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), pp. 213\u2013229. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/11550679_8","volume-title":"Software Composition","author":"M. S\u00fcdholt","year":"2005","unstructured":"S\u00fcdholt, M.: A Model of Components with Non-regular Protocols. In: Gschwind, T., A\u00dfmann, U., Nierstrasz, O. (eds.) SC 2005. LNCS, vol.\u00a03628, pp. 99\u2013113. Springer, Heidelberg (2005)"},{"key":"7_CR20","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"1998","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley, Reading (1998)"},{"issue":"2","key":"7_CR21","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 Components Adaptors. ACM Transactions on Programming Languages and Systems\u00a019(2), 292\u2013333 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Open Object-Based Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11768869_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,11]],"date-time":"2019-03-11T17:51:31Z","timestamp":1552326691000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11768869_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540348931","9783540348955"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11768869_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}