{"id":"https://openalex.org/W2810005068","doi":"https://doi.org/10.3233/fi-2018-1696","title":"Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning*","display_name":"Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning*","publication_year":2018,"publication_date":"2018-07-02","ids":{"openalex":"https://openalex.org/W2810005068","doi":"https://doi.org/10.3233/fi-2018-1696","mag":"2810005068"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2018-1696","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2018-1696","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://content.iospress.com/articles/fundamenta-informaticae/fi1696","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056655834","display_name":"Federico Chesani","orcid":"https://orcid.org/0000-0003-1664-9632"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Federico Chesani","raw_affiliation_strings":["University of Bologna, viale Risorgimento 2, 40136\u2013Bologna, Italy. {federico.chesani, paola.mello}@unibo.it"],"affiliations":[{"raw_affiliation_string":"University of Bologna, viale Risorgimento 2, 40136\u2013Bologna, Italy. {federico.chesani, paola.mello}@unibo.it","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040978920","display_name":"Paola Mello","orcid":"https://orcid.org/0000-0002-5929-8193"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Paola Mello","raw_affiliation_strings":["University of Bologna, viale Risorgimento 2, 40136\u2013Bologna, Italy. {federico.chesani, paola.mello}@unibo.it"],"affiliations":[{"raw_affiliation_string":"University of Bologna, viale Risorgimento 2, 40136\u2013Bologna, Italy. {federico.chesani, paola.mello}@unibo.it","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074804384","display_name":"Riccardo De Masellis","orcid":"https://orcid.org/0000-0003-2540-7395"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Riccardo De Masellis","raw_affiliation_strings":["FBK-IRST, Via Sommarive 18, 38050 Trento, Italy. {r.demasellis, dfmchiara \u2014 ghidini}@fbk.eu"],"affiliations":[{"raw_affiliation_string":"FBK-IRST, Via Sommarive 18, 38050 Trento, Italy. {r.demasellis, dfmchiara \u2014 ghidini}@fbk.eu","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070124724","display_name":"Chiara Di Francescomarino","orcid":"https://orcid.org/0000-0002-0264-9394"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Chiara Di Francescomarino","raw_affiliation_strings":["FBK-IRST, Via Sommarive 18, 38050 Trento, Italy. {r.demasellis, dfmchiara \u2014 ghidini}@fbk.eu"],"affiliations":[{"raw_affiliation_string":"FBK-IRST, Via Sommarive 18, 38050 Trento, Italy. {r.demasellis, dfmchiara \u2014 ghidini}@fbk.eu","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069353228","display_name":"Chiara Ghidini","orcid":"https://orcid.org/0000-0003-1563-4965"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Chiara Ghidini","raw_affiliation_strings":["FBK-IRST, Via Sommarive 18, 38050 Trento, Italy. {r.demasellis, dfmchiara \u2014 ghidini}@fbk.eu"],"affiliations":[{"raw_affiliation_string":"FBK-IRST, Via Sommarive 18, 38050 Trento, Italy. {r.demasellis, dfmchiara \u2014 ghidini}@fbk.eu","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047795784","display_name":"Marco Montali","orcid":"https://orcid.org/0000-0002-8021-3430"},"institutions":[{"id":"https://openalex.org/I171543936","display_name":"Free University of Bozen-Bolzano","ror":"https://ror.org/012ajp527","country_code":"IT","type":"education","lineage":["https://openalex.org/I171543936"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Marco Montali","raw_affiliation_strings":["Free University of Bozen\u2013Bolzano, piazza Universit\u00e0, 1, 39100 Bozen-Bolzano, Italy. {montali, tessaris}@inf.unibz.it","Journal:"],"affiliations":[{"raw_affiliation_string":"Free University of Bozen\u2013Bolzano, piazza Universit\u00e0, 1, 39100 Bozen-Bolzano, Italy. {montali, tessaris}@inf.unibz.it","institution_ids":["https://openalex.org/I171543936"]},{"raw_affiliation_string":"Journal:","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010134911","display_name":"Sergio Tessaris","orcid":"https://orcid.org/0000-0002-3156-2669"},"institutions":[{"id":"https://openalex.org/I171543936","display_name":"Free University of Bozen-Bolzano","ror":"https://ror.org/012ajp527","country_code":"IT","type":"education","lineage":["https://openalex.org/I171543936"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Sergio Tessaris","raw_affiliation_strings":["Free University of Bozen\u2013Bolzano, piazza Universit\u00e0, 1, 39100 Bozen-Bolzano, Italy. {montali, tessaris}@inf.unibz.it","Journal:"],"affiliations":[{"raw_affiliation_string":"Free University of Bozen\u2013Bolzano, piazza Universit\u00e0, 1, 39100 Bozen-Bolzano, Italy. {montali, tessaris}@inf.unibz.it","institution_ids":["https://openalex.org/I171543936"]},{"raw_affiliation_string":"Journal:","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5047795784","https://openalex.org/A5069353228","https://openalex.org/A5070124724"],"corresponding_institution_ids":["https://openalex.org/I171543936"],"apc_list":null,"apc_paid":null,"fwci":1.617,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.85651182,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"161","issue":"1-2","first_page":"75","last_page":"111"},"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.9997000098228455,"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.9997000098228455,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.998199999332428,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9894999861717224,"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/observability","display_name":"Observability","score":0.8231485486030579},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7529664039611816},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.6588534116744995},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6042600274085999},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.599200963973999},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5290975570678711},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.5099650621414185},{"id":"https://openalex.org/keywords/abductive-reasoning","display_name":"Abductive reasoning","score":0.5007853507995605},{"id":"https://openalex.org/keywords/a-priori-and-a-posteriori","display_name":"A priori and a posteriori","score":0.4191122353076935},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.41103029251098633},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3481796383857727},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.14555767178535461},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14252814650535583},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.14145028591156006},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10358908772468567}],"concepts":[{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.8231485486030579},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7529664039611816},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.6588534116744995},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6042600274085999},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.599200963973999},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5290975570678711},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.5099650621414185},{"id":"https://openalex.org/C166088908","wikidata":"https://www.wikidata.org/wiki/Q308495","display_name":"Abductive reasoning","level":2,"score":0.5007853507995605},{"id":"https://openalex.org/C75553542","wikidata":"https://www.wikidata.org/wiki/Q178161","display_name":"A priori and a posteriori","level":2,"score":0.4191122353076935},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.41103029251098633},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3481796383857727},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.14555767178535461},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14252814650535583},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.14145028591156006},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10358908772468567},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","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},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3233/fi-2018-1696","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2018-1696","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},{"id":"pmh:oai:alma.39UBZ_INST:11235200010001241","is_oa":false,"landing_page_url":"https://bia.unibz.it/esploro/outputs/journalArticle/Compliance-in-business-processes-with-incomplete/991005772276501241","pdf_url":null,"source":{"id":"https://openalex.org/S4210197018","display_name":"View","issn_l":"2688-268X","issn":["2688-268X","2688-3988"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:cris.unibo.it:11585/636688","is_oa":true,"landing_page_url":"https://content.iospress.com/articles/fundamenta-informaticae/fi1696","pdf_url":null,"source":{"id":"https://openalex.org/S4306402579","display_name":"Archivio istituzionale della ricerca (Alma Mater Studiorum Universit\u00e0 di Bologna)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210117483","host_organization_name":"Istituto di Ematologia di Bologna","host_organization_lineage":["https://openalex.org/I4210117483"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:cris.unibo.it:11585/636688","is_oa":true,"landing_page_url":"https://content.iospress.com/articles/fundamenta-informaticae/fi1696","pdf_url":null,"source":{"id":"https://openalex.org/S4306402579","display_name":"Archivio istituzionale della ricerca (Alma Mater Studiorum Universit\u00e0 di Bologna)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210117483","host_organization_name":"Istituto di Ematologia di Bologna","host_organization_lineage":["https://openalex.org/I4210117483"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W86268509","https://openalex.org/W195543945","https://openalex.org/W971346073","https://openalex.org/W1458367695","https://openalex.org/W1567730494","https://openalex.org/W1582309996","https://openalex.org/W1606891084","https://openalex.org/W1793272377","https://openalex.org/W1885841618","https://openalex.org/W1944112070","https://openalex.org/W1963594138","https://openalex.org/W1973362996","https://openalex.org/W1987005090","https://openalex.org/W2010104109","https://openalex.org/W2011800728","https://openalex.org/W2022078754","https://openalex.org/W2070591515","https://openalex.org/W2071787143","https://openalex.org/W2084864929","https://openalex.org/W2087103691","https://openalex.org/W2100000126","https://openalex.org/W2100115309","https://openalex.org/W2101238481","https://openalex.org/W2116886581","https://openalex.org/W2130182605","https://openalex.org/W2132042004","https://openalex.org/W2137894950","https://openalex.org/W2147094274","https://openalex.org/W2151164148","https://openalex.org/W2152594861","https://openalex.org/W2174443976","https://openalex.org/W2287424928","https://openalex.org/W2573927440","https://openalex.org/W2621271156","https://openalex.org/W2743757655","https://openalex.org/W2964000561"],"related_works":["https://openalex.org/W2997512100","https://openalex.org/W2128251465","https://openalex.org/W2331043530","https://openalex.org/W2393933887","https://openalex.org/W2374725260","https://openalex.org/W1607315280","https://openalex.org/W4386140649","https://openalex.org/W1965692592","https://openalex.org/W2383403914","https://openalex.org/W2124669372"],"abstract_inverted_index":{"The":[0],"capability":[1],"to":[2,16,112,136,145],"store":[3],"data":[4],"about":[5,68],"Business":[6],"Process":[7],"(BP)":[8],"executions":[9,36],"in":[10,61,92,150,156],"so-called":[11],"Event":[12],"Logs":[13],"has":[14],"brought":[15],"the":[17,32,42,69,75,87,93,100,123,132],"identification":[18],"of":[19,22,34,44,52,65,77,89,102,134,152],"a":[20,138,157],"range":[21],"key":[23,147],"reasoning":[24,53,148],"services":[25,46,149],"(consistency,":[26],"compliance,":[27],"runtime":[28],"monitoring,":[29],"prediction)":[30],"for":[31,41,86],"analysis":[33],"process":[35,38,70],"and":[37,107,117,119,126,154],"models.":[39],"Tools":[40],"provision":[43],"these":[45],"typically":[47],"focus":[48],"on":[49,122],"one":[50],"form":[51],"alone.":[54],"Moreover,":[55],"they":[56],"are":[57],"often":[58],"very":[59],"rigid":[60],"dealing":[62],"with":[63,105],"forms":[64],"incomplete":[66],"information":[67],"execution.":[71],"While":[72],"this":[73,96],"enables":[74],"development":[76],"ad":[78],"hoc":[79],"solutions,":[80],"it":[81],"also":[82],"poses":[83],"an":[84],"obstacle":[85],"adoption":[88],"reasoning-based":[90],"solutions":[91],"BP":[94],"community.
\\nIn":[95],"paper,":[97],"we":[98,130],"introduce":[99],"notion":[101],"Structured":[103],"Processes":[104],"Observability":[106],"Time":[108],"(SPOT":[109],"models),":[110],"able":[111,144],"support":[113],"incompleteness":[114,153],"(of":[115],"traces":[116],"logs),":[118],"temporal":[120],"constraints":[121],"activity":[124],"duration":[125],"between":[127],"activities.":[128],"Then,":[129],"exploit":[131],"power":[133],"abduction":[135],"provide":[137],"flexible,":[139],"yet":[140],"computationally":[141],"effective":[142],"framework":[143],"reinterpret":[146],"terms":[151],"observability":[155],"uniform":[158],"way.":[159]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}