{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:33:36Z","timestamp":1725489216796},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540735502"},{"type":"electronic","value":"9783540735519"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73551-9_3","type":"book-chapter","created":{"date-parts":[[2007,8,13]],"date-time":"2007-08-13T10:28:02Z","timestamp":1187000882000},"page":"33-48","source":"Crossref","is-referenced-by-count":2,"title":["Automated and Unanticipated Flexible Component Substitution"],"prefix":"10.1007","author":[{"given":"Nicolas","family":"Desnos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marianne","family":"Huchard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christelle","family":"Urtado","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvain","family":"Vauttier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guy","family":"Tremblay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"2002","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley Longman Publishing Co., Inc., Boston, MA (2002)"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1109\/CDS.1998.675757","volume-title":"Proc. of the Int. Conf. on Configurable Distributed Systems","author":"F. Pl\u00e1sil","year":"1998","unstructured":"Pl\u00e1sil, F., Balek, D., Janecek, R.: SOFA\/DCUP: Architecture for component trading and dynamic updating. In: Proc. of the Int. Conf. on Configurable Distributed Systems, Washington, DC, pp. 43\u201352. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"3_CR3","unstructured":"Bruneton, E., Coupaye, T., Stefani, J.: Fractal specification - v 2.0.3 (2004), http:\/\/fractal.objectweb.org\/specification\/index.html"},{"key":"3_CR4","unstructured":"George, B., Fleurquin, R., Sadou, S.: A substitution model for software components. In: QaOOSE 2006. Proc. of the 2006 ECOOP Workshop on Quantitative Approaches on Object-Oriented Software Engineering, Nantes, France (2006)"},{"key":"3_CR5","first-page":"40","volume-title":"SERA","author":"T. Bures","year":"2006","unstructured":"Bures, T., Hnetynka, P., Pl\u00e1sil, F.: Sofa 2.0: Balancing advanced features in a hierarchical component model. In: SERA, pp. 40\u201348. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/11966104_18","volume-title":"Software Architecture","author":"N. Desnos","year":"2006","unstructured":"Desnos, N., Vauttier, S., Urtado, C., Huchard, M.: Automating the building of software component architectures. In: Gruhn, V., Oquendo, F. (eds.) EWSA 2006. LNCS, vol.\u00a04344, pp. 228\u2013235. Springer, Heidelberg (2006)"},{"issue":"5","key":"3_CR7","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\u201346 (1998)","journal-title":"IEEE Software"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Crnkovic, I.: Component-based software engineering\u2014new challenges in software development. Software Focus (2001)","DOI":"10.1002\/swf.45"},{"key":"3_CR9","unstructured":"Dijkman, R.M., Almeida, J.P.A., Quartel, D.A.: Verifying the correctness of component-based applications that support business processes. In: Crnkovic, I., Schmidt, H., Stafford, J., Wallnau, K. (eds.) Proc. of the 6th Workshop on CBSE: Automated Reasoning and Prediction, Portland, Oregon, pp. 43\u201348 (2003)"},{"issue":"1","key":"3_CR10","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 Trans. Softw. Eng.\u00a026(1), 70\u201393 (2000)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"3_CR11","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 Trans. Softw. Eng. Methodol.\u00a09(3), 239\u2013272 (2000)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"3_CR12","first-page":"109","volume-title":"Proc. of the 8th European software engineering conference","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proc. of the 8th European software engineering conference, pp. 109\u2013120. ACM Press, New York (2001)"},{"key":"3_CR13","unstructured":"Mach, M., Pl\u00e1sil, F., Kofron, J.: Behavior protocols verification: Fighting state explosion. International Journal of Computer and Information Science (2005)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Wallnau, K.C.: Volume III: A technology for predictable assembly from certifiable components (pacc). Technical Report CMU\/SEI-2003-TR-009, Carnegie Mellon University, Pittsburgh, OH, USA (2003)","DOI":"10.21236\/ADA413574"},{"key":"3_CR15","first-page":"632","volume-title":"APSEC 2004","author":"J. Adamek","year":"2004","unstructured":"Adamek, J., Pl\u00e1sil, F.: Partial bindings of components - any harm? In: APSEC 2004. Proc. of the 11th Asia-Pacific Software Engineering Conference, Washington, DC, pp. 632\u2013639. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/978-3-540-45064-1_14","volume-title":"Component-Based Software Quality","author":"R.H. Reussner","year":"2003","unstructured":"Reussner, R.H., Poernomo, I.H., Schmidt, H.W.: Reasoning on software architectures with contractually specified components. In: Cechich, A., Piattini, M., Vallecillo, A. (eds.) Component-Based Software Quality. LNCS, vol.\u00a02693, pp. 287\u2013325. Springer, Heidelberg (2003)"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/239098.239104","volume-title":"SIGSOFT 1996: Proc. of the 4th ACM SIGSOFT symposium on Foundations of software engineering","author":"J. Magee","year":"1996","unstructured":"Magee, J., Kramer, J.: Dynamic structure in software architectures. In: SIGSOFT 1996: Proc. of the 4th ACM SIGSOFT symposium on Foundations of software engineering, pp. 3\u201314. ACM Press, New York (1996)"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1145\/581339.581365","volume-title":"Proc. of ICSE","author":"J. Aldrich","year":"2002","unstructured":"Aldrich, J., Chambers, C., Notkin, D.: ArchJava: connecting software architecture to implementation. In: Proc. of ICSE, Orlando, FL, pp. 187\u2013197. ACM Press, New York (2002)"},{"issue":"4","key":"3_CR19","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1109\/32.385973","volume":"21","author":"P. Inverardi","year":"1995","unstructured":"Inverardi, P., Wolf, A.L.: Formal specification and analysis of software architectures using the chemical abstract machine model. IEEE Trans. Softw. Eng.\u00a021(4), 373\u2013386 (1995)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"3_CR20","unstructured":"Allen, R.J.: A formal approach to software architecture. PhD thesis, Carnegie Mellon, School of Computer Science, Issued as CMU Technical Report CMU-CS-97-144 (1997)"},{"key":"3_CR21","unstructured":"Matevska-Meyer, J., Hasselbring, W., Reussner, R.H.: A software architecture description supporting component deployment and system runtime reconfiguration. In: WCOP 2004. Proc. of the 9th Int. Workshop on Component-Oriented Programming, Oslo, Norway (2004)"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Oreizy, P., Medvidovic, N., Taylor, R.N.: Architecture-based runtime software evolution. In: Intl. Conf. on Software Engineering, Kyoto, Japan (1998)","DOI":"10.1109\/ICSE.1998.671114"},{"key":"3_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/3-540-47849-3_23","volume-title":"SOFSEM\u201999: Theory and Practice of Informatics","author":"P. Brada","year":"1999","unstructured":"Brada, P.: Component change and version identification in SOFA. In: Bartosek, M., Tel, G., Pavelka, J. (eds.) SOFSEM 1999. LNCS, vol.\u00a01725, pp. 360\u2013368. Springer, Heidelberg (1999)"},{"key":"3_CR24","unstructured":"Desnos, N., Urtado, C., Vauttier, S., Huchard, M.: Helping the architect build component-based architectures. In: Rousseau, R., Urtado, C., Vauttier, S. (eds.) LMO2006. Proc. of the 12th french speaking conference on Languages and Models with Objets, N\u00eemes, France, Herm\u00e8s, pp. 37\u201352 (in french) (2006)"},{"key":"3_CR25","unstructured":"OMG: Unified modeling language: Superstructure, version 2.0 (2002), http:\/\/www.omg.org\/uml"},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"A.E. Lobo","year":"2005","unstructured":"Lobo, A.E., de C. Guerra, P.A., Filho, F.C., Rubira, C.M.F.: A systematic approach for the evolution of reusable software components. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, Springer, Heidelberg (2005)"},{"key":"3_CR27","volume-title":"Systematic Software Development using VDM","author":"C. Jones","year":"1990","unstructured":"Jones, C.: Systematic Software Development using VDM, 2nd edn. Prentice-Hall, Englewood Cliffs (1990)","edition":"2"},{"key":"3_CR28","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book, Assigning programs to meanings","author":"J.R. Abrial","year":"1996","unstructured":"Abrial, J.R.: The B-Book, Assigning programs to meanings. Cambridge University Press, Cambridge (1996)"}],"container-title":["Lecture Notes in Computer Science","Component-Based Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73551-9_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T05:51:24Z","timestamp":1619502684000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73551-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540735502","9783540735519"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73551-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}