{"id":"https://openalex.org/W6948986770","doi":"https://doi.org/10.5281/zenodo.12729675","title":"A Tool for Collaborative Consistency Checking During Modeling (dataset)","display_name":"A Tool for Collaborative Consistency Checking During Modeling (dataset)","publication_year":2024,"publication_date":"2024-07-11","ids":{"openalex":"https://openalex.org/W6948986770","doi":"https://doi.org/10.5281/zenodo.12729675"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.12729675","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.12729675","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"dataset"},"type":"dataset","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.12729675","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Marchezan, Luciano","orcid":"https://orcid.org/0000-0003-3096-580X"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Marchezan, Luciano","raw_affiliation_strings":["Johannes Kepler University of Linz"],"raw_orcid":"https://orcid.org/0000-0003-3096-580X","affiliations":[{"raw_affiliation_string":"Johannes Kepler University of Linz","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Homolka, Marcel","orcid":"https://orcid.org/0009-0008-5429-2068"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Homolka, Marcel","raw_affiliation_strings":["Johannes Kepler University of Linz"],"raw_orcid":"https://orcid.org/0009-0008-5429-2068","affiliations":[{"raw_affiliation_string":"Johannes Kepler University of Linz","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Blokhin, Andrei","orcid":null},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Blokhin, Andrei","raw_affiliation_strings":["Johannes Kepler University of Linz"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Johannes Kepler University of Linz","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Wesley K., G. Assun\u00e7\u00e3o","orcid":"https://orcid.org/0000-0002-7557-9091"},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wesley K., G. Assun\u00e7\u00e3o","raw_affiliation_strings":["North Carolina State University"],"raw_orcid":"https://orcid.org/0000-0002-7557-9091","affiliations":[{"raw_affiliation_string":"North Carolina State University","institution_ids":["https://openalex.org/I137902535"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Herac, Edvin","orcid":"https://orcid.org/0009-0004-7904-9065"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Herac, Edvin","raw_affiliation_strings":["Johannes Kepler University of Linz"],"raw_orcid":"https://orcid.org/0009-0004-7904-9065","affiliations":[{"raw_affiliation_string":"Johannes Kepler University of Linz","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"last","author":{"id":null,"display_name":"Egyed, Alexander","orcid":"https://orcid.org/0000-0003-3128-5427"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Egyed, Alexander","raw_affiliation_strings":["Johannes Kepler University of Linz"],"raw_orcid":"https://orcid.org/0000-0003-3128-5427","affiliations":[{"raw_affiliation_string":"Johannes Kepler University of Linz","institution_ids":["https://openalex.org/I121883995"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I121883995"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T12797","display_name":"History of Computing Technologies","score":0.16930000483989716,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/T12797","display_name":"History of Computing Technologies","score":0.16930000483989716,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/T13898","display_name":"Diverse Interdisciplinary Research Studies","score":0.07599999755620956,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.041999999433755875,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6414999961853027},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5873000025749207},{"id":"https://openalex.org/keywords/commit","display_name":"Commit","score":0.5446000099182129},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.5418999791145325},{"id":"https://openalex.org/keywords/class-diagram","display_name":"Class diagram","score":0.4645000100135803},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.42719998955726624},{"id":"https://openalex.org/keywords/metamodeling","display_name":"Metamodeling","score":0.41819998621940613},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.3671000003814697}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8389999866485596},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6414999961853027},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5873000025749207},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.557200014591217},{"id":"https://openalex.org/C153180980","wikidata":"https://www.wikidata.org/wiki/Q19776675","display_name":"Commit","level":2,"score":0.5446000099182129},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.5418999791145325},{"id":"https://openalex.org/C202446494","wikidata":"https://www.wikidata.org/wiki/Q664166","display_name":"Class diagram","level":4,"score":0.4645000100135803},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.43810001015663147},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.42719998955726624},{"id":"https://openalex.org/C86610423","wikidata":"https://www.wikidata.org/wiki/Q1925081","display_name":"Metamodeling","level":2,"score":0.41819998621940613},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3671000003814697},{"id":"https://openalex.org/C198531522","wikidata":"https://www.wikidata.org/wiki/Q485146","display_name":"Sample (material)","level":2,"score":0.3603000044822693},{"id":"https://openalex.org/C64219723","wikidata":"https://www.wikidata.org/wiki/Q423262","display_name":"Activity diagram","level":4,"score":0.33320000767707825},{"id":"https://openalex.org/C149271511","wikidata":"https://www.wikidata.org/wiki/Q1417149","display_name":"Rule-based system","level":2,"score":0.3321000039577484},{"id":"https://openalex.org/C153185123","wikidata":"https://www.wikidata.org/wiki/Q1391624","display_name":"Sequence diagram","level":4,"score":0.3249000012874603},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3239000141620636},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.31150001287460327},{"id":"https://openalex.org/C4924752","wikidata":"https://www.wikidata.org/wiki/Q184148","display_name":"Plug-in","level":2,"score":0.30300000309944153},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.2948000133037567},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.29159998893737793},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.2858000099658966},{"id":"https://openalex.org/C171078966","wikidata":"https://www.wikidata.org/wiki/Q111029","display_name":"Root (linguistics)","level":2,"score":0.2768000066280365},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2680000066757202},{"id":"https://openalex.org/C89505385","wikidata":"https://www.wikidata.org/wiki/Q47146","display_name":"User interface","level":2,"score":0.2533999979496002}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.12729675","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.12729675","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"dataset"}],"best_oa_location":{"id":"doi:10.5281/zenodo.12729675","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.12729675","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"dataset"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"dataset":[1],"contains":[2,20],"a":[3,21,76,80,90,96,151,192],"few":[4],"snapshots":[5],"as":[6,8,183],"well":[7],"the":[9,13,24,28,37,45,57,63,66,93,99,102,107,110,121,125,132,137,145,163,174,179,205,212,229],"jar":[10],"files":[11],"for":[12,92,98],"tools":[14],"(server":[15],"and":[16,59,83,106],"client).":[17],"It":[18],"also":[19],"image":[22],"displayng":[23],"metamodel":[25,112],"representation":[26],"of":[27,109,144,231],"streamlined":[29],"language":[30,104],"(Metamodel-sUML)":[31],"which":[32],"is":[33,134],"used":[34],"to":[35,55,149,201,204],"define":[36],"models":[38],"created":[39],"by":[40],"our":[41],"sUML":[42],"modeler.":[43],"Running":[44],"tools:":[46,139],"Requirements:":[47],"Windows":[48],"10/11":[49],"JDK":[50],"21":[51],"or":[52],"above":[53],"How":[54],"run":[56],"server":[58],"add":[60,75],"rules:":[61,239],"Run":[62,136],"DesignSpace-Server":[64],"On":[65],"top":[67],"menu,":[68],"click":[69,114],"Consistency":[70],">":[71,209,218,235],"Rule":[72],"Editor":[73],"To":[74,166,227],"new":[77],"rule,":[78],"select":[79,150,170,207,233],"Language":[81],"(sUMLv3)":[82],"an":[84,142],"instance":[85,143],"type":[86],"(e.g.,":[87],"Class)":[88],"Add":[89,95],"name":[91],"rule":[94,100,122,133],"definition":[97],"(use":[101],"ARL":[103],"(https://isse.jku.at/designspace/index.php/Abstract_Rule_Language)":[105],"properties":[108],"UML":[111],"Always":[113,190],"validate":[115],"(if":[116],"there":[117,154],"are":[118,130,155],"erros":[119,129],"in":[120],"defintioj,":[123],"check":[124],"log)":[126],"If":[127],"no":[128],"found,":[131],"created.":[135],"modeler":[138],"When":[140],"running":[141],"sUML-Modeler,":[146],"you":[147],"need":[148],"user":[152,176,185],"(currently":[153],"four":[156],"users,":[157],"more":[158],"can":[159,186],"be":[160,202],"added":[161],"using":[162],"DesignSpace":[164,208,217],"server)":[165],"connect":[167,188],"multiple":[168],"tools,":[169],"different":[171],"users":[172],"(selecting":[173],"same":[175],"will":[177,220],"close":[178],"previously":[180],"connected":[181],"tool":[182,213],"each":[184],"only":[187],"once)":[189],"create":[191],"root":[193],"model":[194],"before":[195],"adding":[196],"other":[197],"diagrams":[198],"For":[199],"changes":[200,222],"sent":[203],"server,":[206],"Commit":[210],"from":[211],"menu":[214],"The":[215],"option":[216],"Update":[219],"pull":[221],"(in":[223],"case":[224],"they":[225],"exist)":[226],"enable":[228],"highlighting":[230],"inconsistencies,":[232],"Validate":[234],"Display":[236],"Inconsistencies":[237],"Sample":[238],"Instance":[240,260],"Type:":[241,261],"class":[242,245,262,265],"Name:":[243,263],"A":[244,264],"must":[246,266],"have":[247,267],"unique":[248,268],"operations":[249],"self.operations->forAll(o1,":[250],"o2":[251,255],"|":[252,272],"o1":[253],"<>":[254,258,274,278],"implies":[256,276],"o1.name":[257],"o2.name)":[259],"attributes":[269],"self.attributes->forAll(a1,":[270],"a2":[271,275],"a1":[273],"a1.name":[277],"a2.name)":[279]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}