{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T14:04:10Z","timestamp":1725545050612},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540310235"},{"type":"electronic","value":"9783540330974"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11605157_5","type":"book-chapter","created":{"date-parts":[[2006,3,1]],"date-time":"2006-03-01T10:07:40Z","timestamp":1141207660000},"page":"54-65","source":"Crossref","is-referenced-by-count":0,"title":["Component Composition Preserving Behavioural Contracts Based on Communication Traces"],"prefix":"10.1007","author":[{"given":"Arnaud","family":"Bailly","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mireille","family":"Clerbout","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Isabelle","family":"Simplot-Ryl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"Component Software \u2013 Beyong Object Oriented Programming","author":"C. Szyperski","year":"2002","unstructured":"Szyperski, C.: Component Software \u2013 Beyong Object Oriented Programming, 2nd edn. Addison-Wesley \/ ACM Press, Reading (2002)","edition":"2"},{"key":"5_CR2","unstructured":"OMG: CORBA Components, Version 3.0, formal\/02-06-65 (2003)"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"N. Medvidovic","year":"2000","unstructured":"Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering\u00a026, 70\u201393 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"1056","DOI":"10.1109\/TSE.2002.1049404","volume":"28","author":"F. Plasil","year":"2002","unstructured":"Plasil, F., Visnovsky, S.: Behavior protocols for software components. IEEE Transations on Software Engineering\u00a028, 1056\u20131076 (2002)","journal-title":"IEEE Transations on Software Engineering"},{"key":"5_CR5","volume-title":"Software Architectures and Component Technology","author":"F. Acherman","year":"2001","unstructured":"Acherman, F., Nierstrasz, O.: Applications = Components + Scripts \u2013 A tour of Piccola. In: Software Architectures and Component Technology, Kluwer, Dordrecht (2001)"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology\u00a06, 213\u2013249 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/3-540-60406-5_12","volume-title":"Software Engineering - ESEC \u201995","author":"J. Magee","year":"1995","unstructured":"Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying distributed software architectures. In: Botella, P., Sch\u00e4fer, W. (eds.) ESEC 1995. LNCS, vol.\u00a0989, pp. 137\u2013153. Springer, Heidelberg (1995)"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/978-3-540-45236-2_22","volume-title":"FME 2003: Formal Methods","author":"M.H. Beek ter","year":"2003","unstructured":"ter Beek, M.H., Kleijn, J.: Team automata satisfying compositionality. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 381\u2013400. Springer, Heidelberg (2003)"},{"key":"5_CR9","unstructured":"Simplot-Ryl, I., Bailly, A., Clerbout, M.: Component composition preserving behavioral contracts. Technical Report TR-05-01, Universit\u00e9 des Sciences et Technologies de Lille, France (2005), \n                    \n                      http:\/\/www.lifl.fr\/~ryl\/publi\/RR-2005-01.pdf"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/978-3-540-45236-2_23","volume-title":"FME 2003: Formal Methods","author":"M. Charpentier","year":"2003","unstructured":"Charpentier, M.: Composing invariants. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 401\u2013421. Springer, Heidelberg (2003)"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1145\/203095.201069","volume":"17","author":"M. Abadi","year":"1995","unstructured":"Abadi, M., Lamport, L.: Conjoining specifications. ACM Transactions on Programming Languages and Systems\u00a017, 507\u2013534 (1995)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/3-540-47993-7_15","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"J. Aldrich","year":"2002","unstructured":"Aldrich, J., Chambers, C., Notkin, D.: Architectural reasoning in archjava. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 334\u2013367. Springer, Heidelberg (2002)"},{"key":"5_CR13","unstructured":"Duboc, C.: Commutations dans les Monoides libres\u00a0: un Cadre Th\u00e9orique pour l\u2019\u00c9tude du Parall\u00e9lisme. PhD thesis, Universit\u00e9 de Rouen, France (1986)"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90128-2","volume":"31","author":"R. Simone de","year":"1984","unstructured":"de Simone, R.: Langages infinitaires et produit de mixage. Theoretical Computer Science\u00a031, 83\u2013100 (1984)","journal-title":"Theoretical Computer Science"},{"key":"5_CR15","unstructured":"Simplot-Ryl, I., Clerbout, M., Bailly, A.: Stac: Communication traces based specifictions and tests of software components. In: Proc. of the 15th Nordic Workshop on Programming Theory (NWPT 2003), Turku, Finland (2003)"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B. Liskov","year":"1994","unstructured":"Liskov, B., Wing, J.M.: A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems\u00a016, 1811\u20131841 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5_CR17","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, 45\u201354 (2005)","journal-title":"Journal of Systems and Software"},{"key":"5_CR18","unstructured":"Moisan, S., Ressouche, A., Rigault, J.P.: Behavioral substitutability in component frameworks: A formal approach. In: ESEC\/FSE 2003 Specification and Verification of Component-Based Systems Workshop, vol. TR #03-11 of Iowa State University, Helsinki, Finland (2003)"},{"key":"5_CR19","first-page":"208","volume-title":"Proc. TOOLS Europe 2000, Mont Saint-Michel","author":"C. Canal","year":"2000","unstructured":"Canal, C., Fuentes, L., Troya, J., Vallecillo, A.: Extending CORBA interfaces with pi-calculus for protocol compatibility. In: Proc. TOOLS Europe 2000, Mont Saint-Michel, France, pp. 208\u2013225. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1109\/TSE.2002.1033228","volume":"28","author":"D. Harel","year":"2002","unstructured":"Harel, D., Kupferman, O.: On object systems and behavioral inheritance. IEEE Transactions on Software Engineering\u00a028, 889\u2013903 (2002)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Automata"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11605157_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:05:25Z","timestamp":1619492725000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11605157_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540310235","9783540330974"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11605157_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}