{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T17:10:57Z","timestamp":1767978657341,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540204916","type":"print"},{"value":"9783540399582","type":"electronic"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[[2003]]},"DOI":"10.1007\/978-3-540-39958-2_16","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T10:06:04Z","timestamp":1294394764000},"page":"229-243","source":"Crossref","is-referenced-by-count":31,"title":["Checking Consistency in UML Diagrams: Classes and State Machines"],"prefix":"10.1007","author":[{"given":"Holger","family":"Rasch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heike","family":"Wehrheim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"Proceedings of Second IFIP conference on Formal Methods for Open Object-based Distributed Systems - FMOODS 1997","author":"C. Bernardeschi","year":"1997","unstructured":"Bernardeschi, C., Dustzadeh, J., Fantechi, A., Najm, E., Nimour, A., Olsen, F.: Transformations and Consistent Semantics for ODP Viewpoints. In: Proceedings of Second IFIP conference on Formal Methods for Open Object-based Distributed Systems - FMOODS 1997. Chapman and Hall, Sydney (1997)"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1023\/A:1016000201864","volume":"21","author":"H. Bowman","year":"2002","unstructured":"Bowman, H., Steen, M.W.A., Boiten, E.A., Derrick, J.: A formal framework for viewpoint consistency. Formal Methods in System Design\u00a021, 111\u2013166 (2002)","journal-title":"Formal Methods in System Design"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Davies, J., Crichton, C.: Concurrency and Refinement in the Unified Modeling Language. Electronic Notes in Theoretical Computer Science, 70(3) (2002)","DOI":"10.1016\/S1571-0661(05)80494-3"},{"key":"16_CR4","series-title":"Foundations and Advanced Application","doi-asserted-by":"publisher","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.: Refinement in Z and Object-Z. Foundations and Advanced Application. Springer, Heidelberg (2001)"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/3-540-45441-1_21","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"G. Engels","year":"2001","unstructured":"Engels, G., Heckel, R., K\u00fcster, J.: Rule-based Specification of Behavioral Consistency based on the UML Meta-Model. In: Gogolla, M. (ed.) UML 2001. LNCS, vol.\u00a02185, p. 272. Springer, Heidelberg (2001)"},{"key":"16_CR6","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":"16_CR7","doi-asserted-by":"crossref","unstructured":"Engels, G., K\u00fcster, J., Heckel, R., Groenewegen, L.: A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models. In: 9th ACM Sigsoft Symposium on Foundations of Software Engineering. ACM Software Engineering Notes, vol.\u00a026 (2001)","DOI":"10.1145\/503209.503235"},{"key":"16_CR8","unstructured":"Farooqui, K., Logrippo, L.: Viewpoint Transformation. In: Proc. of the International Conference on Open Distributed Processing, pp. 352\u2013562 (1993)"},{"key":"16_CR9","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 and Hall, Boca Raton (1997)"},{"key":"16_CR10","unstructured":"Fischer, C., Hallerstede, S.: Data-Refinement in CSP-OZ. Technical Report TRCF-97-3, University of Oldenburg (June 1997)"},{"key":"16_CR11","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":"16_CR12","unstructured":"Formal Systems (Europe) Ltd. Failures-Divergence Refinement: FDR2 User Manual (October 1997)"},{"key":"16_CR13","series-title":"Texts and Monographs in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4886-6","volume-title":"Fairness","author":"N. Francez","year":"1986","unstructured":"Francez, N.: Fairness. Texts and Monographs in Computer Science. Springer, Heidelberg (1986)"},{"key":"16_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":"16_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":"16_CR16","unstructured":"Kuzniarz, L., Reggio, G., Sourrouille, J.L., Huzar, Z. (eds.): UML 2002 \u2013 Workshop on Consistency Problems in UML-based Software Development, volume 06 of Blekinge IOT Research Report (2002)"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/3-540-10843-2_22","volume-title":"Automata, Languages and Programming","author":"D. Lehmann","year":"1981","unstructured":"Lehmann, D., Pnueli, A., Stavi, J.: Impartiality, Justice and Fairness: The Ethics of Concurrent Termination. In: Even, S., Kariv, O. (eds.) ICALP 1981. LNCS, vol.\u00a0115, pp. 264\u2013277. Springer, Heidelberg (1981)"},{"key":"16_CR18","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":"16_CR19","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 Publishers, Dordrecht (2000)"},{"key":"16_CR20","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":"16_CR21","unstructured":"OMG Unified Modeling Language specification, version 1.5 (March 2003), \n                    \n                      http:\/\/www.omg.org"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Open Object-Based Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39958-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T05:08:27Z","timestamp":1553317707000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39958-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204916","9783540399582"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39958-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}