{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:05:16Z","timestamp":1725563116000},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642151132"},{"type":"electronic","value":"9783642151149"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-15114-9_4","type":"book-chapter","created":{"date-parts":[[2010,8,27]],"date-time":"2010-08-27T08:47:53Z","timestamp":1282898873000},"page":"8-23","source":"Crossref","is-referenced-by-count":2,"title":["An ADL-Approach to Specifying and Analyzing Centralized-Mode Architectural Connection"],"prefix":"10.1007","author":[{"given":"Guoxin","family":"Su","sequence":"first","affiliation":[]},{"given":"Mingsheng","family":"Ying","sequence":"additional","affiliation":[]},{"given":"Chengqi","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Garlan, D., Shaw, M.: An introduction to software architecture. Technical report, Pittsburgh, PA, USA (1994)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Sifakis, J.: A framework for component-based construction. In: Proceedings of the 3rd IEEE International Conference on Software Engineering and Formal Methods (2005)","DOI":"10.1109\/SEFM.2005.3"},{"issue":"1","key":"4_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.: 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"},{"issue":"3","key":"4_CR4","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"},{"issue":"3","key":"4_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/986710.986728","volume":"29","author":"F. Oquendo","year":"2004","unstructured":"Oquendo, F.: \u03c0-ADL: an architecture description language based on the higher-order typed \u03c0-calculus for specifying dynamic and mobile software architectures. ACM SIGSOFT Software Engineering Notes\u00a029(3), 1\u201314 (2004)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"3","key":"4_CR6","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/j.scico.2008.03.001","volume":"71","author":"M. Tivoli","year":"2008","unstructured":"Tivoli, M., Inverardi, P.: Failure-free coordinators synthesis for component-based architectures. Science of Compututer Programming\u00a071(3), 181\u2013212 (2008)","journal-title":"Science of Compututer Programming"},{"issue":"1","key":"4_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Information and Computation\u00a0100(1), 1\u201377 (1992)","journal-title":"Information and Computation"},{"issue":"4","key":"4_CR8","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1145\/606612.606614","volume":"11","author":"M. Bernardo","year":"2002","unstructured":"Bernardo, M., Ciancarini, P., Donatiello, L.: Architecting families of software systems with process algebras. ACM Transactions on Software Engineering and Methodology\u00a011(4), 386\u2013426 (2002)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"3","key":"4_CR9","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"},{"issue":"2-3","key":"4_CR10","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/j.tcs.2004.10.043","volume":"335","author":"A. Aldini","year":"2005","unstructured":"Aldini, A., Bernardo, M.: On the usability of process algebra: An architectural view. Theoretical Computer Science\u00a0335(2-3), 281\u2013329 (2005)","journal-title":"Theoretical Computer Science"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying distributed software architectures. In: Proceedings of the 5th European Software Engineering Conference, pp. 137\u2013153 (1995)","DOI":"10.1007\/3-540-60406-5_12"},{"issue":"2","key":"4_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1118537.1118541","volume":"31","author":"R. Mateescu","year":"2006","unstructured":"Mateescu, R., Oquendo, F.: \u03c0-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures. ACM SIGSOFT Software Engineering Notes\u00a031(2), 1\u201319 (2006)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"4_CR13","volume-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, NJ (1996)"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Spitznagel, B., Garlan, D.: A compositional formalization of connector wrappers. In: Proceedings of the 25th International Conference on Software Engineering (2003)","DOI":"10.1109\/ICSE.2003.1201216"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Giesecke, S.: Taxonomy of architectural style usage. In: Proceedings of the 2006 Conference on Pattern Languages of Programs (2006)","DOI":"10.1145\/1415472.1415510"},{"key":"4_CR16","volume-title":"\u03c0-calculus: A Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: \u03c0-calculus: A Theory of Mobile Processes. Cambridge University Press, NY (2001)"},{"key":"4_CR17","volume-title":"Unified Modeling Language User Guide","author":"G. Booch","year":"2005","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: Unified Modeling Language User Guide, 2nd edn. Addison-Wesley Professional, Reading (2005)","edition":"2"},{"key":"4_CR18","volume-title":"The Object Constraint Language: Getting Your Models Ready for MDA","author":"J. Warmer","year":"2003","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA. Addison-Wesley, Boston (2003)"},{"issue":"1","key":"4_CR19","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/504087.504088","volume":"11","author":"N. Medvidovic","year":"2002","unstructured":"Medvidovic, N., Rosenblum, D.S., Redmiles, D.F., Robbins, J.E.: Modeling software architectures in the unified modeling language. ACM Transaction on Software Engineering Methodology\u00a011(1), 2\u201357 (2002)","journal-title":"ACM Transaction on Software Engineering Methodology"}],"container-title":["Lecture Notes in Computer Science","Software Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15114-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,19]],"date-time":"2019-03-19T03:38:33Z","timestamp":1552966713000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15114-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642151132","9783642151149"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15114-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}