{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T19:44:51Z","timestamp":1771703091693,"version":"3.50.1"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/sefm.2004.1347517","type":"proceedings-article","created":{"date-parts":[[2004,11,8]],"date-time":"2004-11-08T16:28:24Z","timestamp":1099931304000},"page":"164-173","source":"Crossref","is-referenced-by-count":4,"title":["On semantics and refinement of uml statecharts: a coalgebraic view"],"prefix":"10.1109","author":[{"family":"Sun Meng","sequence":"first","affiliation":[]},{"family":"Zhang Naixiao","sequence":"additional","affiliation":[]},{"given":"L.S.","family":"Barbosa","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","year":"2001","journal-title":"OMG Unified Modeling Language Specification version 1 4"},{"key":"22","author":"selic","year":"1994","journal-title":"Real-time Object Oriented Modeling and Design"},{"key":"17","first-page":"181","article-title":"Hierarchical automata as models for Statecharts","volume":"1345","author":"mikk","year":"1997","journal-title":"LNCS"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/BF01888215"},{"key":"15","article-title":"Towards a coalgebraic semantics of UML: Class diagrams and use cases","volume":"272","author":"meng","year":"2003","journal-title":"Technical Report"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27815-3_38"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35562-7_25"},{"key":"14","first-page":"687","article-title":"Equivalences of Statecharts","volume":"1119","author":"maggiolo-schettini","year":"1996","journal-title":"LNCS"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35496-5_4"},{"key":"12","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF01304852","article-title":"Strong functors and monoidal monads","volume":"23","author":"kock","year":"1972","journal-title":"Archiv Fu?r Mathematik"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00056-6"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"20","author":"roscoe","year":"1998","journal-title":"The Theory and Practice of Concurrency"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00025-1"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80631-5"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/BF01887207"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00213-3"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-1437-0_5"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(87)90224-9"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"9","article-title":"Assertional and behavioural refinement in coalgebraic specification","volume":"47","author":"jacobs","year":"2001","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80636-4"}],"event":{"name":"Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004.","location":"Beijing, China"},"container-title":["Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9328\/29639\/01347517.pdf?arnumber=1347517","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T11:38:24Z","timestamp":1497613104000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1347517\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/sefm.2004.1347517","relation":{},"subject":[]}}