{"id":"https://openalex.org/W2782015289","doi":"https://doi.org/10.1109/access.2017.2786781","title":"Ontology-Based Finite Satisfiability of UML Class Model","display_name":"Ontology-Based Finite Satisfiability of UML Class Model","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2782015289","doi":"https://doi.org/10.1109/access.2017.2786781","mag":"2782015289"},"language":"en","primary_location":{"id":"doi:10.1109/access.2017.2786781","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2017.2786781","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1109/access.2017.2786781","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5114046896","display_name":"Abdul Hafeez Khan","orcid":null},"institutions":[{"id":"https://openalex.org/I191365509","display_name":"Hamdard University","ror":"https://ror.org/01zrv0z61","country_code":"PK","type":"education","lineage":["https://openalex.org/I191365509"]}],"countries":["PK"],"is_corresponding":true,"raw_author_name":"Abdul Hafeez Khan","raw_affiliation_strings":["Department of Computer Science, Hamdard Institute of Engineering and Technology, Karachi, Pakistan"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Hamdard Institute of Engineering and Technology, Karachi, Pakistan","institution_ids":["https://openalex.org/I191365509"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034618996","display_name":"Sayed Hyder Abbas Musavi","orcid":null},"institutions":[{"id":"https://openalex.org/I4210093622","display_name":"Indus University","ror":"https://ror.org/00hqpmg61","country_code":"PK","type":"education","lineage":["https://openalex.org/I4210093622"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Sayed Hyder Abbas Musavi","raw_affiliation_strings":["Department of Computing, Indus University, Karachi, Pakistan"],"affiliations":[{"raw_affiliation_string":"Department of Computing, Indus University, Karachi, Pakistan","institution_ids":["https://openalex.org/I4210093622"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019843727","display_name":"Aqeel-ur Rehman","orcid":"https://orcid.org/0000-0002-1335-2289"},"institutions":[{"id":"https://openalex.org/I191365509","display_name":"Hamdard University","ror":"https://ror.org/01zrv0z61","country_code":"PK","type":"education","lineage":["https://openalex.org/I191365509"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Aqeel-Ur Rehman","raw_affiliation_strings":["Department of Computing, Hamdard Institute of Engineering and Technology, Karachi, Pakistan"],"affiliations":[{"raw_affiliation_string":"Department of Computing, Hamdard Institute of Engineering and Technology, Karachi, Pakistan","institution_ids":["https://openalex.org/I191365509"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102912690","display_name":"Asadullah Shaikh","orcid":"https://orcid.org/0000-0003-4806-6159"},"institutions":[{"id":"https://openalex.org/I47164929","display_name":"Najran University","ror":"https://ror.org/05edw4a90","country_code":"SA","type":"education","lineage":["https://openalex.org/I47164929"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Asadullah Shaikh","raw_affiliation_strings":["Department of Information Systems, Najran University, Najran, Saudi Arabia"],"affiliations":[{"raw_affiliation_string":"Department of Information Systems, Najran University, Najran, Saudi Arabia","institution_ids":["https://openalex.org/I47164929"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5114046896"],"corresponding_institution_ids":["https://openalex.org/I191365509"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":2.3578,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.88529474,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"6","issue":null,"first_page":"3040","last_page":"3050"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9997000098228455,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9987999796867371,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7924582958221436},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.6170924305915833},{"id":"https://openalex.org/keywords/uml-tool","display_name":"UML tool","score":0.608218252658844},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5956147313117981},{"id":"https://openalex.org/keywords/class-diagram","display_name":"Class diagram","score":0.5950489044189453},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5904545187950134},{"id":"https://openalex.org/keywords/applications-of-uml","display_name":"Applications of UML","score":0.5895296931266785},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.4541144371032715},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3892850875854492},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.3461447060108185},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.22115269303321838},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1614147126674652}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7924582958221436},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.6170924305915833},{"id":"https://openalex.org/C146939238","wikidata":"https://www.wikidata.org/wiki/Q2467310","display_name":"UML tool","level":4,"score":0.608218252658844},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5956147313117981},{"id":"https://openalex.org/C202446494","wikidata":"https://www.wikidata.org/wiki/Q664166","display_name":"Class diagram","level":4,"score":0.5950489044189453},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5904545187950134},{"id":"https://openalex.org/C41298492","wikidata":"https://www.wikidata.org/wiki/Q4781506","display_name":"Applications of UML","level":4,"score":0.5895296931266785},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.4541144371032715},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3892850875854492},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.3461447060108185},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.22115269303321838},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1614147126674652}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2017.2786781","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2017.2786781","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:27f26aefd63f4031aa59a876cb6e6ce9","is_oa":true,"landing_page_url":"https://doaj.org/article/27f26aefd63f4031aa59a876cb6e6ce9","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 6, Pp 3040-3050 (2018)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2017.2786781","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2017.2786781","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W95291740","https://openalex.org/W165540832","https://openalex.org/W773127788","https://openalex.org/W787921101","https://openalex.org/W1490197784","https://openalex.org/W1496264863","https://openalex.org/W1517020659","https://openalex.org/W1555751548","https://openalex.org/W1568565153","https://openalex.org/W1692960825","https://openalex.org/W1976025929","https://openalex.org/W1976081865","https://openalex.org/W2003534440","https://openalex.org/W2010698389","https://openalex.org/W2028316101","https://openalex.org/W2037832816","https://openalex.org/W2045430061","https://openalex.org/W2054120401","https://openalex.org/W2075024650","https://openalex.org/W2079549511","https://openalex.org/W2102888962","https://openalex.org/W2108434092","https://openalex.org/W2111743019","https://openalex.org/W2119426499","https://openalex.org/W2130786069","https://openalex.org/W2140678095","https://openalex.org/W2157688345","https://openalex.org/W2167039673","https://openalex.org/W2187603765","https://openalex.org/W2221754896","https://openalex.org/W2399968105","https://openalex.org/W2417876292","https://openalex.org/W2505763010","https://openalex.org/W2563769373","https://openalex.org/W2593120314","https://openalex.org/W2618960172","https://openalex.org/W2890448802","https://openalex.org/W3004972259","https://openalex.org/W4252085361","https://openalex.org/W4285719527","https://openalex.org/W6603861754","https://openalex.org/W6622489113","https://openalex.org/W6651261629","https://openalex.org/W6678051484","https://openalex.org/W6686970725","https://openalex.org/W6688859693","https://openalex.org/W6713063516","https://openalex.org/W6734441792","https://openalex.org/W6738503478","https://openalex.org/W6754131063","https://openalex.org/W6773518739","https://openalex.org/W7057017981"],"related_works":["https://openalex.org/W2387087283","https://openalex.org/W2139608660","https://openalex.org/W2112630554","https://openalex.org/W2359043774","https://openalex.org/W2103939680","https://openalex.org/W2908933429","https://openalex.org/W2101953902","https://openalex.org/W1981740698","https://openalex.org/W2359526101","https://openalex.org/W1968959699"],"abstract_inverted_index":{"Software":[0],"models":[1,20,44],"are":[2,15,45],"core":[3],"artifacts":[4],"in":[5,22,117],"model":[6,73,77],"driven":[7],"engineering":[8],"(MDE)":[9],"and":[10,21,49,64,111],"processable":[11],"by":[12,29],"computer.":[13],"They":[14],"automatically":[16],"transformed":[17],"into":[18,55],"other":[19],"MDE,":[23],"programming":[24],"code":[25],"is":[26,72,78,114],"also":[27],"produced":[28],"the":[30,50,56,91,99,103],"models.":[31],"The":[32],"automatic":[33],"transformation":[34],"provides":[35],"a":[36,79],"systematic":[37],"reuse":[38],"of":[39,82,93,98,105],"existing":[40],"artifacts.":[41],"However,":[42,84],"sometimes":[43],"developed":[46],"with":[47],"defects":[48,51],"can":[52],"implicitly":[53],"shift":[54],"code,":[57],"which":[58],"may":[59],"be":[60],"difficult":[61],"to":[62,69,96],"discover":[63],"repair.":[65],"A":[66],"promising":[67],"solution":[68],"this":[70],"problem":[71],"verification.":[74],"UML":[75,85,133],"class":[76,134],"key":[80],"ingredient":[81],"MDE.":[83],"only":[86],"offers":[87],"graphical":[88],"components":[89],"without":[90],"support":[92],"reasoning,":[94],"due":[95],"lack":[97],"formal":[100,106],"foundation.":[101],"Therefore,":[102],"verification":[104,125],"properties,":[107],"such":[108],"as":[109],"consistency":[110],"finite":[112],"satisfiability":[113],"not":[115],"possible":[116],"UML.":[118],"This":[119],"paper":[120],"proposes":[121],"an":[122],"ontology-based":[123],"optimized":[124],"method":[126],"for":[127],"important":[128],"correctness":[129],"property":[130],"\u201cfinite":[131],"satisfiability\u201dof":[132],"model.":[135]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}