{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:17:36Z","timestamp":1725455856288},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627173"},{"type":"electronic","value":"9783540684909"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0027297","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:00:45Z","timestamp":1132383645000},"page":"347-368","source":"Crossref","is-referenced-by-count":1,"title":["Analyzing and refining an architectural style"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Ciancarini","sequence":"first","affiliation":[]},{"given":"Cecilia","family":"Mascolo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"issue":"4","key":"18_CR1","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1145\/226241.226244","volume":"4","author":"G. Abowd","year":"1995","unstructured":"G. Abowd, R. Allen, and D. Garlan. Formalizing Style to Understand Descriptions of Software Architecture. ACM Transactions on Software Engineering and Methodology, 4(4):319\u2013364, October 1995.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"18_CR2","first-page":"221","volume-title":"A Message Passing System. An example of combining Z and CSP","author":"M. Benjamin","year":"1989","unstructured":"M. Benjamin. A Message Passing System. An example of combining Z and CSP. In J. Nicholls, editor, Proc. 4th Z Users Workshop (ZUM89), Workshops in Computing, pages 221\u2013228, Oxford, 1989. Springer-Verlag, Berlin."},{"key":"18_CR3","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"G. Berry and G. Boudol. The Chemical Abstract Machine. Theoretical Computer Science, 96:217\u2013248, 1992.","journal-title":"Theoretical Computer Science"},{"key":"18_CR4","series-title":"volume 803 of Lecture Notes in Computer Science","first-page":"92","volume-title":"A Decade of Concurrency","author":"G. Boudol","year":"1993","unstructured":"G. Boudol. Some Chemical Abstract Machines. In J. deBakker, W. deRoever, and G. Rozenberg, editors, A Decade of Concurrency, volume 803 of Lecture Notes in Computer Science, pages 92\u2013123. Springer-Verlag, Berlin, 1993."},{"key":"18_CR5","first-page":"185","volume-title":"Towards Correct Executable Semantics for Z","author":"P. Breuer","year":"1994","unstructured":"P. Breuer and J. Bowen. Towards Correct Executable Semantics for Z. In J. Bowen and J. Hall, editors, Proc. 8th Z Users Workshop (ZUM94), Workshops in Computing, pages 185\u2013212, Cambridge, 1994. Springer-Verlag, Berlin."},{"key":"18_CR6","unstructured":"S. Brien and J. Nicholls. Z Base Standard, November 1992. Programming Research Group."},{"key":"18_CR7","unstructured":"K. M. Chandy and J. Misra. Parallel Programming Design. Addison-Wesley, 1988."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"P. Ciancarini, S. Cimato, and C. Mascolo. Engineering Formal Requirements: an Analysis and Testing Method for Z Documents. Annals of Software Engineering, (to appear), 1997.","DOI":"10.1023\/A:1018965316985"},{"key":"18_CR9","volume-title":"Formal Specification of Advanced AI Architectures","author":"I. Craig","year":"1991","unstructured":"I. Craig. Formal Specification of Advanced AI Architectures. Ellis Horwood, Chichester, 1991."},{"issue":"4","key":"18_CR10","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1145\/201024.201026","volume":"3","author":"C. Creveuil","year":"1994","unstructured":"C. Creveuil and G. Roman. Formal Specification and Design of a Message Router. ACM Transactions on Software Engineering and Methodology, 3(4):271\u2013307, October 1994.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"H. Cunningham and Y. Cai. Specification and Refinement of a Message Router. In Proc. 7th IEEE Int. Workshop on Sw Specification and Design, pages 20\u201329. IEEE Computer Society Press, December 1993.","DOI":"10.1109\/IWSSD.1993.315518"},{"key":"18_CR12","first-page":"366","volume-title":"volume 873 of Lecture Notes in Computer Science","author":"A. Evans","year":"1994","unstructured":"A. Evans. Specifying and Verifying Concurrent Systems Using Z. In M. Bertran, T. Denvir, and M. Naftalin, editors, Proc. FME'94 Industrial Benefits of Formal Methods, volume 873 of Lecture Notes in Computer Science, pages 366\u2013380. Springer-Verlag, Berlin, 1994."},{"key":"18_CR13","first-page":"269","volume-title":"Visualizing Concurrent Z Specifications","author":"A. Evans","year":"1994","unstructured":"A. Evans. Visualizing Concurrent Z Specifications. In J. Bowen and J. Hall, editors, Proc. 8th Z Users Workshop (ZUM94), Workshops in Computing, pages 269\u2013281, Cambridge, 1994. Springer-Verlag, Berlin."},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"D. Garlan and M. Shaw. An Introduction to Software Architecture. In V. Ambriola and G. Tortora, editors, Advances in Software Engineering and Knowledge Engineering, pages 1\u201340. World Scientific Publishing Co., 1992.","DOI":"10.1142\/9789812798039_0001"},{"key":"18_CR15","first-page":"173","volume-title":"A Formal Method Integrating Petri Nets with Z","author":"X. He","year":"1995","unstructured":"X. He. PZ Nets: A Formal Method Integrating Petri Nets with Z. In Proc. 7th Int. Conf. on Software Engineering and Knowledge Engineering, pages 173\u2013180, Rockville, Maryland, 1995. Knowledge Systems Institute."},{"issue":"4","key":"18_CR16","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1109\/32.385973","volume":"21","author":"P. Inverardi","year":"1995","unstructured":"P. Inverardi and A. Wolf. Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model. IEEE Transactions on Software Engineering, 21(4):373\u2013386, April 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"18_CR17","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1145\/141874.141884","volume":"17","author":"D. Perry","year":"1992","unstructured":"D. Perry and A. Wolf. Foundations for the Study of Software Architecture. ACM SIGSOFT Software Engineering Notes, 17(4):40\u201352, October 1992.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"18_CR18","series-title":"volume 1000 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/BFb0015251","volume-title":"Computer Science Today","author":"M. Shaw","year":"1995","unstructured":"M. Shaw and D. Garlan. Formulations and Formalisms in Software Architecture. In J. vanLeeuwen, editor, Computer Science Today, volume 1000 of Lecture Notes in Computer Science, pages 307\u2013323. Springer-Verlag, Berlin, 1995."},{"key":"18_CR19","unstructured":"J. Spivey. Understanding Z. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1988."}],"container-title":["Lecture Notes in Computer Science","ZUM '97: The Z Formal Specification Notation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027297","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T01:55:02Z","timestamp":1626746102000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027297"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627173","9783540684909"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0027297","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}