{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:25:49Z","timestamp":1742401549361},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540220008"},{"type":"electronic","value":"9783540247692"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24769-2_2","type":"book-chapter","created":{"date-parts":[[2010,8,4]],"date-time":"2010-08-04T04:24:20Z","timestamp":1280895860000},"page":"10-24","source":"Crossref","is-referenced-by-count":12,"title":["Formal Analysis of Architectural Patterns"],"prefix":"10.1007","author":[{"given":"Mauro","family":"Caporuscio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","first-page":"1","volume-title":"Proc. of the International Congress of Logic, Methodology and Philosophy of Science","author":"J.R. Buchi","year":"1960","unstructured":"Buchi, J.R.: On a decision method in restricted second order arithmetic. In: Proc. of the International Congress of Logic, Methodology and Philosophy of Science, pp. 1\u201311. Stanford University Press, Stanford (1960)"},{"key":"2_CR2","unstructured":"Caporuscio, M.: CoMETA - Mobility support in the Siena publish\/subscribe middleware. Master\u2019s thesis, Universit\u00e0 degli Studi dell\u2019Aquila - Dipartimento di Informatica, L\u2019Aquila - Italy (March 2002)"},{"issue":"12","key":"2_CR3","doi-asserted-by":"publisher","first-page":"1059","DOI":"10.1109\/TSE.2003.1265521","volume":"29","author":"M. Caporuscio","year":"2003","unstructured":"Caporuscio, M., Carzaniga, A., Wolf, A.L.: Design and evaluation of a support service for mobile, wireless publish\/subscribe applications. IEEE Transactions on Software Engineering\u00a029(12), 1059\u20131071 (2003)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Caporuscio, M., Inverardi, P., Pelliccione, P.: Compositional verification of middleware-based software architecture descriptions. In: Proceedings of the International Conference on Software Engineering (ICSE 2004), Edimburgh (2004) (to appear)","DOI":"10.1109\/ICSE.2004.1317444"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Carzaniga, A., Di Nitto, E., Rosenblum, D.S., Wolf, A.L.: Issues in supporting event-based architectural styles. In: 3rd International Software Architecture Workshop, Orlando, Florida (November 1998)","DOI":"10.1145\/288408.288413"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Carzaniga, A., Rosenblum, D.S., Wolf, A.L.: Achieving Scalability and Expressiveness in an Internet-Scale Event Notification Service. In: Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, Portland, OR, July 2000, pp. 219\u2013227 (2000)","DOI":"10.1145\/343477.343622"},{"issue":"3","key":"2_CR7","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1145\/380749.380767","volume":"19","author":"A. Carzaniga","year":"2001","unstructured":"Carzaniga, A., Rosenblum, D.S., Wolf, A.L.: Design and Evaluation of a Wide-Area Event Notification Service. ACM Transactions on Computer Systems\u00a019(3), 332\u2013383 (2001)","journal-title":"ACM Transactions on Computer Systems"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/3-540-36257-6_6","volume-title":"Developing an Infrastructure for Mobile and Wireless Systems","author":"A. Carzaniga","year":"2002","unstructured":"Carzaniga, A., Wolf, A.L.: Content-based networking: A new communication infrastructure. In: K\u00f6nig-Ries, B., Makki, K., Makki, S.A.M., Pissinou, N., Scheuermann, P. (eds.) IMWS 2001. LNCS, vol.\u00a02538, pp. 59\u201368. Springer, Heidelberg (2002)"},{"key":"2_CR9","volume-title":"Model Checking","author":"E.M. Clarke","year":"2001","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Massachusetts Institute of Technology (2001)"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-45236-2_8","volume-title":"FME 2003: Formal Methods","author":"D. Compare","year":"2003","unstructured":"Compare, D., Inverardi, P., Pelliccione, P., Sebastiani, A.: Integrating modelchecking architectural analysis and validation in a real software life-cycle. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 114\u2013132. Springer, Heidelberg (2003)"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Fugetta, A., Picco, G., Vigna, G.: Understanding Code Mobility. IEEE Transaction on Software Engineering\u00a024(5) (1998)","DOI":"10.1109\/32.685258"},{"key":"2_CR12","volume-title":"Proceedings of SIGSOFT 1994: The Second ACM SIGSOFT Symposium on the Foundations of Software Engineering","author":"D. Garlan","year":"1994","unstructured":"Garlan, D., Allen, R., Ockerbloom, J.: Exploiting style in architectural design environments. In: Proceedings of SIGSOFT 1994: The Second ACM SIGSOFT Symposium on the Foundations of Software Engineering, ACM Press, New York (December 1994)"},{"key":"2_CR13","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":"2_CR14","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (September 2003)"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Muccini, H., Pelliccione, P.: Automated Check of Architectural Models Consistency using SPIN. In: The Automated Software Engineering Conference Proceedings (ASE 2001), San Diego, California (November 2001)","DOI":"10.1109\/ASE.2001.989826"},{"key":"2_CR16","unstructured":"Inverardi, P., Muccini, H., Pelliccione, P.: Charmy: A framework for model based consistency checking. Technical report, Department of Computer Science, University of L\u2019Aquila (January 2003)"},{"key":"2_CR17","unstructured":"Inverardi, P., Muccini, H., Pelliccione, P.: Checking Consistency Between Architectural Models Using SPIN. In: Proc. the First Int. Workshop From Software Requirements to Architectures, STRAW 2001 (year 2001)"},{"key":"2_CR18","unstructured":"Object Management Group (OMG). Unified Modeling Language (UML) Version 1.5 (March 2003), \n                    \n                      http:\/\/www.omg.org\/uml\/"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proc. 18th IEEE Symposium on Foundation of Computer Science, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"2_CR20","first-page":"241","volume-title":"The Future of Software Engineering","author":"G.-C. Roman","year":"2000","unstructured":"Roman, G.-C., Picco, G.P., Murphy, A.L.: Software Engineering for Mobility: A Roadmap. In: Finkelstein, A. (ed.) The Future of Software Engineering, pp. 241\u2013258. ACM Press, New York (2000) (invited contribution)"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Shaw, M., Clemens, P.: Toward boxology: preliminary classification of architectural styles. In: Proc. on the second International Software Architecture Workshop (ISAW2), S. Francisco, CA USA (October 1996)","DOI":"10.1145\/243327.243352"},{"key":"2_CR22","unstructured":"Stafford, J.A., Richardson, D.J., Wolf, A.L.: Chaining: A software architecture dependence analysis technique. Technical Report CU-CS-845-97, Department of Computer Science, University of Colorado, Boulder, Colorado (September 1997)"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Stafford, J.A., Wolf, A.L.: Architecture-level dependence analysis in support of software maintenance. In: Third International Software Architecture Workshop, Orlando, Florida, November 1998, pp. 129\u2013132 (1998)","DOI":"10.1145\/288408.288441"},{"key":"2_CR24","unstructured":"Zhao, J.: Software Architecture Slicing. In: Proceedings of the 14th Annual Conference of Japan Society for Software Science and Technology (1997)"}],"container-title":["Lecture Notes in Computer Science","Software Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24769-2_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:09:05Z","timestamp":1620011345000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24769-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540220008","9783540247692"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24769-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}