{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T13:19:44Z","timestamp":1730207984394,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cit.2004.1357344","type":"proceedings-article","created":{"date-parts":[[2004,12,23]],"date-time":"2004-12-23T04:34:02Z","timestamp":1103776442000},"page":"1116-1121","source":"Crossref","is-referenced-by-count":1,"title":["Formalizing the semantics of UML statecharts with Z"],"prefix":"10.1109","author":[{"family":"Xuede Zhan","sequence":"first","affiliation":[]},{"family":"Huaikou Miao","sequence":"additional","affiliation":[]},{"family":"Ling Liu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","article-title":"On formal semantics of statecharts as supported by STATEMATE","author":"mikk","year":"1997","journal-title":"BCS-FACS Northern Formal Methods Workshop"},{"key":"2","article-title":"A formal metamodeling approach to a transformation between the UML state machine and object-Z","author":"kim","year":"2002","journal-title":"Proc 1st Int Conf Formal Engineering Methods"},{"key":"10","first-page":"1864","article-title":"An operational semantics for UML statechart diagrams","volume":"12","author":"li","year":"2001","journal-title":"Journal of Software"},{"journal-title":"OMG UML Specification Version 2 0","year":"2003","key":"1"},{"key":"7","article-title":"Describing the syntax and semantics of UML Statecharts in a heterogeneous modeling environment","author":"jin","year":"2002","journal-title":"Proceedings DIAGRAMS 2002"},{"key":"6","first-page":"523","article-title":"Formalizing UML models with object-Z","author":"miao","year":"2002","journal-title":"Proc 1st Int Conf Formal Engineering Methods"},{"key":"5","first-page":"245","article-title":"What is in a step: On the semantics of statscharts","volume":"298","author":"pnueli","year":"1991","journal-title":"Proceedings of International Conference on Theoretical Aspects of Computer Science Lecture Notes in Computer Science"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"9","first-page":"406","article-title":"A formal semantics of UML state machines based on structured graph transformation","author":"kuske","year":"2001","journal-title":"\ufffdUML\ufffd 2001"},{"key":"8","first-page":"406","article-title":"Formalization of UML-statecharts","author":"beeck","year":"2001","journal-title":"\ufffdUML\ufffd 2001"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/505776.505794"}],"event":{"name":"The Fourth International Conference onComputer and Information Technology, 2004. CIT '04.","location":"Wuhan, China"},"container-title":["The Fourth International Conference onComputer and Information Technology, 2004. CIT '04."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9381\/29791\/01357344.pdf?arnumber=1357344","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T23:06:41Z","timestamp":1489446401000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1357344\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/cit.2004.1357344","relation":{},"subject":[]}}