{"id":"https://openalex.org/W4249182339","doi":"https://doi.org/10.1007/s00165-021-00557-0","title":"Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming","display_name":"Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming","publication_year":2021,"publication_date":"2021-08-24","ids":{"openalex":"https://openalex.org/W4249182339","doi":"https://doi.org/10.1007/s00165-021-00557-0"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-021-00557-0","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-021-00557-0","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1007/s00165-021-00557-0","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083939984","display_name":"Nils B. Weidmann","orcid":"https://orcid.org/0000-0002-4791-4913"},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Nils Weidmann","raw_affiliation_strings":["Paderborn University, Paderborn, Germany"],"affiliations":[{"raw_affiliation_string":"Paderborn University, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013008708","display_name":"Anthony Anjorin","orcid":"https://orcid.org/0000-0001-6213-6243"},"institutions":[{"id":"https://openalex.org/I137230718","display_name":"Ingenieurgesellschaft Auto und Verkehr (Germany)","ror":"https://ror.org/00j4h9q86","country_code":"DE","type":"company","lineage":["https://openalex.org/I137230718"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Anthony Anjorin","raw_affiliation_strings":["IAV GmbH Ingenieurgesellschaft Auto und Verkehr, Berlin, Germany"],"affiliations":[{"raw_affiliation_string":"IAV GmbH Ingenieurgesellschaft Auto und Verkehr, Berlin, Germany","institution_ids":["https://openalex.org/I137230718"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5083939984"],"corresponding_institution_ids":["https://openalex.org/I206945453"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.2992083,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"33","issue":"6","first_page":"1115","last_page":"1145"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9944000244140625,"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.9939000010490417,"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.7871601581573486},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6028062105178833},{"id":"https://openalex.org/keywords/schema","display_name":"Schema (genetic algorithms)","score":0.5721436738967896},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5362709164619446},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5024323463439941},{"id":"https://openalex.org/keywords/weak-consistency","display_name":"Weak consistency","score":0.42641979455947876},{"id":"https://openalex.org/keywords/strong-consistency","display_name":"Strong consistency","score":0.15129947662353516},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1393473744392395},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.10232222080230713}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7871601581573486},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6028062105178833},{"id":"https://openalex.org/C52146309","wikidata":"https://www.wikidata.org/wiki/Q7431116","display_name":"Schema (genetic algorithms)","level":2,"score":0.5721436738967896},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5362709164619446},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5024323463439941},{"id":"https://openalex.org/C122377713","wikidata":"https://www.wikidata.org/wiki/Q4422799","display_name":"Weak consistency","level":4,"score":0.42641979455947876},{"id":"https://openalex.org/C31388003","wikidata":"https://www.wikidata.org/wiki/Q7624548","display_name":"Strong consistency","level":3,"score":0.15129947662353516},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1393473744392395},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.10232222080230713},{"id":"https://openalex.org/C185429906","wikidata":"https://www.wikidata.org/wiki/Q1130160","display_name":"Estimator","level":2,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00165-021-00557-0","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-021-00557-0","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s00165-021-00557-0","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-021-00557-0","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W117878457","https://openalex.org/W161809560","https://openalex.org/W1485542170","https://openalex.org/W1511832825","https://openalex.org/W1678103179","https://openalex.org/W1735907894","https://openalex.org/W1794155181","https://openalex.org/W1991633729","https://openalex.org/W2049244577","https://openalex.org/W2055076895","https://openalex.org/W2162273427","https://openalex.org/W2169424671","https://openalex.org/W2338133747","https://openalex.org/W2723261621","https://openalex.org/W2767713622","https://openalex.org/W2794608298","https://openalex.org/W2972700675","https://openalex.org/W2979555798","https://openalex.org/W2980131809","https://openalex.org/W3018867236","https://openalex.org/W3019756670","https://openalex.org/W3038101674","https://openalex.org/W3090741161","https://openalex.org/W3103166189","https://openalex.org/W3108577037","https://openalex.org/W4205916380"],"related_works":["https://openalex.org/W2072806201","https://openalex.org/W2024218563","https://openalex.org/W1517743118","https://openalex.org/W1516169988","https://openalex.org/W2965845133","https://openalex.org/W2166247150","https://openalex.org/W4243252198","https://openalex.org/W3122287721","https://openalex.org/W3123835709","https://openalex.org/W3161948876"],"abstract_inverted_index":{"Abstract":[0],"In":[1],"the":[2,139,163,183,201],"field":[3],"of":[4,19,27,59,141,154,204,220,274],"Model-Driven":[5],"Engineering,":[6],"Triple":[7],"Graph":[8],"Grammars":[9],"(TGGs)":[10],"play":[11],"an":[12,135],"important":[13],"role":[14],"as":[15,79,105,170],"a":[16,24,28,83,123,150,216,230,248],"rule-based":[17],"means":[18],"implementing":[20],"consistency":[21,29,41,89],"management.":[22],"From":[23],"declarative":[25],"specification":[26],"relation,":[30],"several":[31],"operations":[32,132],"including":[33],"forward":[34],"and":[35,40,242,265],"backward":[36],"transformations,":[37],"(concurrent)":[38],"synchronisation,":[39],"checks":[42],"can":[43,74,193],"be":[44,50,103,178,196,260],"automatically":[45,197],"derived.":[46],"For":[47],"TGGs":[48,214],"to":[49,102,107,122,138,165,177,199,213,259,270],"applicable":[51],"in":[52,57,82,194,247],"realistic":[53],"application":[54,100,155,171,205],"scenarios,":[55],"expressiveness":[56],"terms":[58],"supported":[60],"language":[61],"features":[62],"is":[63,69,112,133,159,188,258],"very":[64,151,217],"important.":[65],"A":[66],"TGG":[67,97,146,184],"tool":[68],"schema":[70,94,126,235,256],"compliant":[71],"if":[72],"it":[73,158],"take":[75],"domain":[76,168,186,191,221,251],"constraints,":[77,252],"such":[78],"multiplicity":[80],"constraints":[81,169,192],"meta-model,":[84],"into":[85],"account":[86],"when":[87,255],"performing":[88],"management":[90],"tasks.":[91],"To":[92,223],"guarantee":[93],"compliance,":[95],"most":[96],"tools":[98,147],"allow":[99],"conditions":[101],"attached":[104],"necessary":[106],"relevant":[108],"rules.":[109],"This":[110],"strategy":[111,232],"problematic":[113],"for":[114,127,162,215,233],"at":[115],"least":[116],"two":[117],"reasons:":[118],"First,":[119],"ensuring":[120],"compliance":[121,257],"sufficiently":[124],"expressive":[125],"all":[128,144,240],"previously":[129,245],"mentioned":[130],"derived":[131],"still":[134,253],"open":[136],"challenge;":[137],"best":[140],"our":[142,272],"knowledge,":[143],"existing":[145],"only":[148,209],"support":[149,271],"restricted":[152],"subset":[153,219],"conditions.":[156],"Second,":[157],"conceptually":[160],"demanding":[161],"user":[164],"indirectly":[166],"specify":[167],"conditions,":[172,206],"especially":[173],"because":[174],"this":[175,207,227],"has":[176,208],"completely":[179],"revisited":[180],"every":[181],"time":[182],"or":[185],"constraint":[187],"changed.":[189],"While":[190],"theory":[195],"transformed":[198],"obtain":[200],"required":[202],"set":[203],"been":[210],"successfully":[211],"transferred":[212],"limited":[218],"constraints.":[222],"address":[224],"these":[225],"limitations,":[226],"paper":[228],"proposes":[229],"search-based":[231],"achieving":[234],"compliance.":[236],"We":[237],"show":[238],"that":[239],"correctness":[241],"completeness":[243],"properties,":[244],"proven":[246],"setting":[249],"without":[250],"hold":[254],"additionally":[261],"guaranteed.":[262],"An":[263],"implementation":[264],"experimental":[266],"evaluation":[267],"are":[268],"provided":[269],"claim":[273],"practical":[275],"applicability.":[276]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}