{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:55:19Z","timestamp":1729634119589,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/iccitechnol.2012.6285846","type":"proceedings-article","created":{"date-parts":[[2012,8,30]],"date-time":"2012-08-30T20:57:57Z","timestamp":1346360277000},"page":"73-79","source":"Crossref","is-referenced-by-count":1,"title":["A Situation Calculus-based semantic framework for UML"],"prefix":"10.1109","author":[{"given":"Liang","family":"Dou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qiang","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zongyuan","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Jinkui Xie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2000.839887"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","author":"reiter","year":"2001","journal-title":"Knowledge in Action Logical Foundations for Specifying and Implementing Dynamical Systems"},{"article-title":"Slicing uml's three-layer architecture: A semantic foundation for behavioural specification","year":"2009","author":"crane","key":"ref10"},{"key":"ref6","first-page":"71","article-title":"A prolog-based approach to representing and querying software engineering models","author":"st\u00f6rrle","year":"2007","journal-title":"Proceedings of the VLL workshop on Visual Languages and Logic"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/s10270-008-0101-4","article-title":"Towards an integrated graph-based semantics for uml","volume":"8","author":"kuske","year":"2009","journal-title":"Software and Systems Modeling"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/978-3-540-88194-0_23","article-title":"A Formal Descriptive Semantics of UML","volume":"5256","author":"shan","year":"2008","journal-title":"Formal Methods and Software Engineering Ser Lecture Notes in Computer Science"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21411-0_78"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46852-8_31"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2003.09.009"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00178-1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IRI.2003.1251395"},{"journal-title":"Object Management Group","article-title":"UML2.1.2 Superstructure Specification","year":"2007","key":"ref1"}],"event":{"name":"2012 International Conference on Communications and Information Technology (ICCIT)","start":{"date-parts":[[2012,6,26]]},"location":"Hammamet, Tunisia","end":{"date-parts":[[2012,6,28]]}},"container-title":["2012 International Conference on Communications and Information Technology (ICCIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6269207\/6285764\/06285846.pdf?arnumber=6285846","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,3]],"date-time":"2019-07-03T07:31:31Z","timestamp":1562139091000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6285846\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/iccitechnol.2012.6285846","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}