{"id":"https://openalex.org/W3108758388","doi":"https://doi.org/10.1145/3400286.3418257","title":"Mapping Study on Constraint Consistency Checking in Distributed Enterprise Systems","display_name":"Mapping Study on Constraint Consistency Checking in Distributed Enterprise Systems","publication_year":2020,"publication_date":"2020-10-13","ids":{"openalex":"https://openalex.org/W3108758388","doi":"https://doi.org/10.1145/3400286.3418257","mag":"3108758388"},"language":"en","primary_location":{"id":"doi:10.1145/3400286.3418257","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3400286.3418257","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the International Conference on Research in Adaptive and Convergent Systems","raw_type":"proceedings-article"},"type":"conference-paper","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":null,"display_name":"Tomas Cerny","orcid":null},"institutions":[{"id":"https://openalex.org/I157394403","display_name":"Baylor University","ror":"https://ror.org/005781934","country_code":"US","type":"education","lineage":["https://openalex.org/I157394403"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tomas Cerny","raw_affiliation_strings":["Computer Science, Baylor University, Waco, Texas, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science, Baylor University, Waco, Texas, USA","institution_ids":["https://openalex.org/I157394403"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056330342","display_name":"Andrew Walker","orcid":null},"institutions":[{"id":"https://openalex.org/I157394403","display_name":"Baylor University","ror":"https://ror.org/005781934","country_code":"US","type":"education","lineage":["https://openalex.org/I157394403"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew Walker","raw_affiliation_strings":["Computer Science, Baylor University, Waco, Texas, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science, Baylor University, Waco, Texas, USA","institution_ids":["https://openalex.org/I157394403"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047506515","display_name":"Jan Svacina","orcid":"https://orcid.org/0000-0002-6958-6455"},"institutions":[{"id":"https://openalex.org/I157394403","display_name":"Baylor University","ror":"https://ror.org/005781934","country_code":"US","type":"education","lineage":["https://openalex.org/I157394403"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jan Svacina","raw_affiliation_strings":["Computer Science, Baylor University, Waco, Texas, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science, Baylor University, Waco, Texas, USA","institution_ids":["https://openalex.org/I157394403"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025926043","display_name":"Vincent Bushong","orcid":"https://orcid.org/0000-0003-0475-4232"},"institutions":[{"id":"https://openalex.org/I157394403","display_name":"Baylor University","ror":"https://ror.org/005781934","country_code":"US","type":"education","lineage":["https://openalex.org/I157394403"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vincent Bushong","raw_affiliation_strings":["Computer Science, Baylor University, Waco, Texas, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science, Baylor University, Waco, Texas, USA","institution_ids":["https://openalex.org/I157394403"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009314142","display_name":"Dipta Das","orcid":"https://orcid.org/0000-0001-8366-2453"},"institutions":[{"id":"https://openalex.org/I157394403","display_name":"Baylor University","ror":"https://ror.org/005781934","country_code":"US","type":"education","lineage":["https://openalex.org/I157394403"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dipta Das","raw_affiliation_strings":["Computer Science, Baylor University, Waco, Texas, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science, Baylor University, Waco, Texas, USA","institution_ids":["https://openalex.org/I157394403"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085950015","display_name":"Karel Frajt\u00e1k","orcid":"https://orcid.org/0000-0003-4133-2805"},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Karel Frajtak","raw_affiliation_strings":["CS, FEE, Czech Technical University, Prague, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CS, FEE, Czech Technical University, Prague, Czech Republic","institution_ids":["https://openalex.org/I44504214"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025223600","display_name":"Miroslav Bure\u0161","orcid":"https://orcid.org/0000-0002-2994-7826"},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Miroslav Bures","raw_affiliation_strings":["CS, FEE, Czech Technical University, Prague, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CS, FEE, Czech Technical University, Prague, Czech Republic","institution_ids":["https://openalex.org/I44504214"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043070640","display_name":"Pavel Tisnovsky","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pavel Tisnovsky","raw_affiliation_strings":["Red Hat, Brno, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Red Hat, Brno, Czech Republic","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"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":"167","last_page":"174"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9995999932289124,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9995999932289124,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.8130917549133301},{"id":"https://openalex.org/keywords/codebase","display_name":"Codebase","score":0.801017165184021},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.779840350151062},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.6108636260032654},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5389071702957153},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.523850679397583},{"id":"https://openalex.org/keywords/local-consistency","display_name":"Local consistency","score":0.5165411829948425},{"id":"https://openalex.org/keywords/categorization","display_name":"Categorization","score":0.4792344868183136},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.449256956577301},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.4359104633331299},{"id":"https://openalex.org/keywords/data-consistency","display_name":"Data consistency","score":0.3975491523742676},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.370646208524704},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.34746015071868896},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.22081610560417175},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15427055954933167},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14852356910705566},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12726062536239624},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.09300053119659424}],"concepts":[{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.8130917549133301},{"id":"https://openalex.org/C51929080","wikidata":"https://www.wikidata.org/wiki/Q2425187","display_name":"Codebase","level":3,"score":0.801017165184021},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.779840350151062},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.6108636260032654},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5389071702957153},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.523850679397583},{"id":"https://openalex.org/C137105694","wikidata":"https://www.wikidata.org/wiki/Q3407510","display_name":"Local consistency","level":4,"score":0.5165411829948425},{"id":"https://openalex.org/C94124525","wikidata":"https://www.wikidata.org/wiki/Q912550","display_name":"Categorization","level":2,"score":0.4792344868183136},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.449256956577301},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.4359104633331299},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.3975491523742676},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.370646208524704},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.34746015071868896},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.22081610560417175},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15427055954933167},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14852356910705566},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12726062536239624},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.09300053119659424},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3400286.3418257","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3400286.3418257","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the International Conference on Research in Adaptive and Convergent Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.47999998927116394}],"awards":[{"id":"https://openalex.org/G7168573781","display_name":null,"funder_award_id":"1854049","funder_id":"https://openalex.org/F4320322898","funder_display_name":"Shota Rustaveli National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320322898","display_name":"Shota Rustaveli National Science Foundation","ror":"https://ror.org/00xc87681"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W1535654799","https://openalex.org/W1564594068","https://openalex.org/W1649645444","https://openalex.org/W1983421263","https://openalex.org/W1999798506","https://openalex.org/W2041190309","https://openalex.org/W2081668412","https://openalex.org/W2101832700","https://openalex.org/W2122232509","https://openalex.org/W2144864006","https://openalex.org/W2342316203","https://openalex.org/W2517999447","https://openalex.org/W2767094836","https://openalex.org/W2787027464","https://openalex.org/W2789843965","https://openalex.org/W2902927541","https://openalex.org/W2910778426","https://openalex.org/W2943213067","https://openalex.org/W2995229805","https://openalex.org/W3082215761","https://openalex.org/W3092054926","https://openalex.org/W3109470737","https://openalex.org/W3109519143","https://openalex.org/W3109707552","https://openalex.org/W4206828928","https://openalex.org/W4235175395","https://openalex.org/W4239249613","https://openalex.org/W4245709293","https://openalex.org/W4247883289","https://openalex.org/W4248616394","https://openalex.org/W4252230969","https://openalex.org/W4297097020","https://openalex.org/W4301168982","https://openalex.org/W4319288628"],"related_works":["https://openalex.org/W1941941198","https://openalex.org/W1967597280","https://openalex.org/W14991534","https://openalex.org/W2358334493","https://openalex.org/W2096498751","https://openalex.org/W326611788","https://openalex.org/W2163595382","https://openalex.org/W2971748376","https://openalex.org/W4398186165","https://openalex.org/W2322874084"],"abstract_inverted_index":{"Constraint":[0],"consistency":[1,77],"errors":[2],"in":[3,28,40,47,79,128,135,145],"distributed":[4,48,80],"systems":[5,42],"can":[6],"lead":[7],"to":[8,24,76,94,99,118,148],"fatal":[9],"consequences":[10],"when":[11,73,124],"left":[12],"unobserved":[13],"and":[14,69,90,98,108,116,131,143],"undetected.":[15],"The":[16],"primary":[17],"goal":[18],"of":[19,63,123,152],"quality":[20],"engineers":[21],"should":[22],"be":[23],"avoid":[25],"system":[26],"inconsistencies":[27],"general.":[29],"However,":[30],"it":[31,74],"is":[32,65],"typically":[33],"a":[34,84],"much":[35],"more":[36],"straight":[37],"forward":[38],"process":[39],"monolith-like":[41],"with":[43],"one":[44],"codebase":[45],"than":[46],"solutions":[49],"where":[50],"heterogeneity":[51],"occurs":[52],"across":[53],"modules.":[54],"In":[55],"this":[56,129,136,146],"paper,":[57],"we":[58,132,139],"raise":[59],"the":[60,66,92,96,111,121,150,153],"research":[61,70,127,154],"question":[62],"what":[64],"existing":[67,88],"state-of-the-art":[68],"literature":[71],"practice":[72],"comes":[75],"checking":[78],"systems.":[81],"We":[82],"conducted":[83],"systematic":[85],"search":[86],"for":[87],"work":[89],"assess":[91],"evidence":[93],"categorize":[95],"approaches":[97],"identify":[100],"used":[101],"techniques.":[102],"Identified":[103],"works":[104,112],"offer":[105],"interesting":[106],"directions":[107],"achievements.":[109],"Often":[110],"share":[113,133],"tool":[114],"prototypes":[115],"instruments":[117],"build":[119],"on":[120],"top":[122],"performing":[125],"further":[126],"direction":[130],"them":[134],"paper.":[137],"Finally,":[138],"discuss":[140],"open":[141],"challenges":[142],"gaps":[144],"field":[147],"promote":[149],"interest":[151],"audience.":[155]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}