{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T02:50:31Z","timestamp":1761706231372},"publisher-location":"Berlin, Heidelberg","reference-count":12,"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_53","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T23:15:07Z","timestamp":1179270907000},"page":"523-534","source":"Crossref","is-referenced-by-count":12,"title":["Formalizing UML Models with Object-Z"],"prefix":"10.1007","author":[{"given":"Huaikou","family":"Miao","sequence":"first","affiliation":[]},{"given":"Ling","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Li","family":"Li","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,10]]},"reference":[{"key":"53_CR1","unstructured":"Object Management Group, OMG Unified Modeling Language Specification, Version 1.3, June 1999, http:\/\/www.rational.com ."},{"key":"53_CR2","doi-asserted-by":"crossref","unstructured":"R. B. 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.","DOI":"10.1016\/S0920-5489(98)00020-8"},{"key":"53_CR3","unstructured":"M. Bickford and D. Guaspari, Odyssey Research Associates Report No. 10, 1998."},{"key":"53_CR4","unstructured":"A. Hamie, \u201cA Formal Semantics for Checking and Analysing UML Models\u201d, in Proceedings of the OOPSLA\u201998 Workshop on Formalizing UML. Why? How?, edited by L. Andrade, A. Moreira, A. Deshpande, and S. Kent, 1998."},{"key":"53_CR5","doi-asserted-by":"crossref","unstructured":"A. Hamie, J. Howse, and S. Kent, \u201cInterpreting the Object Constraint Language\u201d, in Proceedings of Asia Pacific Conference in Software Engineering, IEEE Press, 1998.","DOI":"10.1109\/APSEC.1998.733731"},{"key":"53_CR6","unstructured":"S. Mann and M. Klar, \u201cA Metamodel for Object-Oriented Statecharts\u201d, in Proc. 2nd Workshop on Rigorous Object-Oriented Methods, ROOM 2, University of Bradford, 1998."},{"key":"53_CR7","series-title":"Lect Notes Comput Sci","first-page":"87","volume-title":"The Unified Modeling Language, UML\u201998-Beyond the Notation. First International Workshop","author":"M. Gogolla","year":"1998","unstructured":"M. Gogolla and M. Richters, \u201cEquivalence Rules for UML Class Diagrams\u201d, in The Unified Modeling Language, UML\u201998-Beyond the Notation. First International Workshop, Mulhouse, France, Jun 1998, edited by J. B\u00e9zivin and P.-A. Muller, LNCS Vol. 1618, pp. 87\u201396. Springer, 1998."},{"key":"53_CR8","unstructured":"A. Evans and T. Clark, \u201cFoundations of the Unified Modeling Language\u201d, in Proc. of the 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 23\u201324 September 1997, 1997."},{"key":"53_CR9","unstructured":"A. Evans, \u201cReasoning with the Unified Modeling Language\u201d, in Proc. Workshop on Industrial-Strength Formal Specification Techniques (WIFT\u201998), 1998."},{"key":"53_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/3-540-46852-8_7","volume-title":"Proc 2nd IEEE conference on UML: UML\u201999","author":"S.-K. Kim","year":"1999","unstructured":"S-K. Kim and D. Carrington, Formalizing the UML class diagram using Object-Z, Proc 2nd IEEE conference on UML: UML\u201999, LNCS, No 1723, pp. 83\u201398, 1999."},{"key":"53_CR11","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1109\/APSEC.2000.896705","volume-title":"Seventh Asia-Pacific Software Engineering Conference","author":"S.-K. Kim","year":"2000","unstructured":"S-K. Kim and D. Carrington,, An Integrated Framework with UML and Object-Z for Developing a Precise and Understandable Specification: The Light Control Case Study, In Seventh Asia-Pacific Software Engineering Conference, pages 240\u2013248, December 2000. IEEE Computer Society. Los Alamitos, California."},{"key":"53_CR12","unstructured":"R. Duke, G. Rose and G. Smith, Object-Z: a Specification Language Advocated for the Description of Standards. Technique Report No. 94-45, December 1994."}],"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_53","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T20:55:58Z","timestamp":1556398558000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36103-0_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000297","9783540361039"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-36103-0_53","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}