{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T15:06:22Z","timestamp":1730300782643,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/tencon.2018.8650378","type":"proceedings-article","created":{"date-parts":[[2019,3,18]],"date-time":"2019-03-18T21:10:38Z","timestamp":1552943438000},"page":"2270-2275","source":"Crossref","is-referenced-by-count":0,"title":["Automated consistency checking of UML\/MARTE based software systems"],"prefix":"10.1109","author":[{"given":"Shouvik","family":"Dey","sequence":"first","affiliation":[]},{"given":"Rumpa","family":"Hazra","sequence":"additional","affiliation":[]},{"given":"Ananya","family":"Kanjilal","sequence":"additional","affiliation":[]},{"given":"Swapan","family":"Bhattacharya","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICIT.2007.43"},{"key":"ref11","first-page":"1","article-title":"Traceability of Requirements and Consistency Verification of UML UseCase, Activity and Class diagram: A Formal Approach","author":"chanda","year":"2009","journal-title":"International Conference on Methods and Models in Computer Science 2009 (ICM2CS)"},{"key":"ref12","first-page":"42","article-title":"Designing Real-Time Systems with UML-Part II","volume":"11","author":"douglass","year":"1998","journal-title":"Embedded Systems Programming"},{"key":"ref13","first-page":"581","article-title":"Comparison of model checking tools for information systems","author":"frappier","year":"2010","journal-title":"International Conference on Formal Engineering Methods"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.5120\/14924-3444"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-015-9290-6"},{"key":"ref16","article-title":"The Definitive ANTLR Reference","author":"parr","year":"2007","journal-title":"Building Domain-Specific Languages"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1080\/1206212X.2017.1367530"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2010.9.6.a5"},{"year":"2011","key":"ref19","article-title":"A UML profile for MARTE: modeling and analysis of real-time and embedded systems, Version 1.1"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/32.935856"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2008.08.003"},{"key":"ref6","first-page":"15","article-title":"Consistency Checking of Conceptual Models via Model Merging","author":"chechik","year":"2007","journal-title":"Proceedings of the IEEE International Conference on Requirements Engineering"},{"key":"ref5","first-page":"6","article-title":"Reasoning about Consistency in Model Merging","author":"m sabetzadeh","year":"2010","journal-title":"Proceedings of the 3rd Workshop on Living with Inconsistencies in Software Development"},{"key":"ref8","first-page":"381","article-title":"Method for Verifying the Consistency of Business Rules Using Alloy","author":"dos santos guimares","year":"2014","journal-title":"Proceedings of the 26th International Conference on Software Engineering & Knowledge Engineering"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74984-4_13"},{"key":"ref2","first-page":"1","article-title":"Consistency problems in UML-based software development","author":"huzar","year":"2005","journal-title":"Proc Int Conf Shape Modeling and Applications"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2005.37"},{"key":"ref9","first-page":"414","author":"shinkawa","year":"2006","journal-title":"Inter-Model Consistency in UML Based on CPN Formalism 13th Asia Pacific Software Engineering Conference (APSEC ’06)"}],"event":{"name":"TENCON 2018 - 2018 IEEE Region 10 Conference","start":{"date-parts":[[2018,10,28]]},"location":"Jeju, Korea (South)","end":{"date-parts":[[2018,10,31]]}},"container-title":["TENCON 2018 - 2018 IEEE Region 10 Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8643125\/8650051\/08650378.pdf?arnumber=8650378","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T02:35:34Z","timestamp":1598236534000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8650378\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/tencon.2018.8650378","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}