{"id":"https://openalex.org/W1998649124","doi":"https://doi.org/10.1142/s0218194008003829","title":"A TOOL BASED ON DL FOR UML MODEL CONSISTENCY CHECKING","display_name":"A TOOL BASED ON DL FOR UML MODEL CONSISTENCY CHECKING","publication_year":2008,"publication_date":"2008-09-01","ids":{"openalex":"https://openalex.org/W1998649124","doi":"https://doi.org/10.1142/s0218194008003829","mag":"1998649124"},"language":"en","primary_location":{"id":"doi:10.1142/s0218194008003829","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194008003829","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://americanae.aecid.es/americanae/es/registros/registro.do?tipoRegistro=MTD&idBib=3265235","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5035748271","display_name":"Jocelyn Simmonds","orcid":"https://orcid.org/0000-0002-1253-9260"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"JOCELYN SIMMONDS","raw_affiliation_strings":["Computer Science Department, University of Toronto, Room 3302, Sandford Fleming Building, 10 King's College Road, Toronto, Ontario M5S 3G4, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, University of Toronto, Room 3302, Sandford Fleming Building, 10 King's College Road, Toronto, Ontario M5S 3G4, Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039952062","display_name":"Mar\u00eda Cecilia Bastarrica","orcid":"https://orcid.org/0000-0002-8616-2144"},"institutions":[{"id":"https://openalex.org/I69737025","display_name":"University of Chile","ror":"https://ror.org/047gc3g35","country_code":"CL","type":"education","lineage":["https://openalex.org/I69737025"]}],"countries":["CL"],"is_corresponding":false,"raw_author_name":"MAR\u00cdA CECILIA BASTARRICA","raw_affiliation_strings":["Computer Science Department, Universidad de Chile, Blanco Encalada 2120, Santiago, Chile"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Universidad de Chile, Blanco Encalada 2120, Santiago, Chile","institution_ids":["https://openalex.org/I69737025"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085139932","display_name":"Nancy Hitschfeld","orcid":"https://orcid.org/0000-0003-4923-4679"},"institutions":[{"id":"https://openalex.org/I69737025","display_name":"University of Chile","ror":"https://ror.org/047gc3g35","country_code":"CL","type":"education","lineage":["https://openalex.org/I69737025"]}],"countries":["CL"],"is_corresponding":false,"raw_author_name":"NANCY HITSCHFELD-KAHLER","raw_affiliation_strings":["Computer Science Department, Universidad de Chile, Blanco Encalada 2120, Santiago, Chile"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Universidad de Chile, Blanco Encalada 2120, Santiago, Chile","institution_ids":["https://openalex.org/I69737025"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109453345","display_name":"Sebasti\u00e1n Rivas","orcid":null},"institutions":[{"id":"https://openalex.org/I69737025","display_name":"University of Chile","ror":"https://ror.org/047gc3g35","country_code":"CL","type":"education","lineage":["https://openalex.org/I69737025"]}],"countries":["CL"],"is_corresponding":false,"raw_author_name":"SEBASTI\u00c1N RIVAS","raw_affiliation_strings":["Computer Science Department, Universidad de Chile, Blanco Encalada 2120, Santiago, Chile"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Universidad de Chile, Blanco Encalada 2120, Santiago, Chile","institution_ids":["https://openalex.org/I69737025"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0195,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.79282798,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"18","issue":"06","first_page":"713","last_page":"735"},"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.9998999834060669,"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.9998999834060669,"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/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9988999962806702,"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/metamodeling","display_name":"Metamodeling","score":0.8330346345901489},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7303406000137329},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.7011686563491821},{"id":"https://openalex.org/keywords/uml-tool","display_name":"UML tool","score":0.7003240585327148},{"id":"https://openalex.org/keywords/applications-of-uml","display_name":"Applications of UML","score":0.6331772804260254},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6208822727203369},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.48814210295677185},{"id":"https://openalex.org/keywords/object-constraint-language","display_name":"Object Constraint Language","score":0.4455912709236145},{"id":"https://openalex.org/keywords/interoperability","display_name":"Interoperability","score":0.4442654848098755},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.41553401947021484},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.40844428539276123},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.21445226669311523},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16649821400642395},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.08351579308509827}],"concepts":[{"id":"https://openalex.org/C86610423","wikidata":"https://www.wikidata.org/wiki/Q1925081","display_name":"Metamodeling","level":2,"score":0.8330346345901489},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7303406000137329},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.7011686563491821},{"id":"https://openalex.org/C146939238","wikidata":"https://www.wikidata.org/wiki/Q2467310","display_name":"UML tool","level":4,"score":0.7003240585327148},{"id":"https://openalex.org/C41298492","wikidata":"https://www.wikidata.org/wiki/Q4781506","display_name":"Applications of UML","level":4,"score":0.6331772804260254},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6208822727203369},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.48814210295677185},{"id":"https://openalex.org/C133264317","wikidata":"https://www.wikidata.org/wiki/Q1397689","display_name":"Object Constraint Language","level":5,"score":0.4455912709236145},{"id":"https://openalex.org/C20136886","wikidata":"https://www.wikidata.org/wiki/Q749647","display_name":"Interoperability","level":2,"score":0.4442654848098755},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.41553401947021484},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.40844428539276123},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.21445226669311523},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16649821400642395},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.08351579308509827}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1142/s0218194008003829","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194008003829","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"},{"id":"pmh:oai:americanae.aecid.es:3265235","is_oa":true,"landing_page_url":"http://americanae.aecid.es/americanae/es/registros/registro.do?tipoRegistro=MTD&idBib=3265235","pdf_url":null,"source":{"id":"https://openalex.org/S4306400786","display_name":"Americanae (AECID Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:localhost:10533/142312","is_oa":true,"landing_page_url":"http://hdl.handle.net/10533/142312","pdf_url":null,"source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:americanae.aecid.es:3265235","is_oa":true,"landing_page_url":"http://americanae.aecid.es/americanae/es/registros/registro.do?tipoRegistro=MTD&idBib=3265235","pdf_url":null,"source":{"id":"https://openalex.org/S4306400786","display_name":"Americanae (AECID Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W57854654","https://openalex.org/W99545732","https://openalex.org/W311418300","https://openalex.org/W1555563750","https://openalex.org/W1571113842","https://openalex.org/W1601314163","https://openalex.org/W1817859439","https://openalex.org/W1975402425","https://openalex.org/W1992171335","https://openalex.org/W2020034474","https://openalex.org/W2038476425","https://openalex.org/W2101911808","https://openalex.org/W2102626454","https://openalex.org/W2115309705","https://openalex.org/W2618896829","https://openalex.org/W3126422154","https://openalex.org/W3127496070","https://openalex.org/W3128398416","https://openalex.org/W3132061357","https://openalex.org/W3146347964"],"related_works":["https://openalex.org/W1991550997","https://openalex.org/W1601767717","https://openalex.org/W4241150048","https://openalex.org/W4230811716","https://openalex.org/W1529433638","https://openalex.org/W2135940322","https://openalex.org/W1495459135","https://openalex.org/W4229884746","https://openalex.org/W2734275018","https://openalex.org/W2140175861"],"abstract_inverted_index":{"Automated":[0],"consistency":[1,34,84],"checking":[2],"of":[3,43,65,123,131],"UML":[4,17,82],"models":[5,9],"becomes":[6],"necessary":[7],"as":[8,87,98],"grow":[10],"in":[11,60],"size":[12],"and":[13,46,94,110],"complexity.":[14],"Since":[15],"the":[16,33,44,47,121],"metamodel":[18,45],"does":[19],"not":[20],"enforce":[21],"model":[22,50,83],"consistency,":[23],"there":[24],"are":[25,38],"no":[26],"fixed":[27],"guidelines":[28],"on":[29,96],"how":[30],"to":[31,56,69,74,103,125],"approach":[32],"problem.":[35],"Current":[36],"solutions":[37],"generally":[39],"partial.":[40],"The":[41],"translation":[42],"user":[48],"designed":[49],"into":[51],"Description":[52],"Logics":[53],"has":[54],"proved":[55],"provide":[57],"a":[58,62,81,88,99,108,115,126,132],"solution":[59,72],"detecting":[61],"large":[63,129],"set":[64],"inconsistencies.":[66],"In":[67],"order":[68],"make":[70],"this":[71],"available":[73],"system":[75],"designers,":[76],"we":[77,106],"have":[78],"implemented":[79],"MCC+,":[80],"checker,":[85],"built":[86],"plug-in":[89],"for":[90,92],"Poseidon":[91],"UML,":[93],"relying":[95],"Jena":[97],"reasoning":[100],"engine.":[101],"Compared":[102],"other":[104],"approaches,":[105],"propose":[107],"usable":[109],"scalable":[111],"solution,":[112],"interoperable":[113],"with":[114],"known":[116],"modeling":[117],"tool.":[118,134],"We":[119],"show":[120],"application":[122],"MCC+":[124],"real":[127],"world":[128],"example":[130],"meshing":[133]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}