{"id":"https://openalex.org/W2579709739","doi":"https://doi.org/10.1109/ccst.2016.7815702","title":"Online and offline conformance checking of inter-organizational business processes with incomplete process logs","display_name":"Online and offline conformance checking of inter-organizational business processes with incomplete process logs","publication_year":2016,"publication_date":"2016-10-01","ids":{"openalex":"https://openalex.org/W2579709739","doi":"https://doi.org/10.1109/ccst.2016.7815702","mag":"2579709739"},"language":"en","primary_location":{"id":"doi:10.1109/ccst.2016.7815702","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ccst.2016.7815702","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International Carnahan Conference on Security Technology (ICCST)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5075003311","display_name":"Andrea Calila D'Iddio","orcid":null},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Andrea Calila D'Iddio","raw_affiliation_strings":["Imperial College, London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College, London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023493279","display_name":"Christian H. Schunck","orcid":"https://orcid.org/0000-0002-7917-8180"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Christian H. Schunck","raw_affiliation_strings":["Konvax Corporation, Cambridge, Massachusetts, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Konvax Corporation, Cambridge, Massachusetts, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036630863","display_name":"Franco Arcieri","orcid":"https://orcid.org/0000-0003-1419-8954"},"institutions":[{"id":"https://openalex.org/I116067653","display_name":"University of Rome Tor Vergata","ror":"https://ror.org/02p77k626","country_code":"IT","type":"education","lineage":["https://openalex.org/I116067653"]},{"id":"https://openalex.org/I2800215307","display_name":"Fondazione Roma","ror":"https://ror.org/00gtjrz72","country_code":"IT","type":"nonprofit","lineage":["https://openalex.org/I2800215307"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Franco Arcieri","raw_affiliation_strings":["Fondazione Inuit, University of Rome Tor Vergata, Rome, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Fondazione Inuit, University of Rome Tor Vergata, Rome, Italy","institution_ids":["https://openalex.org/I116067653","https://openalex.org/I2800215307"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077567390","display_name":"Maurizio Talamo","orcid":"https://orcid.org/0000-0002-3888-0889"},"institutions":[{"id":"https://openalex.org/I116067653","display_name":"University of Rome Tor Vergata","ror":"https://ror.org/02p77k626","country_code":"IT","type":"education","lineage":["https://openalex.org/I116067653"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Maurizio Talamo","raw_affiliation_strings":["University of Rome Tor Vergata, Rome, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Rome Tor Vergata, Rome, Italy","institution_ids":["https://openalex.org/I116067653"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"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.9998999834060669,"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.9998999834060669,"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.9957000017166138,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9785000085830688,"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/computer-science","display_name":"Computer science","score":0.7966078519821167},{"id":"https://openalex.org/keywords/conformance-checking","display_name":"Conformance checking","score":0.7671469449996948},{"id":"https://openalex.org/keywords/process-mining","display_name":"Process mining","score":0.6927126049995422},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.6719973087310791},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.6211000084877014},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5075339078903198},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.4988980293273926},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.45948633551597595},{"id":"https://openalex.org/keywords/business-process-discovery","display_name":"Business process discovery","score":0.43612900376319885},{"id":"https://openalex.org/keywords/business-process-management","display_name":"Business process management","score":0.42016181349754333},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"Business process modeling","score":0.2989130914211273},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.255908727645874},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.25105229020118713},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10406553745269775}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7966078519821167},{"id":"https://openalex.org/C2775948798","wikidata":"https://www.wikidata.org/wiki/Q5160261","display_name":"Conformance checking","level":5,"score":0.7671469449996948},{"id":"https://openalex.org/C124670913","wikidata":"https://www.wikidata.org/wiki/Q2608526","display_name":"Process mining","level":5,"score":0.6927126049995422},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.6719973087310791},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.6211000084877014},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5075339078903198},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.4988980293273926},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.45948633551597595},{"id":"https://openalex.org/C93453677","wikidata":"https://www.wikidata.org/wiki/Q1017580","display_name":"Business process discovery","level":5,"score":0.43612900376319885},{"id":"https://openalex.org/C80309976","wikidata":"https://www.wikidata.org/wiki/Q7007379","display_name":"Business process management","level":4,"score":0.42016181349754333},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.2989130914211273},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.255908727645874},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.25105229020118713},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10406553745269775},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/ccst.2016.7815702","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ccst.2016.7815702","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International Carnahan Conference on Security Technology (ICCST)","raw_type":"proceedings-article"},{"id":"pmh:oai:art.torvergata.it:2108/189630","is_oa":false,"landing_page_url":"http://ieeexplore.ieee.org/document/7815703/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400993","display_name":"Cineca Institutional Research Information System (Tor Vergata University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I116067653","host_organization_name":"University of Rome Tor Vergata","host_organization_lineage":["https://openalex.org/I116067653"],"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":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6899999976158142,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W193665933","https://openalex.org/W843458800","https://openalex.org/W1490658580","https://openalex.org/W1508436075","https://openalex.org/W1559155956","https://openalex.org/W1956213280","https://openalex.org/W2043100293","https://openalex.org/W2065076704","https://openalex.org/W2092898466","https://openalex.org/W2095881341","https://openalex.org/W2101238481","https://openalex.org/W2122232509","https://openalex.org/W2129466958","https://openalex.org/W2165832053","https://openalex.org/W2539630018","https://openalex.org/W2578782167","https://openalex.org/W4230145224","https://openalex.org/W6607896631","https://openalex.org/W6675329312","https://openalex.org/W6678426396","https://openalex.org/W6679382288","https://openalex.org/W6728972864"],"related_works":["https://openalex.org/W2150478723","https://openalex.org/W4365511202","https://openalex.org/W4300560926","https://openalex.org/W2050159024","https://openalex.org/W2144946338","https://openalex.org/W2345053703","https://openalex.org/W88310037","https://openalex.org/W3184122949","https://openalex.org/W2972124102","https://openalex.org/W2136447190"],"abstract_inverted_index":{"Ensuring":[0],"the":[1,22,38,42,64,67,82,92,137,161,207,225,235],"compliance":[2,17,138],"of":[3,21,77,85,95,103,139,163,209,229,238],"inter-organizational":[4],"business":[5],"processes":[6],"with":[7,143],"security,":[8],"privacy":[9],"and":[10,60,80,117,133,196,227,232],"workflow":[11],"requirements":[12,28],"poses":[13],"significant":[14],"challenges.":[15],"For":[16],"checking":[18,136],"a":[19,144,164,189,198],"specification":[20,190],"process":[23,43,141,146,199],"model":[24,157,174],"which":[25,57],"contains":[26],"important":[27],"like":[29],"causal":[30],"dependencies":[31],"among":[32],"actions":[33],"must":[34],"be":[35,76,90,98,120,192,201,218],"compared":[36],"to":[37,75,156,173],"available":[39,51],"data":[40,47],"from":[41,114,188],"execution.":[44],"Complete":[45],"execution":[46],"may":[48,89,97,110,119],"only":[49],"become":[50],"by":[52,63],"combining":[53],"distributed":[54],"event":[55,71,87,180,211,239],"logs":[56,72,88,102,118,142],"are":[58,106,150,171],"maintained":[59],"stored":[61],"independently":[62],"participants.":[65],"Frequently":[66],"information":[68,159],"in":[69,153,177,206],"combined":[70],"is":[73],"found":[74],"limited":[78],"reliability":[79],"quality:":[81],"overall":[83],"maturity":[84,236],"some":[86],"low,":[91],"temporal":[93],"structure":[94],"events":[96],"unclear/imprecise":[99],"(e.g.":[100],"when":[101,197],"different":[104],"organizations":[105],"combined),":[107],"confidentiality":[108],"constraints":[109],"prevent":[111],"certain":[112],"activities":[113],"being":[115],"logged":[116],"partially":[121],"corrupted.":[122],"We":[123,182],"propose":[124],"an":[125],"approach":[126],"using":[127],"abstraction":[128],"techniques":[129,170],"based":[130],"on":[131],"over-approximation":[132],"under-approximation":[134],"for":[135,220,224,233],"incomplete":[140,179,210],"given":[145],"specification.":[147],"Such":[148],"methods":[149,214],"widely":[151],"used":[152],"Model":[154],"Checking":[155],"unmanageable":[158],"about":[160],"states":[162],"system":[165],"(state":[166],"explosion).":[167],"Here":[168],"these":[169],"applied":[172],"unavailable":[175],"information,":[176],"particular":[178],"descriptions.":[181,212],"show":[183],"under":[184],"what":[185],"conditions":[186],"deviations":[187],"can":[191,200,217],"confirmed":[193],"as":[194,203],"anomalies":[195,231],"certified":[202],"correct":[204],"even":[205],"presence":[208],"The":[213],"described":[215],"here":[216],"adopted":[219],"post":[221],"mortem":[222],"investigation,":[223],"prevention":[226],"detection":[228],"security":[230],"assessing":[234],"level":[237],"logs.":[240]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}