{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:20:56Z","timestamp":1737436856302,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665878"},{"type":"electronic","value":"9783540481195"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48119-2_9","type":"book-chapter","created":{"date-parts":[[2007,8,29]],"date-time":"2007-08-29T01:23:00Z","timestamp":1188350580000},"page":"116-133","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Formalization of Software Architecture"],"prefix":"10.1007","author":[{"given":"John","family":"Herbert","sequence":"first","affiliation":[]},{"given":"Bruno","family":"Dutertre","sequence":"additional","affiliation":[]},{"given":"Robert","family":"Riemenschneider","sequence":"additional","affiliation":[]},{"given":"Victoria","family":"Stavridou","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Hubert Garavel. Open\/caesar: An open software architecture for verification, simulation, and testing. In Proceedings of the First International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS\u201998, March 1998.","DOI":"10.1007\/BFb0054165"},{"key":"9_CR2","unstructured":"D. Garlan, R. T. Monroe, and D. Wile. Acme: An architectural description interchange language. In Proceedings of CASCON\u2019 97, November 1997."},{"key":"9_CR3","unstructured":"David Garlan, Robert T. Monroe, and David Wile. Acme: An architecture description interchange language. In Proceedings of CASCON\u201997, pages 169\u2013183, Toronto, Ontario, November 1997."},{"key":"9_CR4","unstructured":"David Garlan and Zhenyu Wang. A case study in software architecture interchange. Submitted for publication to the Workshop on Software and Performance 98, March 1998."},{"key":"9_CR5","unstructured":"John Herbert. Abstraction for architectural proof. SRI CSL Dependable System Archiecture Group, Working Paper, December 1998."},{"key":"9_CR6","unstructured":"V. Issarny and C. Bidan. Aster: A framework for sound customization of distributed runtime systems. In Proceedings of the Sixteenth IEEE International Conference on Distributed Computing Systems, 1996."},{"issue":"4","key":"9_CR7","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1109\/32.385971","volume":"21","author":"D. C. Luckham","year":"1995","unstructured":"D. C. Luckham, L. M. Augustin, J. J. Kenney, J. Vera, D. Bryan, and W. Mann. Specification and analysis of system architecture using Rapide. IEEE Transactions on Software Engineering, 21(4):314\u2013335, April 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Modelling Darwin in the \u03c0-Calculus","author":"J. Magee","year":"1995","unstructured":"J. Magee, S. Eisenbach, and J. Kramer. Modelling Darwin in the \u03c0-Calculus, volume 938 of LNCS. Springer-Verlag, 1995."},{"key":"9_CR9","unstructured":"Jose Meseguer. Semantic foundations for compositions. DARPA ITO Project Summary, 1998."},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"M. Moriconi, X. Qian, R. A. Riemenschneider, and L. Gong. Secure software architectures. In Proceedings of the 1997 IEEE Symposium on Security and Privacy, pages 84\u201393, May 1997. Available at http:\/\/www.csl.sri.com\/sadl\/sp97.ps.gz .","DOI":"10.1109\/SECPRI.1997.601320"},{"key":"9_CR11","unstructured":"M. Moriconi and R. A. Riemenschneider. Introduction to SADL 1.0: A language for specifying software architecture hierarchies. Technical Report SRI-CSL-97-01, Computer Science Laboratory, SRI International, March 1997. Available at http:\/\/www.csl.sri.com\/sadl\/sadl-intro.ps.gz ."},{"key":"9_CR12","series-title":"Lecture Notes in Artificial Intelligence","first-page":"748","volume-title":"11th International Conference on Automated Deduction (CADE)","author":"S. Owre","year":"1992","unstructured":"S. Owre, J. M. Rushby, and N. Shankar. PVS: A prototype verification system. In Deepak Kapur, editor, 11th International Conference on Automated Deduction (CADE), volume 607 of Lecture Notes in Artificial Intelligence, pages 748\u2013752, Saratoga, NY, June 1992. Springer-Verlag."},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"R. A. Riemenschneider. Checking the correctness of architectural transformation steps via proof-carrying architectures. In Proceedings of SIGSOFT\u2019 98, 1998. Available at http:\/\/www.csl.sri.com\/sadl\/pca.ps.gz .","DOI":"10.1007\/978-0-387-35563-4_5"},{"key":"9_CR14","series-title":"Technical Report ICS-TR-97-35","volume-title":"Integrating architecture description languages with a standard design method","author":"J. E. Robbins","year":"1997","unstructured":"Jason E. Robbins, Nenad Medvidovic, David F. Redmiles, and David S. Rosenblum. Integrating architecture description languages with a standard design method. Technical Report ICS-TR-97-35, University of California, Irvine, Department of Information and Computer Science, aug 1997."},{"issue":"4","key":"9_CR15","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1109\/32.385970","volume":"21","author":"M. Shaw","year":"1995","unstructured":"M. Shaw, R. DeLine, D. V. Klein, T.L. Ross, D. M. Young, and G. Zelesnik. Abstractions for software architecture and tools to support them. IEEE Transactions on Software Engineering, 21(4):314\u2013335, April 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Mary Shaw and Paul Clements. A field guide to boxology: Preliminary classification of architectural styles for software systems. In Proceedings of COMPSAC97, pages 6\u201313, August 1997.","DOI":"10.1109\/CMPSAC.1997.624691"},{"key":"9_CR17","unstructured":"X\/Open Company, Apex Plaza, Forbury Road, Reading, Berkshire RG1 1AX, U.K. Distributed Transaction Processing: Reference Model, November 1993."}],"container-title":["Lecture Notes in Computer Science","FM\u201999 \u2014 Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48119-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T18:27:29Z","timestamp":1737397649000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48119-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665878","9783540481195"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-48119-2_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"17 September 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}