{"id":"https://openalex.org/W2274761815","doi":"https://doi.org/10.1007/978-3-319-39086-4_15","title":"Anti-alignments in Conformance Checking \u2013 The Dark Side of Process Models","display_name":"Anti-alignments in Conformance Checking \u2013 The Dark Side of Process Models","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2274761815","doi":"https://doi.org/10.1007/978-3-319-39086-4_15","mag":"2274761815"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-39086-4_15","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-39086-4_15","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1007/978-3-319-39086-4_15","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082604436","display_name":"Thomas Chatain","orcid":"https://orcid.org/0000-0002-1470-5074"},"institutions":[{"id":"https://openalex.org/I11559806","display_name":"\u00c9cole Normale Sup\u00e9rieure Paris-Saclay","ror":"https://ror.org/00hx6zz33","country_code":"FR","type":"education","lineage":["https://openalex.org/I11559806","https://openalex.org/I277688954"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Thomas Chatain","raw_affiliation_strings":["LSV, ENS Cachan, CNRS, INRIA, Universit\u00e9 Paris-Saclay, Cachan, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LSV, ENS Cachan, CNRS, INRIA, Universit\u00e9 Paris-Saclay, Cachan, France","institution_ids":["https://openalex.org/I277688954","https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I1326498283"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052668419","display_name":"Josep Carmona","orcid":"https://orcid.org/0000-0001-9656-254X"},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Josep Carmona","raw_affiliation_strings":["Universitat Polit\u00e8cnica de Catalunya, Barcelona, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universitat Polit\u00e8cnica de Catalunya, Barcelona, Spain","institution_ids":["https://openalex.org/I9617848"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5082604436"],"corresponding_institution_ids":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":9.5212,"has_fulltext":false,"cited_by_count":30,"citation_normalized_percentile":{"value":0.98491084,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"240","last_page":"258"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9976999759674072,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9890999794006348,"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/conformance-checking","display_name":"Conformance checking","score":0.8591521978378296},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8387584686279297},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6959488391876221},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.6946938037872314},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.6517891883850098},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6146345734596252},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5438622832298279},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5178354382514954},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.49199578166007996},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4838901460170746},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4501962661743164},{"id":"https://openalex.org/keywords/metric-space","display_name":"Metric space","score":0.41855114698410034},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.35046565532684326},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.348652720451355},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.1857529580593109},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09262919425964355},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.07920262217521667}],"concepts":[{"id":"https://openalex.org/C2775948798","wikidata":"https://www.wikidata.org/wiki/Q5160261","display_name":"Conformance checking","level":5,"score":0.8591521978378296},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8387584686279297},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6959488391876221},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.6946938037872314},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.6517891883850098},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6146345734596252},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5438622832298279},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5178354382514954},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.49199578166007996},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4838901460170746},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4501962661743164},{"id":"https://openalex.org/C198043062","wikidata":"https://www.wikidata.org/wiki/Q180953","display_name":"Metric space","level":2,"score":0.41855114698410034},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35046565532684326},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.348652720451355},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.1857529580593109},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09262919425964355},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.07920262217521667},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.0},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-319-39086-4_15","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-39086-4_15","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:upcommons.upc.edu:2117/103958","is_oa":true,"landing_page_url":"https://hdl.handle.net/2117/103958","pdf_url":null,"source":{"id":"https://openalex.org/S4377196262","display_name":"UPCommons institutional repository (Universitat Polit\u00e8cnica de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I9617848","host_organization_name":"Universitat Polit\u00e8cnica de Catalunya","host_organization_lineage":["https://openalex.org/I9617848"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.1007/978-3-319-39086-4_15","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-39086-4_15","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"score":0.6100000143051147,"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W81859766","https://openalex.org/W628993325","https://openalex.org/W748503119","https://openalex.org/W1490658580","https://openalex.org/W1511963917","https://openalex.org/W1518705996","https://openalex.org/W1532820537","https://openalex.org/W1584520438","https://openalex.org/W1996109622","https://openalex.org/W1996760951","https://openalex.org/W2038057323","https://openalex.org/W2087103691","https://openalex.org/W2109837661","https://openalex.org/W2126106085","https://openalex.org/W2132077759","https://openalex.org/W2133527541","https://openalex.org/W2141890095","https://openalex.org/W2562661928","https://openalex.org/W4230145224","https://openalex.org/W4245630182"],"related_works":["https://openalex.org/W3128849215","https://openalex.org/W1572578464","https://openalex.org/W4281812495","https://openalex.org/W2804745155","https://openalex.org/W2736259393","https://openalex.org/W2529542719","https://openalex.org/W2997654205","https://openalex.org/W2182066955","https://openalex.org/W2162351207","https://openalex.org/W2106934209"],"abstract_inverted_index":{"Conformance":[0],"checking":[1,51],"techniques":[2,23,94],"asses":[3,54],"the":[4,26,55,58,63,68,71,78,83,86,99,125,137,144,163,169],"suitability":[5],"of":[6,19,57,70,85,90,98,127,165,171],"a":[7,17,44,91,115,130,172,177],"process":[8,34,116],"model":[9,59,72,117,138],"in":[10,49,103,136,155],"representing":[11],"an":[12],"underlying":[13],"process,":[14],"observed":[15,64,145],"through":[16],"collection":[18],"real":[20,113],"executions.":[21],"These":[22],"suffer":[24],"from":[25,143],"well-known":[27],"state":[28,41,88],"space":[29,89],"explosion":[30],"problem,":[31],"hence":[32],"handling":[33],"models":[35,184],"exhibiting":[36],"large":[37,183],"or":[38],"even":[39],"infinite":[40],"spaces":[42],"remains":[43],"challenge.":[45],"One":[46],"important":[47],"metric":[48],"conformance":[50],"is":[52],"to":[53,62,73,77,107,132,161],"precision":[56,100,156],"with":[60,182],"respect":[61],"executions,":[65],"i.e.,":[66],"characterize":[67],"ability":[69],"produce":[74],"behavior":[75],"unrelated":[76],"one":[79],"observed.":[80],"By":[81],"avoiding":[82],"computation":[84],"full":[87],"model,":[92],"current":[93,149],"only":[95],"provide":[96,176],"estimations":[97,150],"metric,":[101],"which":[102,179],"some":[104],"situations":[105],"tend":[106],"be":[108,152],"very":[109],"optimistic,":[110],"thus":[111],"hiding":[112],"problems":[114],"may":[118,140],"have.":[119],"In":[120],"this":[121],"paper":[122],"we":[123],"present":[124],"notion":[126],"anti-alignment":[128],"as":[129,168],"concept":[131],"help":[133],"unveiling":[134],"traces":[135],"that":[139],"deviate":[141],"significantly":[142],"behavior.":[146],"Using":[147],"anti-alignments,":[148],"can":[151,180],"improved,":[153],"e.g.,":[154],"checking.":[157],"We":[158],"show":[159],"how":[160],"express":[162],"problem":[164],"finding":[166],"anti-alignments":[167],"satisfiability":[170],"Boolean":[173],"formula,":[174],"and":[175],"tool":[178],"deal":[181],"efficiently.":[185]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3}],"updated_date":"2026-05-06T08:25:59.206177","created_date":"2025-10-10T00:00:00"}