{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,26]],"date-time":"2026-08-26T02:34:40Z","timestamp":1787711680689,"version":"build-2784847793"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540418634","type":"print"},{"value":"9783540453147","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45314-8_8","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T12:01:23Z","timestamp":1194955283000},"page":"91-108","source":"Crossref","is-referenced-by-count":21,"title":["A CSP View on UML-RT Structure Diagrams"],"prefix":"10.1007","author":[{"given":"Clemens","family":"Fischer","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ernst-R\u00fcdiger","family":"Olderog","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Heike","family":"Wehrheim","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2001,3,23]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"R. Allen and D. Garlan. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology, 1997.","DOI":"10.1145\/258077.258078"},{"key":"8_CR2","unstructured":"G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language user guide. Addison Wesley, 1999."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"T. Clark and A. Evans. Foundations of the unified modeling language. In Northern Formal Methods Workshop, Electronic Workshops in Computing. Springer, 1998.","DOI":"10.14236\/ewic\/FA1997.6"},{"key":"8_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/BFb0056043","volume-title":"ZUM\u201998: The Z Formal Specification Notation","author":"S. Dupuy","year":"1998","unstructured":"S. Dupuy, Y. Ledru, and M. Chabre-Peccoud. Translating the OMT dynamic model into Object-Z. In J.P. Bowen, A. Fett, and M.G. Hinchey, editors, ZUM\u201998: The Z Formal Specification Notation, volume 1493 of Lecture Notes in Computer Science, pages 347\u2013366. Springer, 1998."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"C. Fischer. CSP-OZ: A combination of Object-Z and CSP. In H. Bowman and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS\u2019 97), volume 2, pages 423\u2013438. Chapman & Hall, 1997.","DOI":"10.1007\/978-0-387-35261-9_29"},{"key":"8_CR6","unstructured":"C. Fischer. Combination and Implementation of Processes and Data: From CSPOZ to Java. PhD thesis, Bericht Nr. 2\/2000, University of Oldenburg, April 2000."},{"key":"8_CR7","series-title":"Lect Notes Comput Sci","volume-title":"UML\u201999: The Modified Modeling Language-Beyond the Standard","year":"1999","unstructured":"R. France and B. Rumpe, editors. UML\u201999: The Modified Modeling Language-Beyond the Standard, volume 1723 of Lecture Notes in Computer Science. Springer, 1999."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"R. Grosu, M. Broy, B. Selic, and G. Stefanescu. What is behind UML-RT? In Behavioural Specifications of business and systems. Kluwer, 1999.","DOI":"10.1007\/978-1-4615-5229-1_6"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"8_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/3-540-46852-8_7","volume-title":"UML\u201999: The Unified Modelling Language-Beyond the Standard","author":"S.-K. Kim","year":"1999","unstructured":"S.-K. Kim and D. Carrington. Formalizing the UML class diagram using Object-Z. In R. France and B. Rumpe, editors, UML\u201999: The Unified Modelling Language-Beyond the Standard, volume 1723 of Lecture Notes in Computer Science, pages 83\u201398. Springer, 1999."},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"J. Magee, N. Dulay, S. Eisenbach, and J. Kramer. Specifying distributed software architectures. In ESEC\u2019 95: European Software Engineering Conference, 1995.","DOI":"10.1007\/3-540-60406-5_12"},{"key":"8_CR12","unstructured":"R. Milner. Communicating and Mobile Systems: The \u03c0-Calculus. Cambridge University Press, 1999."},{"key":"8_CR13","unstructured":"Object Management Group. OMG Unified Modeling Language Specification, June 1999. version 1.3."},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"E.-R. Olderog and A.P. Ravn. Documenting design refinement. In M.P.E. Heimdahl, editor, Proc. of the Third Workshop on Formal Methods in Software Practice, pages 89-100. ACM, 2000.","DOI":"10.1145\/349360.351142"},{"key":"8_CR15","unstructured":"A. W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall, 1997."},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"B. Selic and J. Rumbaugh. Using UML for modeling complex real-time systems. Technical report, ObjecTime, 1998.","DOI":"10.1007\/BFb0057795"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"G. Smith. The Object-Z Specification Language. Kluwer Academic Publisher, 2000.","DOI":"10.1007\/978-1-4615-5265-9"},{"key":"8_CR18","unstructured":"J. M. Spivey. The Z Notation: A Reference Manual. Prentice-Hall International Series in Computer Science, 2nd edition, 1992."},{"key":"8_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46428-X_23","volume-title":"FASE 2000: Fundamental Aspects of Software Engineering","author":"H. Wehrheim","year":"2000","unstructured":"H. Wehrheim. Specification of an automatic manufacturing system-a case study in using integrated formal methods. In T. Maibaum, editor, FASE 2000: Fundamental Aspects of Software Engineering, number 1783 in LNCS. Springer, 2000."}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45314-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T14:01:16Z","timestamp":1684072876000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45314-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418634","9783540453147"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45314-8_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}