{"id":"https://openalex.org/W3036966105","doi":"https://doi.org/10.1145/3401335.3401355","title":"Automated Sustainability Compliance Checking Using Process Mining and Formal Logic","display_name":"Automated Sustainability Compliance Checking Using Process Mining and Formal Logic","publication_year":2020,"publication_date":"2020-06-21","ids":{"openalex":"https://openalex.org/W3036966105","doi":"https://doi.org/10.1145/3401335.3401355","mag":"3036966105"},"language":"en","primary_location":{"id":"doi:10.1145/3401335.3401355","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3401335.3401355","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th International Conference on ICT for Sustainability","raw_type":"proceedings-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2006.05777","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Clemens Schreiber","orcid":null},"institutions":[{"id":"https://openalex.org/I102335020","display_name":"Karlsruhe Institute of Technology","ror":"https://ror.org/04t3en479","country_code":"DE","type":"education","lineage":["https://openalex.org/I102335020","https://openalex.org/I1305996414"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Clemens Schreiber","raw_affiliation_strings":["AIFB, Karlsruhe Institute of Technology, Karlsruhe, Baden-W\u00fcrttemberg, Germany"],"affiliations":[{"raw_affiliation_string":"AIFB, Karlsruhe Institute of Technology, Karlsruhe, Baden-W\u00fcrttemberg, Germany","institution_ids":["https://openalex.org/I102335020"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I102335020"],"apc_list":null,"apc_paid":null,"fwci":0.5183,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.71181727,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"181","last_page":"184"},"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.9983000159263611,"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.9983000159263611,"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/T13603","display_name":"Corporate Social Responsibility and Sustainability","score":0.9782000184059143,"subfield":{"id":"https://openalex.org/subfields/1407","display_name":"Organizational Behavior and Human Resource Management"},"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/T10910","display_name":"Corporate Governance and Management","score":0.9713000059127808,"subfield":{"id":"https://openalex.org/subfields/1408","display_name":"Strategy and Management"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/sustainability","display_name":"Sustainability","score":0.7141000032424927},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.600600004196167},{"id":"https://openalex.org/keywords/compliance","display_name":"Compliance (psychology)","score":0.5231000185012817},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.5175999999046326},{"id":"https://openalex.org/keywords/semantics-of-business-vocabulary-and-business-rules","display_name":"Semantics of Business Vocabulary and Business Rules","score":0.49230000376701355},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.48890000581741333},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.45019999146461487},{"id":"https://openalex.org/keywords/conformance-checking","display_name":"Conformance checking","score":0.44859999418258667},{"id":"https://openalex.org/keywords/process-mining","display_name":"Process mining","score":0.4456000030040741}],"concepts":[{"id":"https://openalex.org/C66204764","wikidata":"https://www.wikidata.org/wiki/Q219416","display_name":"Sustainability","level":2,"score":0.7141000032424927},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.600600004196167},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5906000137329102},{"id":"https://openalex.org/C195094911","wikidata":"https://www.wikidata.org/wiki/Q14167904","display_name":"Process management","level":1,"score":0.590499997138977},{"id":"https://openalex.org/C2781460075","wikidata":"https://www.wikidata.org/wiki/Q1399332","display_name":"Compliance (psychology)","level":2,"score":0.5231000185012817},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.5175999999046326},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.4982999861240387},{"id":"https://openalex.org/C177688676","wikidata":"https://www.wikidata.org/wiki/Q7449106","display_name":"Semantics of Business Vocabulary and Business Rules","level":5,"score":0.49230000376701355},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.48890000581741333},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.45019999146461487},{"id":"https://openalex.org/C2775948798","wikidata":"https://www.wikidata.org/wiki/Q5160261","display_name":"Conformance checking","level":5,"score":0.44859999418258667},{"id":"https://openalex.org/C124670913","wikidata":"https://www.wikidata.org/wiki/Q2608526","display_name":"Process mining","level":5,"score":0.4456000030040741},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.37929999828338623},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.37540000677108765},{"id":"https://openalex.org/C146222976","wikidata":"https://www.wikidata.org/wiki/Q1204997","display_name":"Business logic","level":2,"score":0.3531999886035919},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.3427000045776367},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3384000062942505},{"id":"https://openalex.org/C178008962","wikidata":"https://www.wikidata.org/wiki/Q295382","display_name":"Sustainable business","level":3,"score":0.32670000195503235},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.32010000944137573},{"id":"https://openalex.org/C11066294","wikidata":"https://www.wikidata.org/wiki/Q1518244","display_name":"Business rule","level":4,"score":0.30730000138282776},{"id":"https://openalex.org/C80309976","wikidata":"https://www.wikidata.org/wiki/Q7007379","display_name":"Business process management","level":4,"score":0.3003000020980835},{"id":"https://openalex.org/C56739046","wikidata":"https://www.wikidata.org/wiki/Q192060","display_name":"Knowledge management","level":1,"score":0.29179999232292175},{"id":"https://openalex.org/C179299601","wikidata":"https://www.wikidata.org/wiki/Q1017605","display_name":"Business Process Model and Notation","level":5,"score":0.27129998803138733},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.262800008058548},{"id":"https://openalex.org/C552854447","wikidata":"https://www.wikidata.org/wiki/Q131201","display_name":"Sustainable development","level":2,"score":0.2606000006198883},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.25600001215934753},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2526000142097473}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3401335.3401355","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3401335.3401355","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th International Conference on ICT for Sustainability","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2006.05777","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2006.05777","pdf_url":"https://arxiv.org/pdf/2006.05777","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2006.05777","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2006.05777","pdf_url":"https://arxiv.org/pdf/2006.05777","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W34027482","https://openalex.org/W1704218983","https://openalex.org/W1969157228","https://openalex.org/W2065809904","https://openalex.org/W2135064655"],"related_works":[],"abstract_inverted_index":{"Business":[0],"processes":[1],"need":[2],"to":[3,12,24,55,57,72,77,85,123,137],"have":[4],"certain":[5,41],"constraints":[6,16],"such":[7,44],"that":[8,110,128],"they":[9],"can":[10,17,97,111,129],"lead":[11],"sustainable":[13],"outcomes.":[14],"These":[15],"be":[18,25,98,101,130],"manifold":[19],"and":[20,47,79],"their":[21],"adherence":[22],"has":[23,32],"monitored.":[26],"In":[27,70],"the":[28,58,65,87],"past":[29],"compliance":[30,61,90,126],"checking":[31,62],"been":[33],"applied":[34],"in":[35,94,115,135,141],"several":[36],"business":[37,142],"domains":[38],"without":[39],"considering":[40],"sustainability":[42,68,113,139],"aspects,":[43],"as":[45],"multi-dimensionality":[46],"impact":[48],"level.":[49],"With":[50],"my":[51],"research":[52],"I":[53,75],"want":[54,76],"contribute":[56],"application":[59],"of":[60,67,89],"techniques":[63],"for":[64],"purpose":[66],"compliance.":[69],"order":[71,136],"achieve":[73],"this,":[74],"analyse":[78],"develop":[80,124],"data-driven":[81],"approaches,":[82],"which":[83,95],"allow":[84],"automate":[86],"task":[88],"checking.":[91],"The":[92,119],"way":[93],"this":[96],"achieved,":[99],"is":[100,122],"combining":[102],"methods":[103],"from":[104],"process":[105],"mining":[106],"with":[107],"formal":[108],"languages":[109],"express":[112],"rules":[114],"a":[116,125],"machine-readable":[117],"manner.":[118],"main":[120],"goal":[121],"engine":[127],"adapted":[131],"by":[132],"ERP":[133],"systems":[134],"evaluate":[138],"conformance":[140],"processes.":[143]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2020-06-25T00:00:00"}