{"id":"https://openalex.org/W2920141474","doi":"https://doi.org/10.1109/tencon.2018.8650378","title":"Automated consistency checking of UML/MARTE based software systems","display_name":"Automated consistency checking of UML/MARTE based software systems","publication_year":2018,"publication_date":"2018-10-01","ids":{"openalex":"https://openalex.org/W2920141474","doi":"https://doi.org/10.1109/tencon.2018.8650378","mag":"2920141474"},"language":"en","primary_location":{"id":"doi:10.1109/tencon.2018.8650378","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tencon.2018.8650378","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"TENCON 2018 - 2018 IEEE Region 10 Conference","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044154725","display_name":"Shouvik Dey","orcid":"https://orcid.org/0000-0002-0836-3194"},"institutions":[{"id":"https://openalex.org/I3131484930","display_name":"National Institute of Technology Nagaland","ror":"https://ror.org/04cbvzp68","country_code":"IN","type":"education","lineage":["https://openalex.org/I3131484930"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Shouvik Dey","raw_affiliation_strings":["National Institute of Technology, Nagaland, India"],"affiliations":[{"raw_affiliation_string":"National Institute of Technology, Nagaland, India","institution_ids":["https://openalex.org/I3131484930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028911528","display_name":"Rumpa Hazra","orcid":"https://orcid.org/0000-0003-3825-9459"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rumpa Hazra","raw_affiliation_strings":["Heritage Institute of Technology, Kolkata, India"],"affiliations":[{"raw_affiliation_string":"Heritage Institute of Technology, Kolkata, India","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046421256","display_name":"Ananya Kanjilal","orcid":"https://orcid.org/0000-0001-8240-2799"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ananya Kanjilal","raw_affiliation_strings":["B.P. Poddar Institute of Management & Technology, Kolkata, India"],"affiliations":[{"raw_affiliation_string":"B.P. Poddar Institute of Management & Technology, Kolkata, India","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101661138","display_name":"Swapan Bhattacharya","orcid":"https://orcid.org/0000-0002-3902-6916"},"institutions":[{"id":"https://openalex.org/I170979836","display_name":"Jadavpur University","ror":"https://ror.org/02af4h012","country_code":"IN","type":"education","lineage":["https://openalex.org/I170979836"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Swapan Bhattacharya","raw_affiliation_strings":["Jadavpur University, Kolkata, India"],"affiliations":[{"raw_affiliation_string":"Jadavpur University, Kolkata, India","institution_ids":["https://openalex.org/I170979836"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5044154725"],"corresponding_institution_ids":["https://openalex.org/I3131484930"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.18809769,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"11","issue":null,"first_page":"2270","last_page":"2275"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8024940490722656},{"id":"https://openalex.org/keywords/applications-of-uml","display_name":"Applications of UML","score":0.7681061029434204},{"id":"https://openalex.org/keywords/uml-tool","display_name":"UML tool","score":0.7356477379798889},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.73137366771698},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5554825663566589},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.47894173860549927},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.43620896339416504},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.4176337420940399},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3839649558067322},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3563537001609802},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08327531814575195}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8024940490722656},{"id":"https://openalex.org/C41298492","wikidata":"https://www.wikidata.org/wiki/Q4781506","display_name":"Applications of UML","level":4,"score":0.7681061029434204},{"id":"https://openalex.org/C146939238","wikidata":"https://www.wikidata.org/wiki/Q2467310","display_name":"UML tool","level":4,"score":0.7356477379798889},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.73137366771698},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5554825663566589},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.47894173860549927},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.43620896339416504},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.4176337420940399},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3839649558067322},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3563537001609802},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08327531814575195}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tencon.2018.8650378","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tencon.2018.8650378","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"TENCON 2018 - 2018 IEEE Region 10 Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1546033115","https://openalex.org/W1546692412","https://openalex.org/W1759153375","https://openalex.org/W1921371332","https://openalex.org/W2024034783","https://openalex.org/W2034607210","https://openalex.org/W2099698375","https://openalex.org/W2131552632","https://openalex.org/W2142214748","https://openalex.org/W2148879468","https://openalex.org/W2154287259","https://openalex.org/W2160328533","https://openalex.org/W2174207570","https://openalex.org/W2237372923","https://openalex.org/W2403716433","https://openalex.org/W2751982974","https://openalex.org/W2760715935","https://openalex.org/W2994267114","https://openalex.org/W4285719527","https://openalex.org/W6632823747","https://openalex.org/W6640185022","https://openalex.org/W6689590506","https://openalex.org/W6728358773"],"related_works":["https://openalex.org/W2387087283","https://openalex.org/W2103939680","https://openalex.org/W2359043774","https://openalex.org/W2489425329","https://openalex.org/W2101953902","https://openalex.org/W2374395319","https://openalex.org/W1951066104","https://openalex.org/W2020544977","https://openalex.org/W2368891820","https://openalex.org/W2162768729"],"abstract_inverted_index":{"Development":[0],"of":[1,53,58,69,95,110],"UML/MARTE":[2,12,75],"based":[3,73,82],"modelling":[4],"technique":[5],"is":[6,38,100],"gaining":[7],"popularity":[8],"day":[9],"by":[10],"day.":[11],"model":[13],"driven":[14],"approach":[15],"can":[16],"be":[17],"used":[18],"to":[19,40,87],"describe":[20],"non":[21],"real":[22,32],"time":[23,33],"software":[24,34,54],"systems":[25],"as":[26,28,48],"well":[27],"timing":[29],"constraints":[30],"for":[31,66,108],"systems.":[35],"However":[36],"it":[37,49],"essential":[39],"ensure":[41],"consistency":[42,72],"among":[43],"the":[44,51,84,92,111],"different":[45],"UML":[46],"diagrams":[47],"affects":[50],"quality":[52],"system.":[55],"The":[56,97],"novelty":[57],"this":[59],"paper":[60],"lies":[61],"in":[62],"proposing":[63],"comprehensive":[64],"framework":[65],"automatic":[67],"verification":[68],"inter":[70],"diagram":[71],"on":[74,83,104],"models.":[76],"A":[77],"simulator":[78],"has":[79],"been":[80],"developed":[81],"formal":[85],"specification":[86],"automatically":[88],"detect":[89],"inconsistencies":[90],"at":[91],"early":[93],"stage":[94],"design.":[96],"proposed":[98],"methodology":[99],"applied":[101],"and":[102],"explained":[103],"a":[105],"case":[106],"study":[107],"substantiation":[109],"approach.":[112]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}