{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T05:26:48Z","timestamp":1738387608832,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540855705"},{"type":"electronic","value":"9783540855712"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-85571-2_12","type":"book-chapter","created":{"date-parts":[[2008,8,25]],"date-time":"2008-08-25T07:58:47Z","timestamp":1219651127000},"page":"273-297","source":"Crossref","is-referenced-by-count":2,"title":["Plug-and-Play Architectural Design and Verification"],"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":"12_CR1","first-page":"187","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, May 2002, pp. 187\u2013197. ACM Press, New York (2002)"},{"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)","key":"12_CR2","DOI":"10.1145\/258077.258078"},{"key":"12_CR3","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."},{"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)","key":"12_CR4","DOI":"10.1007\/0-306-47005-5_6"},{"doi-asserted-by":"crossref","unstructured":"Bollig, B., Leucker, M.: Modeling, specifying, and verifying message passing systems. In: Proceedings of the Symposium on Temporal Representation and Reasoning (TIME 2001), pp. 240\u2013248 (2001)","key":"12_CR5","DOI":"10.1109\/TIME.2001.930723"},{"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., pp. 78\u201387 (September 2003)","key":"12_CR6","DOI":"10.1145\/940071.940083"},{"issue":"4","key":"12_CR7","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"},{"issue":"2","key":"12_CR8","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1145\/1061254.1061258","volume":"14","author":"E.M. Dashofy","year":"2005","unstructured":"Dashofy, E.M., van der Hoek, A., Taylor, R.N.: A comprehensive approach for the development of modular software architecture description languages. ACM Trans. Softw. Eng. Meth.\u00a014(2), 199\u2013245 (2005)","journal-title":"ACM Trans. Softw. Eng. Meth."},{"issue":"4","key":"12_CR9","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/948176.948183","volume":"18","author":"M. Day","year":"1983","unstructured":"Day, M.: Occam. SIGPLAN Notices\u00a018(4), 69\u201379 (1983)","journal-title":"SIGPLAN Notices"},{"issue":"4","key":"12_CR10","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."},{"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 (April 1995)","key":"12_CR11","DOI":"10.1145\/225014.225031"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-44829-2_11","volume-title":"Model Checking Software","author":"D. Garlan","year":"2003","unstructured":"Garlan, D., Khersonsky, S., Kim, J.S.: Model checking publish-subscribe systems. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol.\u00a02648, pp. 166\u2013180. Springer, Heidelberg (2003)"},{"key":"12_CR13","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":"12_CR14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5712.001.0001","volume-title":"PVM: Parallel Virtual Machine, A User\u2019s Guide and Tutorial for Networked Parallel Computing","author":"A. Geist","year":"1994","unstructured":"Geist, A., Beguelin, A., Dongarra, J., Wiang, W., Manchek, R., Sunderam, V.: PVM: Parallel Virtual Machine, A User\u2019s Guide and Tutorial for Networked Parallel Computing. MIT Press, Cambridge (1994)"},{"doi-asserted-by":"crossref","unstructured":"Gensler, T., Lowe, W.: Correct composition of distributed systems. In: Tech. of Object-Oriented Languages and Systems, pp. 296\u2013305 (1999)","key":"12_CR15","DOI":"10.1109\/TOOLS.1999.796497"},{"key":"12_CR16","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)"},{"key":"12_CR17","volume-title":"The Spin Model Checker","author":"G.J. Holzmann","year":"2004","unstructured":"Holzmann, G.J.: The Spin Model Checker. Addison-Wesley, Boston (2004)"},{"issue":"2","key":"12_CR18","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":"12_CR19","doi-asserted-by":"publisher","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, Dordrecht (1993)"},{"doi-asserted-by":"crossref","unstructured":"Kuz, I., Liu, Y., Gorton, I., Heiser, G.: CAmkES: A component model for secure microkernel-based embedded systems. The Journal of Systems and Software (2006)","key":"12_CR20","DOI":"10.1016\/j.jss.2006.08.039"},{"doi-asserted-by":"crossref","unstructured":"Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying distributed software architectures. In: Proc. 5th European Softw. Eng. Conf., Sitges, Spain, pp. 137\u2013153 (September 1995)","key":"12_CR21","DOI":"10.1007\/3-540-60406-5_12"},{"key":"12_CR22","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)"},{"key":"12_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1007\/3-540-45022-X_41","volume-title":"Automata, Languages and Programming","author":"B. Meenakshi","year":"2000","unstructured":"Meenakshi, B., Ramanujam, R.: Reasoning about message passing in finite state environments. In: Welzl, E., Montanari, U., Rolim, J. (eds.) ICALP 2000. LNCS, vol.\u00a01853, pp. 487\u2013498. Springer, Heidelberg (2000)"},{"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)","key":"12_CR24","DOI":"10.1109\/ASE.2004.1342767"},{"issue":"4","key":"12_CR25","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"},{"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)","key":"12_CR26","DOI":"10.1109\/ICSE.2003.1201218"},{"key":"12_CR27","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":"12_CR28","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)"},{"doi-asserted-by":"crossref","unstructured":"Spitznagel, B., Garlan, D.: A compositional approach for construct connector. In: Proc. Working IEEE\/IFIP Conf. on Soft. Architecture (WICSA 2001), Royal Netherlands Academy of Arts and Sciences Amsterdam, The Netherlands, pp. 148\u2013157 (August 2001)","key":"12_CR29","DOI":"10.1109\/WICSA.2001.948424"},{"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, pp. 374\u2013384 (2003)","key":"12_CR30","DOI":"10.1109\/ICSE.2003.1201216"},{"doi-asserted-by":"crossref","unstructured":"Sullivan, I.K., K.J., Notkin, D.: Evaluating the mediator method: Prism as a case study. In: IEEE Transactions on Software Engineering, vol.\u00a022, pp. 563\u2013579 (August 1996)","key":"12_CR31","DOI":"10.1109\/32.536957"},{"issue":"3","key":"12_CR32","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."},{"issue":"6","key":"12_CR33","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."},{"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 (2005)","key":"12_CR34"},{"key":"12_CR35","volume-title":"Proceedings of the Fifth International Workshop on Source Code Analysis and Manipulation","author":"H. Zhang","year":"2005","unstructured":"Zhang, H., Bradbury, J.S., Cordy, J.R., Dingel, J.: Implementation and verification of implicit-invocation systems using source transformation. In: Proceedings of the Fifth International Workshop on Source Code Analysis and Manipulation. IEEE Computer Society, Los Alamitos (2005)"}],"container-title":["Lecture Notes in Computer Science","Architecting Dependable Systems V"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85571-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T17:22:39Z","timestamp":1738344159000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85571-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540855705","9783540855712"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85571-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}