{"id":"https://openalex.org/W2894865449","doi":"https://doi.org/10.1145/3239372.3239398","title":"Mathematical Programming for Anomaly Analysis of Clafer Models","display_name":"Mathematical Programming for Anomaly Analysis of Clafer Models","publication_year":2018,"publication_date":"2018-10-04","ids":{"openalex":"https://openalex.org/W2894865449","doi":"https://doi.org/10.1145/3239372.3239398","mag":"2894865449"},"language":"en","primary_location":{"id":"doi:10.1145/3239372.3239398","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3239372.3239398","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems","raw_type":"proceedings-article"},"type":"article","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":"https://openalex.org/A5006521931","display_name":"Markus Weckesser","orcid":"https://orcid.org/0000-0002-6999-2146"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Markus Weckesser","raw_affiliation_strings":["TU Darmstadt"],"affiliations":[{"raw_affiliation_string":"TU Darmstadt","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056787798","display_name":"Malte Lochau","orcid":"https://orcid.org/0000-0002-8404-753X"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Malte Lochau","raw_affiliation_strings":["TU Darmstadt"],"affiliations":[{"raw_affiliation_string":"TU Darmstadt","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075282758","display_name":"Michael Ries","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Michael Ries","raw_affiliation_strings":["facility Boss GmbH"],"affiliations":[{"raw_affiliation_string":"facility Boss GmbH","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013053241","display_name":"Andy Sch\u00fcrr","orcid":"https://orcid.org/0000-0001-8100-1109"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Andy Sch\u00fcrr","raw_affiliation_strings":["TU Darmstadt"],"affiliations":[{"raw_affiliation_string":"TU Darmstadt","institution_ids":["https://openalex.org/I31512782"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5006521931"],"corresponding_institution_ids":["https://openalex.org/I31512782"],"apc_list":null,"apc_paid":null,"fwci":0.3258,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.67841712,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"34","last_page":"44"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"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/T10260","display_name":"Software Engineering Research","score":0.9991000294685364,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9988999962806702,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7111333608627319},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.6372678279876709},{"id":"https://openalex.org/keywords/cardinality","display_name":"Cardinality (data modeling)","score":0.5478826761245728},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5406806468963623},{"id":"https://openalex.org/keywords/a-priori-and-a-posteriori","display_name":"A priori and a posteriori","score":0.4761509895324707},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.4121389389038086},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.40218985080718994},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3581187129020691},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3248019218444824},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2445892095565796}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7111333608627319},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6372678279876709},{"id":"https://openalex.org/C87117476","wikidata":"https://www.wikidata.org/wiki/Q362383","display_name":"Cardinality (data modeling)","level":2,"score":0.5478826761245728},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5406806468963623},{"id":"https://openalex.org/C75553542","wikidata":"https://www.wikidata.org/wiki/Q178161","display_name":"A priori and a posteriori","level":2,"score":0.4761509895324707},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.4121389389038086},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.40218985080718994},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3581187129020691},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3248019218444824},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2445892095565796},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3239372.3239398","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3239372.3239398","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2823743355","display_name":null,"funder_award_id":"CRC 1053, SPP 1593","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G7540172334","display_name":null,"funder_award_id":"LOEWE SF 4.0","funder_id":"https://openalex.org/F4320321961","funder_display_name":"Hessisches Ministerium f\u00fcr Wissenschaft und Kunst"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320321961","display_name":"Hessisches Ministerium f\u00fcr Wissenschaft und Kunst","ror":"https://ror.org/00zd5gr55"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W31562250","https://openalex.org/W185995421","https://openalex.org/W1586175325","https://openalex.org/W1598023088","https://openalex.org/W1608654004","https://openalex.org/W1895387792","https://openalex.org/W1965717968","https://openalex.org/W1977093069","https://openalex.org/W1979037869","https://openalex.org/W1983392476","https://openalex.org/W2027510748","https://openalex.org/W2067838808","https://openalex.org/W2070757058","https://openalex.org/W2091920469","https://openalex.org/W2094810043","https://openalex.org/W2106106289","https://openalex.org/W2108501365","https://openalex.org/W2109048137","https://openalex.org/W2110316735","https://openalex.org/W2113201637","https://openalex.org/W2125853721","https://openalex.org/W2305589459","https://openalex.org/W2521373464","https://openalex.org/W2762869699","https://openalex.org/W2767318079"],"related_works":["https://openalex.org/W2972379433","https://openalex.org/W2331020993","https://openalex.org/W4383764068","https://openalex.org/W1481826604","https://openalex.org/W1797057780","https://openalex.org/W3187762542","https://openalex.org/W2583753471","https://openalex.org/W2583549044","https://openalex.org/W2989332944","https://openalex.org/W4385411778"],"abstract_inverted_index":{"Clafer":[0,17,109,134],"combines":[1],"UML-like":[2],"class-":[3],"and":[4,9,27,58,114],"meta-modeling":[5],"with":[6,81],"feature-oriented":[7],"variability-modeling":[8],"first-order":[10],"logic":[11],"constraints.":[12],"The":[13],"considerable":[14],"expressiveness":[15],"of":[16,37,54,107,122,148,155],"mainly":[18],"stems":[19],"from":[20,129],"its":[21],"built-in":[22],"variability":[23],"constructs,":[24],"multiplicity":[25],"annotations":[26],"recursive":[28],"model":[29,39,50,56],"structures":[30],"which":[31],"yield":[32],"a":[33,42,93,101,119],"potentially":[34],"unbounded":[35],"number":[36],"valid":[38,55],"instances.":[40],"As":[41],"result,":[43],"automated":[44,97],"reasoning":[45],"about":[46],"semantic":[47,123],"properties":[48],"like":[49],"consistency":[51],"(i.e.,":[52],"existence":[53],"instances)":[57],"anomalies":[59],"(e.g.,":[60],"false":[61],"cardinality":[62],"bounds)":[63],"is":[64],"very":[65],"challenging.":[66],"Recent":[67],"analysis":[68],"techniques":[69],"are":[70],"inherently":[71],"incomplete":[72],"as":[73,136,151,153,158],"they":[74],"impose":[75],"an":[76],"a-priori":[77],"finite":[78],"search":[79],"space":[80],"either":[82],"manually":[83],"or":[84],"heuristically":[85],"adjusted":[86],"bounds.":[87],"In":[88],"this":[89],"paper,":[90],"we":[91],"present":[92],"novel":[94],"approach":[95,126],"for":[96,100,118],"search-space":[98],"restriction":[99],"considerably":[102],"rich,":[103],"yet":[104],"decidable":[105],"fragment":[106],"the":[108],"language":[110],"that":[111],"guarantees":[112],"sound":[113],"complete":[115],"detection":[116,157],"results":[117],"wide":[120],"range":[121],"anomalies.":[124],"Our":[125,142],"employs":[127],"principles":[128],"mathematical":[130],"programming":[131],"by":[132],"encoding":[133],"models":[135],"Mixed":[137],"Integer":[138],"Linear":[139],"Programs":[140],"(MILP).":[141],"experimental":[143],"evaluation":[144],"shows":[145],"remarkable":[146],"improvements":[147],"runtime":[149],"efficiency":[150],"well":[152],"effectiveness":[154],"anomaly":[156],"compared":[159],"to":[160],"existing":[161],"techniques.":[162]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":4},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}