{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T14:04:53Z","timestamp":1749564293127},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000297"},{"type":"electronic","value":"9783540361039"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36103-0_55","type":"book-chapter","created":{"date-parts":[[2007,5,16]],"date-time":"2007-05-16T03:15:07Z","timestamp":1179285307000},"page":"548-560","source":"Crossref","is-referenced-by-count":6,"title":["A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z"],"prefix":"10.1007","author":[{"given":"Soon-Kyeong","family":"Kim","sequence":"first","affiliation":[]},{"given":"David","family":"Carrington","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,10]]},"reference":[{"key":"55_CR1","unstructured":"R. Duke and G. Rose, Formal Object-Oriented Specification Using Object-Z, Macmillan, 2000."},{"key":"55_CR2","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, 12th International Conference ofZ users","author":"S. Dupuy","year":"1998","unstructured":"S. Dupuy, Y. Ledru, and M. Chabre-Peccoud. Translating the OMT Dynamic Model into Object-Z. in ZUM\u201998-The Z Formal Specification Notation, 12th International Conference ofZ users, LNCS. No. 1498, Springer-Verlag. pp. 347\u2013366, 1998."},{"key":"55_CR3","doi-asserted-by":"crossref","unstructured":"R. France, J. Wu, M. M. Larrondo-Petrie, and J.-M. Bruel, A Tale of Two Case Studies: Using Integrated Methods to Support Rigorous Requirements Specification, Proc. of the BCS FACSMethods Integration Workshop, 1996.","DOI":"10.14236\/ewic\/MI1996.6"},{"key":"55_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/3-540-47884-1_7","volume-title":"Proc. IFM2002","author":"H. Ledang","year":"2002","unstructured":"H. Ledang and J. Souquieres, Contributions for Modeling UML State-Charts in B, Proc. IFM2002, LNCS, No. 2335, pp. 109\u2013127, 2002"},{"key":"55_CR5","doi-asserted-by":"crossref","unstructured":"W. McUmber and B. Cheng. A General Framework for Formalizing UML with Formal Languages. in IEEE Conference on Software Engineering, pp. 433\u2013442, 2001.","DOI":"10.1109\/ICSE.2001.919116"},{"key":"55_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/3-540-44525-0_2","volume-title":"ZB2000","author":"S.-K. Kim","year":"2000","unstructured":"S-K. Kim and D. Carrington, A Formal Mapping between UML Models and Object-Z Specifications, ZB2000, LNCS, No. 1878, pp. 2\u201321, 2000."},{"issue":"1","key":"55_CR7","first-page":"323","volume":"7","author":"S.-K. Kim","year":"2001","unstructured":"S-K. Kim and D. Carrington, A Formal Denotational Semantics of UML in Object-Z, the special issue of the journal of l\u2019Objet, Vol. 7(1), pp. 323\u2013362, 2001","journal-title":"the special issue of the journal of l\u2019Objet"},{"key":"55_CR8","unstructured":"S-K. Kim, D. Carrington, and R. Duke. A Metamodel-Based Transformation between UML and Object-Z. in HCC\u201901 2001 IEEE Symposium on Visual Languages and Formal Methods, IEEE Press. pp. 112\u2013119, 2001."},{"key":"55_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/3-540-45648-1_26","volume-title":"Proc. ofZB 2002","author":"S.-K. Kim","year":"2002","unstructured":"S-K. Kim and D. Carrington. A Formal Model of the UML Metamodel: the UML State Machine and its Integrity Constraints. Proc. ofZB 2002. LNCS. 2272, pp. 497\u2013516, 2002"},{"key":"55_CR10","unstructured":"S-K. Kim and D. Carrington. A Formal Metamodeling Approach Linking UML and Object-Z, SVRC, The University of Queensland, Technical Report 02-23, 2002"},{"key":"55_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"430","DOI":"10.1007\/3-540-46852-8_31","volume-title":"Proc. UML\u201999","author":"J. Lilius","year":"1999","unstructured":"J. Lilius and I. P. Paltor, Formalizing UML state machines for model checking, Proc. UML\u201999, LNCS, No. 1723, pp. 430\u2013445, 1999."},{"key":"55_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"875","DOI":"10.1007\/3-540-48119-2_48","volume-title":"FM\u201999","author":"E. Meyer","year":"1999","unstructured":"E. Meyer and J. Souquieres, A Systematic Approach to Transform OMT Diagrams to a Specification, FM\u201999, Vol. 1, LNCS 1708, pp. 875\u2013895, Springer-Verlag, 1999."},{"key":"55_CR13","unstructured":"OMG, Unified Modeling Language Specification, version 1.3, 1999, http:\/\/www.omg.org"},{"key":"55_CR14","doi-asserted-by":"crossref","unstructured":"G. Smith. The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, 2000.","DOI":"10.1007\/978-1-4615-5265-9"},{"key":"55_CR15","doi-asserted-by":"crossref","unstructured":"E. Wang, H. Richter and B. Chen, Formalizing and Integrating the Dynamic Model with OMT, Proc. 19 th International Conference on Software Engineering, pp. 45\u201355, 1997.","DOI":"10.1145\/253228.253239"},{"key":"55_CR16","series-title":"Lect Notes Comput Sci","first-page":"19","volume-title":"Advanced Information Systems Engineering","author":"R. Wieringa","year":"1997","unstructured":"R. Wieringa, E. Dubois, and S. Huyts. Integrating Semi-formal and Formal Requirements, in Advanced Information Systems Engineering, LNCS. No. 1250, Springer. pp. 19\u201332, 1997."}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36103-0_55","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T01:29:05Z","timestamp":1587518945000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36103-0_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000297","9783540361039"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-36103-0_55","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}