{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:36:34Z","timestamp":1725543394107},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540356288"},{"type":"electronic","value":"9783540356295"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11783565_7","type":"book-chapter","created":{"date-parts":[[2006,6,21]],"date-time":"2006-06-21T12:08:03Z","timestamp":1150891683000},"page":"98-113","source":"Crossref","is-referenced-by-count":5,"title":["Architectural Building Blocks for Plug-and-Play System Design"],"prefix":"10.1007","author":[{"given":"Shangzhu","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George S.","family":"Avrunin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lori A.","family":"Clarke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Trans. on Softw. Eng. and Methodol., 140\u2013165 (1997)","DOI":"10.1145\/258077.258078"},{"key":"7_CR2","volume-title":"Softw. Architecture:Perspectives on an Emerging Discipline","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Softw. Architecture:Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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)"},{"issue":"4","key":"7_CR4","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/141874.141884","volume":"17","author":"D.E. Perry","year":"1992","unstructured":"Perry, D.E., Wolf, A.L.: Foundations for the study of software architecture. SIGSOFT Softw. Eng. Notes\u00a017(4), 40\u201352 (1992)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"7_CR5","volume-title":"The Spin Model Checker","author":"G.J. Holzmann","year":"2004","unstructured":"Holzmann, G.J.: The Spin Model Checker. Addison-Wesley, Boston (2004)"},{"key":"7_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking: An approach to the State Explosion Problem","author":"K.L. McMillan","year":"1993","unstructured":"McMillan, K.L.: Symbolic Model Checking: An approach to the State Explosion Problem. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"7_CR7","volume-title":"Concurrency State Models and Java Programs","author":"J. Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: Concurrency State Models and Java Programs. John Wiley and Sons, Chichester (1999)"},{"issue":"4","key":"7_CR8","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1145\/1040291.1040292","volume":"13","author":"M.B. Dwyer","year":"2004","unstructured":"Dwyer, M.B., Clarke, L.A., Cobleigh, J.M., Naumovich, G.: Flow analysis for verifying properties of concurrent software systems. ACM Trans. on Softw. Eng. and Methodol.\u00a013(4), 359\u2013430 (2004)","journal-title":"ACM Trans. on Softw. Eng. and Methodol."},{"key":"7_CR9","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall Intl., Englewood Cliffs (1985)"},{"issue":"4","key":"7_CR10","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"Carriero, N., Gelernter, D.: Linda in context. Comm. ACM\u00a032(4), 444\u2013458 (1989)","journal-title":"Comm. ACM"},{"key":"7_CR11","volume-title":"MPI: The Complete Reference","author":"M. Snir","year":"1996","unstructured":"Snir, M., Otto, S., Huss-Lederman, S., Walker, D., Dongarra, J.: MPI: The Complete Reference. MIT Press, Cambridge (1996)"},{"key":"7_CR12","unstructured":"Wang, S., Avrunin, G.S., Clarke, L.A.: Architectural building blocks for plug-and-play system design. Technical Report UM-CS-2005-16, Dept. of Comp. Sci., Univ. of Massachusetts Amherst (2005)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Garlan, D., Allen, R., Ockerbloom, J.: Architectural mismatch, or, why it\u2019s hard to build systems out of existing parts. In: Proc. 17th Intl. Conf. on Softw. Eng., Seattle, Washington, pp. 179\u2013185 (1995)","DOI":"10.1145\/225014.225031"},{"issue":"2","key":"7_CR14","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0167-6423(98)00006-9","volume":"33","author":"P. Inverardi","year":"1999","unstructured":"Inverardi, P., Wolf, A.L.: Uncovering architectural mismatch in component behavior. Science of Computer Programming\u00a033(2), 101\u2013131 (1999)","journal-title":"Science of Computer Programming"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"B\u00e1lek, D., Pl\u00e1\u0161il, F.: Software connectors and their role in component deployment. In: Proc. Third Intl. Working Conf. on New Developments in Distributed Applications and Interoperable Systems, Deventer, The Netherlands, pp. 69\u201384 (2001)","DOI":"10.1007\/0-306-47005-5_6"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Gensler, T., Lowe, W.: Correct composition of distributed systems. In: Tech. of Object-Oriented Languages and Systems (1999)","DOI":"10.1109\/TOOLS.1999.796497"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Ray, A., Cleaveland, R.: Architectural interaction diagrams: AIDs for system modeling. In: Proc. 25th Intl. Conf. on Softw. Eng., pp. 396\u2013406 (2003)","DOI":"10.1109\/ICSE.2003.1201218"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.entcs.2004.04.028","volume":"97","author":"F. Arbab","year":"2004","unstructured":"Arbab, F., Baier, C., Rutten, J.J.M.M., Sirjani, M.: Modeling component connectors in reo by constraint automata (extended abstract). Electr. Notes Theor. Comput. Sci.\u00a097, 25\u201346 (2004)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Mehta, N.R., Medvidovic, N., Sirjani, M., Arbab, F.: Modeling behavior in compositions of software architectural primitives. In: 19th IEEE Intl. Conf. on Automated Softw. Eng., pp. 371\u2013374 (2004)","DOI":"10.1109\/ASE.2004.1342767"},{"key":"7_CR20","volume-title":"Pattern-oriented software architecture: a system of patterns","author":"F. Buschmann","year":"1996","unstructured":"Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-oriented software architecture: a system of patterns. John Wiley & Sons, Inc., New York, USA (1996)"},{"key":"7_CR21","first-page":"47","volume-title":"Foundations of Component-Based Systems","author":"D. Garlan","year":"2000","unstructured":"Garlan, D., Monroe, R.T., Wile, D.: Acme: Architectural description of component-based systems. In: Leavens, G.T., Sitaraman, M. (eds.) Foundations of Component-Based Systems, pp. 47\u201368. Cambridge University Press, Cambridge (2000)"},{"key":"7_CR22","volume-title":"Proc. 26th Intl. Conf. on Softw. Eng.","author":"J. Aldrich","year":"2002","unstructured":"Aldrich, J., Chambers, C., Notkin, D.: Archjava: Connecting software architecture to implementation. In: Proc. 26th Intl. Conf. on Softw. Eng., Orlando, FL, USA. ACM, New York (2002)"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Spitznagel, B., Garlan, D.: A compositional formalization of connector wrappers. In: Proc. 2003 Intl. Conf. on Softw. Eng., Portland, Oregon (2003)","DOI":"10.1109\/ICSE.2003.1201216"},{"issue":"6","key":"7_CR24","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1109\/52.469760","volume":"12","author":"F.J. Linden van der","year":"1995","unstructured":"van der Linden, F.J., M\u00fcller, J.K.: Creating architectures with building blocks. IEEE Softw.\u00a012(6), 51\u201360 (1995)","journal-title":"IEEE Softw."},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Hirsch, D., Uchitel, S., Yankelevich, D.: Towards a periodic table of connectors. In: Proc. Third Intl. Conf. on Coordination Languages and Models, London, UK, p. 418 (1999)","DOI":"10.1007\/3-540-48919-3_32"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Mehta, N.R., Medvidovic, N., Phadke, S.: Towards a taxonomy of software connectors. In: Proc. 22nd Intl. Conf. on Softw. Eng., Limerick, Ireland, pp. 178\u2013187 (2000)","DOI":"10.1145\/337180.337201"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Garlan, D., Khersonsky, S., Kim, J.S.: Model checking publish-subscribe systems. In: Proc. 10th Intl. SPIN Workshop on Model Checking of Softw., Portland, Oregon (2003)","DOI":"10.1007\/3-540-44829-2_11"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Bradbury, J.S., Dingel, J.: Evaluating and improving the automatic analysis of implicit invocation systems. In: Proc. 11th ACM Symp. on Found. of Softw. Eng., Finland (2003)","DOI":"10.1145\/940071.940083"},{"key":"7_CR29","unstructured":"Zanolin, L., Ghezzi, C., Baresi, L.: An approach to model and validate publish\/subscribe architectures. In: Proc. Specification and Verification of Component-Based Systems, Helsinki, Finland, pp. 35\u201341 (2003)"},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"Giannakopoulou, D., Magee, J.: Fluent model checking for event-based systems. In: Proc. 9th European Softw. Eng. Conf. \/ 11th ACM SIGSOFT Intl. Symp. on Found. of Softw. Eng., Helsinki, Finland, pp. 257\u2013266 (2003)","DOI":"10.1145\/940071.940106"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"Childs, A., Greenwald, J., Ranganath, V.P., Deng, X., Dwyer, M.B., Hatcliff, J., Jung, G., Shanti, P., Singh, G.: Cadena: An integrated development environment for analysis, synthesis, and verification of component-based systems. In: Proc. of Fund. Approaches to Softw. Eng., 7th Intl. Conf., pp. 160\u2013164 (2004)","DOI":"10.1007\/978-3-540-24721-0_11"},{"key":"7_CR32","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1109\/ICSE.2004.1317444","volume-title":"Proc. 26th Intl. Conf. on Softw. Eng.","author":"M. Caporuscio","year":"2004","unstructured":"Caporuscio, M., Inverardi, P., Pelliccione, P.: Compositional verification of middleware-based software architecture descriptions. In: Proc. 26th Intl. Conf. on Softw. Eng., Washington, DC, USA, pp. 221\u2013230. IEEE Computer Society Press, Los Alamitos (2004)"},{"issue":"3","key":"7_CR33","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1145\/131736.131744","volume":"1","author":"K.J. Sullivan","year":"1992","unstructured":"Sullivan, K.J., Notkin, D.: Reconciling environment integration and software evolution. ACM Trans. Softw. Eng. Methodol.\u00a01(3), 229\u2013268 (1992)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"7_CR34","first-page":"403","volume-title":"Formal Methods for Distributed Processing \u2013 A Survey of Object-Oriented Approaches","author":"F. Achermann","year":"2001","unstructured":"Achermann, F., Lumpe, M., Schneider, J.G., Nierstrasz, O.: Piccola \u2013 a small composition language. In: Bowman, H., Derrick, J. (eds.) Formal Methods for Distributed Processing \u2013 A Survey of Object-Oriented Approaches, pp. 403\u2013426. Cambridge University Press, Cambridge (2001)"},{"key":"7_CR35","doi-asserted-by":"crossref","unstructured":"Medvidovic, N., Rosenblum, D.S., Taylor, R.N.: A language and environment for architecture-based software development and evolution. In: Proc. 21st Intl. Conf. on Soft. Eng., Los Angeles, pp. 44\u201353 (1999)","DOI":"10.1145\/302405.302410"},{"key":"7_CR36","doi-asserted-by":"crossref","unstructured":"van der Hoek, A., Mikic-Rakic, M., Roshandel, R., Medvidovic, N.: Taming architectural evolution. In: Inverardi, P. (ed.) Proc. 8th European Softw. Eng. Conf.\/ 9th Symp. on the Found. of Softw. Eng., Vienna, pp. 1\u201310 (2001)","DOI":"10.1145\/503209.503211"}],"container-title":["Lecture Notes in Computer Science","Component-Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11783565_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:18:16Z","timestamp":1619507896000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11783565_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540356288","9783540356295"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/11783565_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}