{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:32:43Z","timestamp":1729650763380,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1109\/syscon.2016.7490554","type":"proceedings-article","created":{"date-parts":[[2016,6,17]],"date-time":"2016-06-17T00:13:15Z","timestamp":1466122395000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["A consistency checking approach for system architecture"],"prefix":"10.1109","author":[{"given":"Xiaokai","family":"Xia","sequence":"first","affiliation":[]},{"given":"Jing","family":"Shi","sequence":"additional","affiliation":[]},{"given":"Zhiqiang","family":"Fan","sequence":"additional","affiliation":[]},{"given":"Zhongliang","family":"Ai","sequence":"additional","affiliation":[]},{"given":"Yancen","family":"Dong","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1007\/11663881_13"},{"year":"0","author":"mccune","article-title":"OTTER 3.3 Reference Manual","key":"ref11"},{"key":"ref12","first-page":"68","volume":"2","author":"clerk maxwell","year":"1892","journal-title":"A Treatise on Electricity and Magnetism"},{"key":"ref13","first-page":"271","article-title":"Fine particles, thin films and exchange anisotropy","volume":"iii","author":"jacobs","year":"1963","journal-title":"Magnetism"},{"year":"0","author":"elissa","article-title":"Title of paper if known","key":"ref14"},{"key":"ref15","article-title":"Title of paper with only first word capitalized","author":"nicole","year":"0","journal-title":"J Name Stand Abbrev"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"740","DOI":"10.1109\/TJMJ.1987.4549593","article-title":"Electron spectroscopy studies on magneto-optical media and plastic substrate interface","volume":"2","author":"yorozu","year":"1987","journal-title":"IEEE Transl J Magn Japan"},{"year":"1989","author":"young","journal-title":"The Technical Writer's Handbook","key":"ref17"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1007\/978-3-540-39958-2_16"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1007\/3-540-45441-1_21"},{"key":"ref6","first-page":"1059","article-title":"Designing Concurrent, Designing concurrent, distributed, and real-time applications with UML","author":"gomaa","year":"2006","journal-title":"Proceedings of the 28th International Conference on Software Engineering"},{"key":"ref5","first-page":"56","article-title":"An attemp at analyzing the consistency problems in the UML from a classical algebric viewpoint","author":"astesiano","year":"2003","journal-title":"16th International Workshop on WADT"},{"year":"2000","author":"andreopoulos","article-title":"Defining formal semantics for the Unified Modeling Language","key":"ref8"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1007\/3-540-45416-0_5"},{"year":"0","key":"ref2"},{"year":"2007","journal-title":"Department of Defense Department of Defense Architecture Framework 2 0","key":"ref1"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1145\/1243987.1243989"}],"event":{"name":"2016 Annual IEEE Systems Conference (SysCon)","start":{"date-parts":[[2016,4,18]]},"location":"Orlando, FL, USA","end":{"date-parts":[[2016,4,21]]}},"container-title":["2016 Annual IEEE Systems Conference (SysCon)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7484073\/7490508\/07490554.pdf?arnumber=7490554","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T16:31:41Z","timestamp":1498321901000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7490554\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/syscon.2016.7490554","relation":{},"subject":[],"published":{"date-parts":[[2016,4]]}}}