{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:26:54Z","timestamp":1725470814437},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540356332"},{"type":"electronic","value":"9783540356363"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11784180_11","type":"book-chapter","created":{"date-parts":[[2006,9,26]],"date-time":"2006-09-26T10:12:21Z","timestamp":1159265541000},"page":"111-126","source":"Crossref","is-referenced-by-count":5,"title":["Model Transformations Incorporating Multiple Views"],"prefix":"10.1007","author":[{"given":"John","family":"Derrick","sequence":"first","affiliation":[]},{"given":"Heike","family":"Wehrheim","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/3-540-47884-1_13","volume-title":"Integrated Formal Methods","author":"C.. Bolton","year":"2002","unstructured":"Bolton, C., Davies, J.: Refinement in Object-Z and CSP. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol.\u00a02335, pp. 225\u2013244. Springer, Heidelberg (2002)"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1109\/WICSA.2004.1310699","volume-title":"4th Working IEEE\/IFIP Conference on Software Architecture (WICSA4)","author":"L. Baresi","year":"2004","unstructured":"Baresi, L., Heckel, R., Th\u00f6ne, S., Varro, D.: Style-Based Refinement of Dynamic Software Architectures. In: 4th Working IEEE\/IFIP Conference on Software Architecture (WICSA4), pp. 155\u2013164. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"11_CR3","volume-title":"Electronic Notes in Theoretical Computer Science","author":"P. Bottoni","year":"2003","unstructured":"Bottoni, P., Parisi-Presicce, F., Taentzer, G.: Coordinated distributed diagram transformation for software evolution. In: Heckel, R., Mens, T., Wermelinger, M. (eds.) Electronic Notes in Theoretical Computer Science, vol.\u00a072, Elsevier, Amsterdam (2003)"},{"key":"11_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0257-1","volume-title":"Refinement in Z and Object-Z","author":"J. Derrick","year":"2001","unstructured":"Derrick, J., Boiten, E.A.: Refinement in Z and Object-Z. Springer, Heidelberg (2001)"},{"issue":"2-3","key":"11_CR5","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/s00165-003-0007-4","volume":"15","author":"J. Derrick","year":"2003","unstructured":"Derrick, J., Boiten, E.A.: Relational concurrent refinement. Formal Aspects of Computing\u00a015(2-3), 182\u2013214 (2003)","journal-title":"Formal Aspects of Computing"},{"doi-asserted-by":"crossref","unstructured":"de Roever, W.-P., Engelhardt, K.: Data Refinement: Model-Oriented Proof Methods and their Comparison. CUP (1998)","key":"11_CR6","DOI":"10.1017\/CBO9780511663079"},{"issue":"1","key":"11_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00165-003-0002-9","volume":"15","author":"J. Derrick","year":"2003","unstructured":"Derrick, J., Smith, G.: Structural Refinement of Systems Specified in Object-Z and CSP. Formal Aspects of Computing\u00a015(1), 1\u201327 (2003)","journal-title":"Formal Aspects of Computing"},{"unstructured":"Formal Systems (Europe) Ltd. Failures-Divergence Refinement: FDR2 User Manual (October 1997)","key":"11_CR8"},{"key":"11_CR9","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/978-0-387-35261-9_29","volume-title":"Formal Methods for Open Object-Based Distributed Systems (FMOODS 1997)","author":"C. Fischer","year":"1997","unstructured":"Fischer, C.: CSP-OZ: A combination of Object-Z and CSP. In: Bowman, H., Derrick, J. (eds.) Formal Methods for Open Object-Based Distributed Systems (FMOODS 1997), vol.\u00a02, pp. 423\u2013438. Chapman and Hall, Boca Raton (1997)"},{"issue":"1","key":"11_CR10","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1142\/S0218194092000038","volume":"2","author":"A. Finkelstein","year":"1992","unstructured":"Finkelstein, A., Kramer, J., Nuseibeh, B., Finkelstein, L., Goedicke, M.: Viewpoints: A framework for integrating multiples perspectives in system development. International Journal of Software Engineering and Knowledge Engineering\u00a02(1), 31\u201358 (1992)","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-45314-8_8","volume-title":"Fundamental Approaches to Software Engineering","author":"C. Fischer","year":"2001","unstructured":"Fischer, C., Olderog, E.-R., Wehrheim, H.: A CSP view on UML-RT structure diagrams. In: Hussmann, H. (ed.) ETAPS 2001 and FASE 2001. LNCS, vol.\u00a02029, pp. 91\u2013108. Springer, Heidelberg (2001)"},{"key":"11_CR12","first-page":"315","volume-title":"Proceedings of the 1st International Conference on Integrated Formal Methods (IFM)","author":"C. Fischer","year":"1999","unstructured":"Fischer, C., Wehrheim, H.: Model-checking CSP-OZ specifications with FDR. In: Araki, K., Galloway, A., Taguchi, K. (eds.) Proceedings of the 1st International Conference on Integrated Formal Methods (IFM), pp. 315\u2013334. Springer, Heidelberg (1999)"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/BF01887207","volume":"1","author":"J. He","year":"1989","unstructured":"He, J.: Process simulation and refinement. Formal Aspects of Computing\u00a01, 229\u2013241 (1989)","journal-title":"Formal Aspects of Computing"},{"key":"11_CR14","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/BF01788563","volume":"3","author":"M.B. Josephs","year":"1988","unstructured":"Josephs, M.B.: A state-based approach to communicating processes. Distributed Computing\u00a03, 9\u201318 (1988)","journal-title":"Distributed Computing"},{"key":"11_CR16","first-page":"145","volume-title":"IEEE Symposium on Visual Languages and Formal Methods","author":"J. K\u00fcster","year":"2003","unstructured":"K\u00fcster, J., Heckel, R., Engels, G.: Defining and and Validating Transformations of UML Models. In: IEEE Symposium on Visual Languages and Formal Methods, pp. 145\u2013152. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"11_CR17","first-page":"186","volume-title":"EDOC 2003","author":"J. Koehler","year":"2003","unstructured":"Koehler, J., Hauser, R., Kapoor, S., Wu, F., Kumaran, S.: A Model-Driven Transformation Method. In: EDOC 2003, pp. 186\u2013197. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-540-48480-6_9","volume-title":"The Unified Modeling Language. \u00abUML\u00bb\u201998: Beyond the Notation","author":"K. Lano","year":"1999","unstructured":"Lano, K., Bicarregui, J.: Semantics and Transformations for UML Models. In: B\u00e9zivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol.\u00a01618, pp. 107\u2013119. Springer, Heidelberg (1999)"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-540-24756-2_15","volume-title":"Integrated Formal Methods","author":"M. M\u00f6ller","year":"2004","unstructured":"M\u00f6ller, M., Olderog, E.-R., Rasch, H., Wehrheim, H.: Linking CSP-OZ with UML and Java: A Case Study. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol.\u00a02999, pp. 267\u2013286. Springer, Heidelberg (2004)"},{"key":"11_CR20","volume-title":"Australian Software Engineering Conference (ASWEC 2004)","author":"T. McComb","year":"2004","unstructured":"McComb, T., Smith, G.: Architectural Design in Object-Z. In: Australian Software Engineering Conference (ASWEC 2004), IEEE Computer Society Press, Los Alamitos (2004)"},{"doi-asserted-by":"crossref","unstructured":"Mens, T., Tourw\u00e9, T.: A Survey of Software Refactoring. IEEE Transactions on Software Engineering\u00a030(2) (2004)","key":"11_CR21","DOI":"10.1109\/TSE.2004.1265817"},{"key":"11_CR22","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/j.scico.2004.05.017","volume":"55","author":"E.-R. Olderog","year":"2005","unstructured":"Olderog, E.-R., Wehrheim, H.: Specification and (property) inheritance in CSP-OZ. Science of Computer Programming\u00a0(55), 227\u2013257 (2005)","journal-title":"Science of Computer Programming"},{"key":"11_CR23","first-page":"281","volume-title":"Refactoring of Programs and Specifications","author":"J. Philipps","year":"2003","unstructured":"Philipps, J., Rumpe, B.: Refactoring of Programs and Specifications, pp. 281\u2013297. Kluwer Academic Publishers, Dordrecht (2003)"},{"key":"11_CR24","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"11_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-540-39958-2_16","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"H. Rasch","year":"2003","unstructured":"Rasch, H., Wehrheim, H.: Checking Consistency in UML Diagrams: Classes and State Machines. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.\u00a02884, pp. 229\u2013243. Springer, Heidelberg (2003)"},{"key":"11_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5265-9","volume-title":"The Object-Z Specification Language","author":"G. Smith","year":"2000","unstructured":"Smith, G.: The Object-Z Specification Language. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"11_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/3-540-45441-1_11","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"G. Suny\u00e9","year":"2001","unstructured":"Suny\u00e9, G., Pollet, D., Le Traon, Y., J\u00e9z\u00e9quel, J.-M.: Refactoring UML models. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 134\u2013148. Springer, Heidelberg (2001)"},{"key":"11_CR28","series-title":"Lecture Notes in Computer Science","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"H. Treharne","year":"2002","unstructured":"Treharne, H., Schneider, S.A.: Communicating B machines. In: Bert, D., P. Bowen, J., C. Henson, M., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, Springer, Heidelberg (2002)"},{"key":"11_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/3-540-46428-X_23","volume-title":"Fundamental Approaches to Software Engineering","author":"H. Wehrheim","year":"2000","unstructured":"Wehrheim, H.: Specification of an automatic manufacturing system \u2013 a case study in using integrated formal methods. In: Maibaum, T.S.E. (ed.) ETAPS 2000 and FASE 2000. LNCS, vol.\u00a01783, pp. 334\u2013348. Springer, Heidelberg (2000)"},{"key":"11_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/3-540-45800-X_19","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"J. Whittle","year":"2002","unstructured":"Whittle, J.: Transformations and software modeling languages: Automating transformations in uml. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 227\u2013242. Springer, Heidelberg (2002)"},{"issue":"7","key":"11_CR31","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1109\/32.538607","volume":"XXII","author":"P. Zave","year":"1996","unstructured":"Zave, P., Jackson, M.: Where do operations come from? A multiparadigm specification technique. IEEE Transactions on Software Engineering\u00a0XXII(7), 508\u2013528 (1996)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11784180_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:18:44Z","timestamp":1619493524000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11784180_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540356332","9783540356363"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/11784180_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}