{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,9]],"date-time":"2025-07-09T22:48:22Z","timestamp":1752101302743},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540376576"},{"type":"electronic","value":"9783540376590"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11821946_2","type":"book-chapter","created":{"date-parts":[[2006,8,5]],"date-time":"2006-08-05T02:35:14Z","timestamp":1154745314000},"page":"18-33","source":"Crossref","is-referenced-by-count":24,"title":["Checking Component Composability"],"prefix":"10.1007","author":[{"given":"Christian","family":"Attiogb\u00e9","sequence":"first","affiliation":[]},{"given":"Pascal","family":"Andr\u00e9","sequence":"additional","affiliation":[]},{"given":"Gilles","family":"Ardourel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"2_CR1","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(3), 213\u2013249 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"2_CR2","unstructured":"Andr\u00e9, P., Ardourel, G., Attiogb\u00e9, C.: Behavioural Verification of Service Composition. In: ICSOC\/Workshop on Engineering Service Compositions, WESC 2005 (2005)"},{"key":"2_CR3","unstructured":"Andr\u00e9, P., Ardourel, G., Attiogb\u00e9, C., Habrias, H., Stoquer, C.: A Service-Based Component Model: Formalism, Analysis and Mechanization. Technical Report RR05.08, LINA (December 2005)"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"P.C. Attie","year":"2003","unstructured":"Attie, P.C., Lorenz, D.H.: Correctness of Model-based Component Composition without State Explosion. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743. Springer, Heidelberg (2003)"},{"key":"2_CR5","unstructured":"Attie, P.C., Lorenz, D.H.: Establishing Behavioral Compatibility of Software Components without State Explosion. Technical Report NU-CCIS-03-02, College of Computer and Information Science, Northeastern University (2003)"},{"key":"2_CR6","first-page":"189","volume-title":"Foundations of Component-Based Systems","author":"K. Bergner","year":"2000","unstructured":"Bergner, K., Rausch, A., Sihling, M., Vilbig, A., Broy, M.: A Formal Model for Componentware. In: Leavens, G.T., Sitaraman, M. (eds.) Foundations of Component-Based Systems, pp. 189\u2013210. Cambridge University Press, New York (2000)"},{"issue":"1","key":"2_CR7","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"},{"key":"2_CR8","first-page":"109","volume-title":"Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE)","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface Automata. In: Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE), pp. 109\u2013120. ACM Press, New York (2001)"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/3-540-61474-5_97","volume-title":"Computer Aided Verification","author":"J.-C. Fernandez","year":"1996","unstructured":"Fernandez, J.-C., Garavel, H., Kerbrat, A., Mateescu, R., Mounier, L., Sighireanu, M.: CADP: A Protocol Validation and Verification Toolbox. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 437\u2013440. Springer, Heidelberg (1996)"},{"issue":"1","key":"2_CR10","first-page":"7","volume":"6","author":"D. Giannakopoulou","year":"1999","unstructured":"Giannakopoulou, D., Kramer, J., Cheung, S.C.: Behaviour Analysis of Distributed Systems Using the Tracta Approach. ASE\u00a06(1), 7\u201335 (1999)","journal-title":"ASE"},{"key":"2_CR11","unstructured":"Gschwind, T., A\u00dfmann, U., Nierstrasz, O. (eds.): SC 2005. LNCS, vol.\u00a03628. Springer, Heidelberg (2005)"},{"key":"2_CR12","unstructured":"Heineman, G.T., Crnkovi\u0107, I., Schmidt, H.W., Stafford, J.A., Szyperski, C.A., Wallnau, K. (eds.) CBSE 2005. LNCS, vol.\u00a03489. Springer, Heidelberg (2005)"},{"issue":"3","key":"2_CR13","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1145\/352591.352593","volume":"9","author":"P. Inverardi","year":"2000","unstructured":"Inverardi, P., Wolf, A.L., Yankelevich, D.: Static Checking of System Behaviors using Derived Component Assumptions. ACM Transactions on Software Engineering and Methodology\u00a09(3), 239\u2013272 (2000)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"2_CR14","unstructured":"ISO LOTOS: A Formal Description Technique Based on The Temporal Ordering of Observational Behaviour. International Organisation for Standardization - Information Processing Systems - Open Systems Interconnection, Geneva (1988)"},{"issue":"1","key":"2_CR15","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(1), 70\u201393 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Pavel, S., Noy\u00e9, J., Poizat, P., Royer, J.C.: A Java Implementation of a Component Model with Explicit Symbolic Protocols. In: Gschwind et al. (eds.) [11], pp. 115\u2013124","DOI":"10.1007\/11550679_9"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Plasil, F., Visnovsky, S.: Behavior Protocols for Software Components. IEEE Transactions on SW Engineering\u00a028(9) (2002)","DOI":"10.1109\/TSE.2002.1049404"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"S\u00fcdholt, M.: A Model of Components with Non-regular Protocols. In: Gschwind et\u00a0al. (eds.) [11], pp. 99\u2013113","DOI":"10.1007\/11550679_8"},{"key":"2_CR19","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"1997","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison Wesley Publishing Company, Reading (1997)"},{"key":"2_CR20","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1145\/940071.940109","volume-title":"ESEC\/FSE-11: Proc. of the 9th European software engineering conference","author":"F. Xie","year":"2003","unstructured":"Xie, F., Browne, J.C.: Verified Systems by Composition from Verified Components. In: ESEC\/FSE-11: Proc. of the 9th European software engineering conference, New York, NY, USA, pp. 277\u2013286. ACM Press, New York (2003)"},{"issue":"2","key":"2_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 Component 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","Software Composition"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11821946_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:16:53Z","timestamp":1605626213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11821946_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540376576","9783540376590"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11821946_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}