{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:14:29Z","timestamp":1725484469345},"publisher-location":"Berlin, Heidelberg","reference-count":11,"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_51","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T23:15:07Z","timestamp":1179270907000},"page":"500-510","source":"Crossref","is-referenced-by-count":0,"title":["On the Formalized Semantics of Static Modeling Elements in UML"],"prefix":"10.1007","author":[{"given":"Yan-Bing","family":"Jiang","sequence":"first","affiliation":[]},{"given":"Wei-Zhong","family":"Shao","sequence":"additional","affiliation":[]},{"given":"Zhi-Yi","family":"Ma","sequence":"additional","affiliation":[]},{"given":"Yao-Dong","family":"Feng","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,10]]},"reference":[{"key":"51_CR1","unstructured":"OMG Unified Modeling Language Specification 1.3,1.4"},{"key":"51_CR2","unstructured":"Grady Booch, James Rumbaugh, Ivar Jacobson: The Unified Modeling Language User Guide, Addisin Longman, Inc 1999"},{"key":"51_CR3","unstructured":"James Rumbaugh, Ivar Jacobson, Grady Booch: The Unified Modeling Language Reference Manual, Addisin Longman,Inc 1999"},{"key":"51_CR4","unstructured":"James Odell, Guus Ramackers, Toward a Formalization of OO Analysis, Journal of Object-Oriented Programming, July 1997"},{"key":"51_CR5","doi-asserted-by":"crossref","unstructured":"Andy Eavants, Stauart Kent, Core Meta-Modelling Semantics of UML: The pUML Approach, UML\u201999\u2014The Unfied Modeling Language Beyond the Standard Springer October 1999","DOI":"10.1007\/3-540-46852-8_11"},{"key":"51_CR6","unstructured":"Shao WeiZhong, Yang FuQing, Analysis of Object-Oriented Systems, TsingHua University Press, 1998"},{"key":"51_CR7","unstructured":"Cheng YunYi, The Basis of Formal Semantics, University of Science & Technology of China Press, 1994"},{"key":"51_CR8","unstructured":"Chai XiaoXi, Cheng Ping Object-Oriented Technology, XiDian University Press, 1995"},{"key":"51_CR9","unstructured":"LI Liu-ying, WANG Ji, QI Zhi-chang, An Operational Semantics for UML StateChart Diagrams, Journal of Software, 2001, 12(12)"},{"key":"51_CR10","unstructured":"Feng YuLing, Li Jing, Huang Tao, Object Semantics Theory and Constraints Reasoning, Chinese J. Computers, 1993, Vol 16, No. 11"},{"key":"51_CR11","unstructured":"Huang Tao, Feng YuLing, Li Jing, A Formal Semantics Model For object, Journal of Software, 1995, Vol. 6, Supplement"}],"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_51","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T20:56:10Z","timestamp":1556398570000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36103-0_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000297","9783540361039"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-36103-0_51","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}