{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,8]],"date-time":"2025-06-08T22:27:01Z","timestamp":1749421621562},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431664"},{"type":"electronic","value":"9783540456483"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45648-1_26","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T01:26:02Z","timestamp":1180315562000},"page":"497-516","source":"Crossref","is-referenced-by-count":7,"title":["A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints"],"prefix":"10.1007","author":[{"given":"Soon-Kyeong","family":"Kim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Carrington","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,1,22]]},"reference":[{"key":"26_CR1","unstructured":"T. Clark, A. Evans, R. France, S. Kent, and B. Rumpe, Response to UML 2.0 Request for Information, 1999. available at \n                  http:\/\/www.cs.york.ac.uk\/puml\/papers\/RFIResponse.PDF"},{"key":"26_CR2","unstructured":"B. P. Douglass, Real-Time UML: Developing Efficient Objects for embedded systems, Addison-Wesley, 1998."},{"key":"26_CR3","unstructured":"R. Duke and R. Gordon, Formal Object-Oriented Specification Using Object-Z, Macmillan, 2000."},{"key":"26_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/3-540-46852-8_11","volume-title":"Core meta modelling semantics of UML: The pUML approach","author":"Evans","year":"1999","unstructured":"Evans and S. Kent, Core meta modelling semantics of UML: The pUML approach, Proc. UML\u201999, LNCS. No. 1723, pp. 140\u2013155, 1999."},{"issue":"7","key":"26_CR5","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1016\/S0920-5489(98)00020-8","volume":"19","author":"R France","year":"1998","unstructured":"R. France, A. Evans, K. Lano, and B. Rumpe, Developing the UML as a Formal Modeling Notation, Computer Standards and Interfaces, No. 19, pp. 325\u2013334, 1998.","journal-title":"Computer Standards & Interfaces"},{"key":"26_CR6","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"D. Harel and A. Naamad, The STATEMATE semantics of Statecharts, ACM Transaction on Software Engineering, vol. 5, pp 293\u2013333, 1996.","journal-title":"ACM Transaction on Software Engineering"},{"key":"26_CR7","series-title":"Lect Notes Comput Sci","first-page":"550","volume-title":"Black and White Diamonds","author":"Henderson-Sellers","year":"1723","unstructured":"Henderson-Sellers and F. Barbier, Black and White Diamonds, Proc UML\u201999, LNCS, No. 1723, pp. 550\u2013565, 1999."},{"key":"26_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/3-540-46852-8_7","volume-title":"Formalizing the UML class diagram using Object-Z","author":"S.-K. Kim","year":"1999","unstructured":"S-K. Kim and D. Carrington, Formalizing the UML class diagram using Object-Z, Proc. UML\u201999, LNCS, No. 1723, pp. 83\u201398, 1999."},{"key":"26_CR9","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."},{"key":"26_CR10","unstructured":"S-K. Kim and D. Carrington, UML Metamodel Formalization with Object-Z: the State Machine package, SVRC technical Report 00-29, The University of Queensland, 2000."},{"key":"26_CR11","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), 2001."},{"key":"26_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1007\/3-540-40011-7_39","volume-title":"Rewrite Rules and Operational Semantics for Model Checking UML statecharts","author":"G. Kwon","year":"2000","unstructured":"G. Kwon, Rewrite Rules and Operational Semantics for Model Checking UML statecharts, Proc. UML\u20192000, LNCS, No. 1939, pp. 528\u2013540, 2000."},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Latella, I. Majzik, and M. Massink, Towards a formal operational semantics of UML statechart diagrams, In 3rd International Conference on Formal Methods for Open Object-Oriented Distributed Systems(FMOODS), Kluwer, 1999.","DOI":"10.1007\/978-0-387-35562-7_25"},{"key":"26_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"430","DOI":"10.1007\/3-540-46852-8_31","volume-title":"Formalizing UML state machines for model checking","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":"26_CR15","unstructured":"OMG, Unified Modeling Language Specification, version 1.3, 1999, \n                  http:\/\/www.omg.org"},{"key":"26_CR16","unstructured":"OMG, Response to OMG RFP ad\/98-11-01: Action Semantics for the UML, 2000. Available at \n                  ftp:\/\/ftp.omg.org\/pub\/docs\/ad\/00-08-03.pdf"},{"key":"26_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/3-540-46428-X_10","volume-title":"Analysing UML Active Classes and Associated State Machines-Lightweight Formal Approach","author":"G. Reggio","year":"2000","unstructured":"G. Reggio, E. Astesiano, C. Choppy, and H. Hussmann, Analysing UML Active Classes and Associated State Machines-Lightweight Formal Approach, Proc. FASE 2000, LNCS. No.1783, pp. 127\u2013146. Springer Verlag, 2000."},{"key":"26_CR18","series-title":"Lect Notes Comput Sci","first-page":"449","volume-title":"On formalizing the UML Object Constraint Language OCL","author":"M. Richters","year":"2004","unstructured":"M. Richters and M. Gogolla, On formalizing the UML Object Constraint Language OCL, Proc. 17th Int. Conf. Conceptual Modeling, LNCS. No. 1507, pp. 449\u2013464, 1998."},{"key":"26_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/3-540-40911-4_7","volume-title":"IFM\u20192000","author":"G. Smith","year":"2000","unstructured":"G. Smith and I. Hayes, Structuring Real-Time Object-Z Specifications, IFM\u20192000, LNCS, No. 1945, pp. 97\u2013115, 2000."},{"key":"26_CR20","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"}],"container-title":["Lecture Notes in Computer Science","ZB 2002:Formal Specification and Development in Z and B"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45648-1_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,12]],"date-time":"2018-10-12T04:42:57Z","timestamp":1539319377000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45648-1_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431664","9783540456483"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45648-1_26","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}