{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T19:48:56Z","timestamp":1777578536755,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540358008","type":"print"},{"value":"9783540358336","type":"electronic"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11786160_5","type":"book-chapter","created":{"date-parts":[[2006,7,3]],"date-time":"2006-07-03T23:40:49Z","timestamp":1151970049000},"page":"84-102","source":"Crossref","is-referenced-by-count":1,"title":["Refinement and Consistency in Component Models with Multiple Views"],"prefix":"10.1007","author":[{"given":"Heike","family":"Wehrheim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/3-540-45800-X_20","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"D.H. Akehurst","year":"2002","unstructured":"Akehurst, D.H., Kent, S.: A relational approach to defining transformations in a metamodel. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 243\u2013258. Springer, Heidelberg (2002)"},{"key":"5_CR2","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)"},{"issue":"2-3","key":"5_CR3","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/s00165-003-0006-5","volume":"15","author":"A. Cavalcanti","year":"2003","unstructured":"Cavalcanti, A., Sampaio, A., Woodcock, J.: A Refinement Strategy for Circus. Formal Aspects of Computing\u00a015(2-3), 146\u2013181 (2003)","journal-title":"Formal Aspects of Computing"},{"key":"5_CR4","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511663079","volume-title":"Data Refinement: Model-Oriented Proof Methods and their Comparison","author":"W.-P. Roever de","year":"1998","unstructured":"de Roever, W.-P., Engelhardt, K.: Data Refinement: Model-Oriented Proof Methods and their Comparison. Cambridge Tracts in Theoretical Computer Science, vol.\u00a047. Cambridge University Press, Cambridge (1998)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1477","DOI":"10.1007\/3-540-48118-4_28","volume-title":"FM\u201999 - Formal Methods","author":"J. Derrick","year":"1999","unstructured":"Derrick, J., Boiten, E.A.: Non-atomic refinement in Z. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol.\u00a01709, pp. 1477\u20131496. Springer, Heidelberg (1999)"},{"key":"5_CR6","volume-title":"Refinement in Z and Object-Z, Foundations and Advanced Application","author":"J. Derrick","year":"2001","unstructured":"Derrick, J., Boiten, E.: Refinement in Z and Object-Z, Foundations and Advanced Application. Springer, Heidelberg (2001)"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/3-540-44880-2_10","volume-title":"ZB 2003: Formal Specification and Development in Z and B","author":"J. Derrick","year":"2003","unstructured":"Derrick, J., Wehrheim, H.: Using coupled simulations in non-atomic refinement. In: Bert, D., P. Bowen, J., King, S. (eds.) ZB 2003. LNCS, vol.\u00a02651, pp. 127\u2013147. Springer, Heidelberg (2003)"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/11415787_3","volume-title":"ZB 2005: Formal Specification and Development in Z and B","author":"J. Derrick","year":"2005","unstructured":"Derrick, J., Wehrheim, H.: Non-atomic refinement in Z and CSP. In: Treharne, H., King, S., C. Henson, M., Schneider, S. (eds.) ZB 2005. LNCS, vol.\u00a03455, pp. 24\u201344. Springer, Heidelberg (2005)"},{"issue":"1","key":"5_CR9","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"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/3-540-45800-X_18","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"G. Engels","year":"2002","unstructured":"Engels, G., Heckel, R., K\u00fcster, J.M., Groenewegen, L.: Consistency-preserving model evolution through transformations. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 212\u2013226. Springer, Heidelberg (2002)"},{"key":"5_CR11","doi-asserted-by":"publisher","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 & Hall, Boca Raton (1997)"},{"key":"5_CR12","unstructured":"Formal Systems (Europe) Ltd. Failures-Divergence Refinement: FDR2 User Manual (October 1997)"},{"key":"5_CR13","volume-title":"Int. Conf. of Formal Engineering Methods (ICFEM)","author":"A.J. Galloway","year":"1997","unstructured":"Galloway, A.J., Stoddart, W.: An operational semantics for ZCCS. In: Hinchey, M., Liu, S. (eds.) Int. Conf. of Formal Engineering Methods (ICFEM). IEEE, Los Alamitos (1997)"},{"key":"5_CR14","unstructured":"Gardner, T., Griffin, C., Koehler, J., Hauser, R.: A review of OMG MOF 2.0 Query \/ Views \/ Transformations Submissions and Recommendations towards the final Standard. OMG document"},{"issue":"3","key":"5_CR15","first-page":"229","volume":"1","author":"J. He","year":"1989","unstructured":"He, J.: Process simulation and refinement. Formal Aspects of Computing\u00a01(3), 229\u2013241 (1989)","journal-title":"Formal Aspects of Computing"},{"key":"5_CR16","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":"5_CR17","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":"5_CR18","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, Los Alamitos (2003)"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"Radical Innovations of Software and Systems Engineering in the Future","author":"B.J. Kr\u00e4mer","year":"2004","unstructured":"Kr\u00e4mer, B.J., Reussner, R.H., Schmidt, H.W.: Predicting properties of component based software architectures through parameterised contracts. In: Wirsing, M., Knapp, A., Balsamo, S. (eds.) RISSEF 2002. LNCS, vol.\u00a02941, Springer, Heidelberg (2004)"},{"issue":"6","key":"5_CR20","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B. Liskov","year":"1994","unstructured":"Liskov, B., Wing, J.: A behavioural notion of subtyping. ACM Transactions on Programming Languages and Systems\u00a016(6), 1811\u20131841 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5_CR21","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1109\/ICSE.1998.671106","volume-title":"The 20th International Conference on Software Engineering (ICSE 1998)","author":"B.P. Mahony","year":"1998","unstructured":"Mahony, B.P., Dong, J.S.: Blending Object-Z and Timed CSP: An introduction to TCOZ. In: The 20th International Conference on Software Engineering (ICSE 1998), pp. 95\u2013104. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"5_CR22","unstructured":"Mens, T., Van Eetvelde, N., Janssens, D., Demeyer, S.: Formalising Refactorings with Graph Transformations. Journal of Software Maintenance and Evolution (submitted)"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Mens, T., Tourw\u00e9, T.: A Survey of Software Refactoring. IEEE Transactions on Software Engineering\u00a030(2) (2004)","DOI":"10.1109\/TSE.2004.1265817"},{"key":"5_CR24","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":"5_CR25","first-page":"99","volume-title":"Object-oriented software composition","author":"O. Nierstrasz","year":"1995","unstructured":"Nierstrasz, O.: Regular types for active objects. In: Nierstrasz, O., Tsichritzis, D. (eds.) Object-oriented software composition, pp. 99\u2013121. Prentice Hall, Englewood Cliffs (1995)"},{"key":"5_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/978-3-540-39656-7_15","volume-title":"Formal Methods for Components and Objects","author":"E.-R. Olderog","year":"2003","unstructured":"Olderog, E.-R., Wehrheim, H.: Specification and inheritance in CSP-OZ. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 361\u2013379. Springer, Heidelberg (2003)"},{"key":"5_CR27","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":"5_CR28","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":"5_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/11494881_5","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"H. Rasch","year":"2005","unstructured":"Rasch, H., Wehrheim, H.: Checking the validity of scenarios in UML models. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol.\u00a03535, pp. 67\u201382. Springer, Heidelberg (2005)"},{"key":"5_CR30","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1997","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1997)"},{"key":"5_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-63533-5_4","volume-title":"FME \u201997 Industrial Applications and Strengthened Foundations of Formal Methods","author":"G. Smith","year":"1997","unstructured":"Smith, G.: A semantic integration of Object-Z and CSP for the specification of concurrent systems. In: Fitzgerald, J.S., Jones, C.B., Lucas, P. (eds.) FME 1997. LNCS, vol.\u00a01313, pp. 62\u201381. Springer, Heidelberg (1997)"},{"key":"5_CR32","doi-asserted-by":"publisher","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 Publisher, Dordrecht (2000)"},{"key":"5_CR33","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1109\/ICFEM.1997.630436","volume-title":"Int. Conf. of Formal Engineering Methods (ICFEM)","author":"G. Smith","year":"1997","unstructured":"Smith, G., Derrick, J.: Refinement and verification of concurrent systems specified in Object-Z and CSP. In: Hinchey, M., Liu, S. (eds.) Int. Conf. of Formal Engineering Methods (ICFEM), pp. 293\u2013302. IEEE, Los Alamitos (1997)"},{"key":"5_CR34","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Prentice-Hall International Series in Computer Science (1992)"},{"key":"5_CR35","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)"},{"issue":"4","key":"5_CR36","first-page":"405","volume":"9","author":"H. Wehrheim","year":"2002","unstructured":"Wehrheim, H.: Relating State-based and Behaviour-oriented Subtyping. Nordic Journal of Computing\u00a09(4), 405\u2013435 (2002)","journal-title":"Nordic Journal of Computing"},{"key":"5_CR37","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1023\/A:1024764232069","volume":"23","author":"H. Wehrheim","year":"2003","unstructured":"Wehrheim, H.: Behavioral subtyping relations for active objects. Formal Methods in System Design\u00a023, 143\u2013170 (2003)","journal-title":"Formal Methods in System Design"},{"key":"5_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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)"},{"key":"5_CR39","volume-title":"Using Z \u2013 Specification, Refinement, and Proof","author":"J. Woodcock","year":"1996","unstructured":"Woodcock, J., Davies, J.: Using Z \u2013 Specification, Refinement, and Proof. Prentice Hall, Englewood Cliffs (1996)"}],"container-title":["Lecture Notes in Computer Science","Architecting Systems with Trustworthy Components"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11786160_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T04:32:19Z","timestamp":1552365139000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11786160_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540358008","9783540358336"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/11786160_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}