{"id":"https://openalex.org/W4323664865","doi":"https://doi.org/10.3390/info14030173","title":"Quickening Data-Aware Conformance Checking through Temporal Algebras","display_name":"Quickening Data-Aware Conformance Checking through Temporal Algebras","publication_year":2023,"publication_date":"2023-03-08","ids":{"openalex":"https://openalex.org/W4323664865","doi":"https://doi.org/10.3390/info14030173"},"language":"en","primary_location":{"id":"doi:10.3390/info14030173","is_oa":true,"landing_page_url":"https://doi.org/10.3390/info14030173","pdf_url":"https://www.mdpi.com/2078-2489/14/3/173/pdf?version=1678683669","source":{"id":"https://openalex.org/S4210219776","display_name":"Information","issn_l":"2078-2489","issn":["2078-2489"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2078-2489/14/3/173/pdf?version=1678683669","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015269262","display_name":"Giacomo Bergami","orcid":"https://orcid.org/0000-0002-1844-0851"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Giacomo Bergami","raw_affiliation_strings":["School of Computing, Faculty of Science, Agriculture and Engineering, Newcastle University, Newcastle Upon Tyne NE4 5TG, UK"],"raw_orcid":"https://orcid.org/0000-0002-1844-0851","affiliations":[{"raw_affiliation_string":"School of Computing, Faculty of Science, Agriculture and Engineering, Newcastle University, Newcastle Upon Tyne NE4 5TG, UK","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078742043","display_name":"Samuel Appleby","orcid":"https://orcid.org/0000-0003-2608-0881"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Samuel Appleby","raw_affiliation_strings":["School of Computing, Faculty of Science, Agriculture and Engineering, Newcastle University, Newcastle Upon Tyne NE4 5TG, UK"],"raw_orcid":"https://orcid.org/0000-0003-2608-0881","affiliations":[{"raw_affiliation_string":"School of Computing, Faculty of Science, Agriculture and Engineering, Newcastle University, Newcastle Upon Tyne NE4 5TG, UK","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079117192","display_name":"Graham Morgan","orcid":"https://orcid.org/0000-0002-0089-0395"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Graham Morgan","raw_affiliation_strings":["School of Computing, Faculty of Science, Agriculture and Engineering, Newcastle University, Newcastle Upon Tyne NE4 5TG, UK"],"raw_orcid":"https://orcid.org/0000-0002-0089-0395","affiliations":[{"raw_affiliation_string":"School of Computing, Faculty of Science, Agriculture and Engineering, Newcastle University, Newcastle Upon Tyne NE4 5TG, UK","institution_ids":["https://openalex.org/I84884186"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5015269262"],"corresponding_institution_ids":["https://openalex.org/I84884186"],"apc_list":{"value":1400,"currency":"CHF","value_usd":1515},"apc_paid":{"value":1400,"currency":"CHF","value_usd":1515},"fwci":0.5759,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.65891607,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"14","issue":"3","first_page":"173","last_page":"173"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9987999796867371,"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/T11106","display_name":"Data Management and Algorithms","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.952869176864624},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7870553731918335},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.550666093826294},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.5450788140296936},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5328450798988342},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.47458434104919434},{"id":"https://openalex.org/keywords/business-process-management","display_name":"Business process management","score":0.4299236536026001},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.42771533131599426},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3780502378940582},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.35292214155197144},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32091546058654785},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.26900988817214966},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"Business process modeling","score":0.256721556186676},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.14977845549583435}],"concepts":[{"id":"https://openalex.org/C2775948798","wikidata":"https://www.wikidata.org/wiki/Q5160261","display_name":"Conformance checking","level":5,"score":0.952869176864624},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7870553731918335},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.550666093826294},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.5450788140296936},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5328450798988342},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.47458434104919434},{"id":"https://openalex.org/C80309976","wikidata":"https://www.wikidata.org/wiki/Q7007379","display_name":"Business process management","level":4,"score":0.4299236536026001},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.42771533131599426},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3780502378940582},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.35292214155197144},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32091546058654785},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26900988817214966},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.256721556186676},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.14977845549583435},{"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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3390/info14030173","is_oa":true,"landing_page_url":"https://doi.org/10.3390/info14030173","pdf_url":"https://www.mdpi.com/2078-2489/14/3/173/pdf?version=1678683669","source":{"id":"https://openalex.org/S4210219776","display_name":"Information","issn_l":"2078-2489","issn":["2078-2489"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:506eb6ed1b944f82bad68078567629a3","is_oa":true,"landing_page_url":"https://doaj.org/article/506eb6ed1b944f82bad68078567629a3","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Information, Vol 14, Iss 3, p 173 (2023)","raw_type":"article"},{"id":"pmh:oai:mdpi.com:/2078-2489/14/3/173/","is_oa":true,"landing_page_url":"https://dx.doi.org/10.3390/info14030173","pdf_url":null,"source":{"id":"https://openalex.org/S4306400947","display_name":"MDPI (MDPI AG)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210097602","host_organization_name":"Multidisciplinary Digital Publishing Institute (Switzerland)","host_organization_lineage":["https://openalex.org/I4210097602"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Information; Volume 14; Issue 3; Pages: 173","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.3390/info14030173","is_oa":true,"landing_page_url":"https://doi.org/10.3390/info14030173","pdf_url":"https://www.mdpi.com/2078-2489/14/3/173/pdf?version=1678683669","source":{"id":"https://openalex.org/S4210219776","display_name":"Information","issn_l":"2078-2489","issn":["2078-2489"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.5199999809265137,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4323664865.pdf"},"referenced_works_count":49,"referenced_works":["https://openalex.org/W1442862903","https://openalex.org/W1521148341","https://openalex.org/W1591094652","https://openalex.org/W1797585579","https://openalex.org/W1827565655","https://openalex.org/W1966648469","https://openalex.org/W1969375478","https://openalex.org/W1971604907","https://openalex.org/W1975309138","https://openalex.org/W2015600140","https://openalex.org/W2039384225","https://openalex.org/W2071353749","https://openalex.org/W2092333800","https://openalex.org/W2093397547","https://openalex.org/W2104537183","https://openalex.org/W2159726625","https://openalex.org/W2185907055","https://openalex.org/W2279954259","https://openalex.org/W2493640771","https://openalex.org/W2527122211","https://openalex.org/W2786578755","https://openalex.org/W2794483625","https://openalex.org/W2887881675","https://openalex.org/W2918864124","https://openalex.org/W2937989860","https://openalex.org/W2998574808","https://openalex.org/W3064086008","https://openalex.org/W3080435457","https://openalex.org/W3112360484","https://openalex.org/W3135644052","https://openalex.org/W3153843800","https://openalex.org/W3163559142","https://openalex.org/W3197639832","https://openalex.org/W3198743557","https://openalex.org/W3208573250","https://openalex.org/W3208930226","https://openalex.org/W4226410762","https://openalex.org/W4251391716","https://openalex.org/W4251658412","https://openalex.org/W4281681780","https://openalex.org/W4283815760","https://openalex.org/W4285820522","https://openalex.org/W4297238441","https://openalex.org/W4297796095","https://openalex.org/W4309329473","https://openalex.org/W4315471929","https://openalex.org/W6631347555","https://openalex.org/W6731272712","https://openalex.org/W7024436899"],"related_works":["https://openalex.org/W2913030055","https://openalex.org/W2965882148","https://openalex.org/W632952682","https://openalex.org/W2128435440","https://openalex.org/W2084864929","https://openalex.org/W2026086267","https://openalex.org/W389056800","https://openalex.org/W79843527","https://openalex.org/W4323664865","https://openalex.org/W4311763507"],"abstract_inverted_index":{"A":[0],"temporal":[1,72,79,129,196,199,209],"model":[2,130],"describes":[3],"processes":[4],"as":[5,46,94,217],"a":[6,155,170,223,248],"sequence":[7,26],"of":[8,27,169,187,279],"observable":[9],"events":[10,32],"characterised":[11],"by":[12],"distinguishable":[13],"actions":[14],"in":[15,53,78,184],"time.":[16],"Conformance":[17,163],"checking":[18,70,127,232,285],"allows":[19],"these":[20],"models":[21,80],"to":[22,41,62,75,123,133,239,267],"determine":[23],"whether":[24],"any":[25,59],"temporally":[28],"ordered":[29],"and":[30,43,71,99,110,128,136,141,213],"fully-observable":[31],"complies":[33],"with":[34],"their":[35],"prescriptions.":[36],"The":[37],"latter":[38],"aspect":[39],"leads":[40],"Explainable":[42,135],"Trustworthy":[44,137],"AI,":[45],"we":[47,202],"can":[48,206],"immediately":[49],"assess":[50],"the":[51,54,64,82,114,121,185,265],"flaws":[52],"recorded":[55],"behaviours":[56],"while":[57],"suggesting":[58],"possible":[60],"way":[61,266],"amend":[63],"wrongdoings.":[65],"Recent":[66],"findings":[67],"on":[68,167,288],"conformance":[69,126,231,284],"learning":[73],"lead":[74],"an":[76,234],"interest":[77],"beyond":[81],"usual":[83],"business":[84,157],"process":[85,158],"management":[86,159,190],"community,":[87],"thus":[88,229,263],"including":[89],"other":[90],"domain":[91],"areas":[92],"such":[93,149,216,227],"Cyber":[95],"Security,":[96],"Industry":[97],"4.0,":[98],"e-Health.":[100],"As":[101],"current":[102],"technologies":[103],"for":[104,113,161,198,226],"accessing":[105],"this":[106,151,205],"are":[107],"purely":[108],"formal":[109],"not":[111],"ready":[112],"real":[115],"world":[116],"returning":[117],"large":[118],"data":[119],"volumes,":[120],"need":[122],"improve":[124],"existing":[125,208],"mining":[131],"algorithms":[132],"make":[134],"AI":[138],"more":[139],"efficient":[140,162],"competitive":[142],"is":[143],"increasingly":[144],"pressing.":[145],"To":[146],"effectively":[147],"meet":[148],"demands,":[150],"paper":[152,220,244],"offers":[153],"KnoBAB,":[154],"novel":[156],"system":[160],"Checking":[164],"computations":[165],"performed":[166],"top":[168],"customised":[171],"relational":[172,188],"model.":[173],"This":[174,219,243],"architecture":[175],"was":[176],"implemented":[177,259],"from":[178],"scratch":[179],"after":[180],"following":[181],"common":[182],"practices":[183],"design":[186],"database":[189],"systems.":[191],"After":[192],"defining":[193],"our":[194,272,276],"proposed":[195,277],"algebra":[197],"queries":[200],"(xtLTLf),":[201],"show":[203],"that":[204,275],"express":[207],"languages":[210],"over":[211],"finite":[212],"non-empty":[214],"traces":[215],"LTLf.":[218],"also":[221,245],"proposes":[222],"parallelisation":[224],"strategy":[225],"queries,":[228],"reducing":[230],"into":[233],"embarrassingly":[235],"parallel":[236],"problem":[237],"leading":[238],"super-linear":[240],"speed":[241],"up.":[242],"presents":[246],"how":[247],"single":[249],"xtLTLf":[250,280],"operator":[251],"(or":[252],"even":[253],"entire":[254],"sub-expressions)":[255],"might":[256],"be":[257],"efficiently":[258],"via":[260],"different":[261],"algorithms,":[262],"paving":[264],"future":[268],"algorithmic":[269],"improvements.":[270],"Finally,":[271],"benchmarks":[273],"highlight":[274],"implementation":[278],"(KnoBAB)":[281],"outperforms":[282],"state-of-the-art":[283],"software":[286],"running":[287],"LTLf":[289],"logic.":[290]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2026-05-22T06:13:13.366637","created_date":"2023-03-10T00:00:00"}