{"id":"https://openalex.org/W2142079217","doi":"https://doi.org/10.1109/cidm.2011.5949297","title":"User-guided discovery of declarative process models","display_name":"User-guided discovery of declarative process models","publication_year":2011,"publication_date":"2011-04-01","ids":{"openalex":"https://openalex.org/W2142079217","doi":"https://doi.org/10.1109/cidm.2011.5949297","mag":"2142079217"},"language":"en","primary_location":{"id":"doi:10.1109/cidm.2011.5949297","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cidm.2011.5949297","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE Symposium on Computational Intelligence and Data Mining (CIDM)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.tue.nl/en/publications/52620017-32d1-4c34-aef7-13400d08c7d2","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078031491","display_name":"Fabrizio Maria Maggi","orcid":"https://orcid.org/0000-0002-9089-6896"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Fabrizio M. Maggi","raw_affiliation_strings":["Department of Mathematics and Computer Science, Eindhovan University of Technology, Netherlands","Department of Mathematics and Computer Science; Eindhoven University of Technology; the Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Eindhovan University of Technology, Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science; Eindhoven University of Technology; the Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039598809","display_name":"Arjan J. Mooij","orcid":null},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Arjan J. Mooij","raw_affiliation_strings":["Department of Mathematics and Computer Science, Eindhovan University of Technology, Netherlands","Department of Mathematics and Computer Science; Eindhoven University of Technology; the Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Eindhovan University of Technology, Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science; Eindhoven University of Technology; the Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069762894","display_name":"Wil M. P. van der Aalst","orcid":"https://orcid.org/0000-0002-0955-6940"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Wil M.P. van der Aalst","raw_affiliation_strings":["Department of Mathematics and Computer Science, Eindhovan University of Technology, Netherlands","Department of Mathematics and Computer Science; Eindhoven University of Technology; the Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Eindhovan University of Technology, Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science; Eindhoven University of Technology; the Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5078031491"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":null,"apc_paid":null,"fwci":20.7883,"has_fulltext":true,"cited_by_count":160,"citation_normalized_percentile":{"value":0.9958741,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"192","last_page":"199"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":1.0,"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":1.0,"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.9973999857902527,"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.9832000136375427,"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/computer-science","display_name":"Computer science","score":0.8171945214271545},{"id":"https://openalex.org/keywords/process-mining","display_name":"Process mining","score":0.6826400756835938},{"id":"https://openalex.org/keywords/business-process-discovery","display_name":"Business process discovery","score":0.634665846824646},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5712544322013855},{"id":"https://openalex.org/keywords/conformance-checking","display_name":"Conformance checking","score":0.5338324904441833},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.49149978160858154},{"id":"https://openalex.org/keywords/process-modeling","display_name":"Process modeling","score":0.483832985162735},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.47481048107147217},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4578626751899719},{"id":"https://openalex.org/keywords/business-process-model-and-notation","display_name":"Business Process Model and Notation","score":0.4552738070487976},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.43119049072265625},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4178088903427124},{"id":"https://openalex.org/keywords/knowledge-extraction","display_name":"Knowledge extraction","score":0.41588079929351807},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.4119947552680969},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"Business process modeling","score":0.3970910310745239},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.20366191864013672},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.14219260215759277}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8171945214271545},{"id":"https://openalex.org/C124670913","wikidata":"https://www.wikidata.org/wiki/Q2608526","display_name":"Process mining","level":5,"score":0.6826400756835938},{"id":"https://openalex.org/C93453677","wikidata":"https://www.wikidata.org/wiki/Q1017580","display_name":"Business process discovery","level":5,"score":0.634665846824646},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5712544322013855},{"id":"https://openalex.org/C2775948798","wikidata":"https://www.wikidata.org/wiki/Q5160261","display_name":"Conformance checking","level":5,"score":0.5338324904441833},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.49149978160858154},{"id":"https://openalex.org/C76956256","wikidata":"https://www.wikidata.org/wiki/Q27610560","display_name":"Process modeling","level":3,"score":0.483832985162735},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.47481048107147217},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4578626751899719},{"id":"https://openalex.org/C179299601","wikidata":"https://www.wikidata.org/wiki/Q1017605","display_name":"Business Process Model and Notation","level":5,"score":0.4552738070487976},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.43119049072265625},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4178088903427124},{"id":"https://openalex.org/C120567893","wikidata":"https://www.wikidata.org/wiki/Q1582085","display_name":"Knowledge extraction","level":2,"score":0.41588079929351807},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.4119947552680969},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.3970910310745239},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.20366191864013672},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.14219260215759277},{"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":7,"locations":[{"id":"doi:10.1109/cidm.2011.5949297","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cidm.2011.5949297","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE Symposium on Computational Intelligence and Data Mining (CIDM)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.tue.nl:openaire/52620017-32d1-4c34-aef7-13400d08c7d2","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/52620017-32d1-4c34-aef7-13400d08c7d2","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Maggi, F M, Mooij, A J & Aalst, van der, W M P 2011, User-guided discovery of declarative process models. in N Chawla, I King & A Sperduti (eds), Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining (CIDM 2011, Paris, France, April 11-15, 2011). Institute of Electrical and Electronics Engineers, pp. 192-199. https://doi.org/10.1109/CIDM.2011.5949297","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:tue:oai:pure.tue.nl:publications/52620017-32d1-4c34-aef7-13400d08c7d2","is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/52620017-32d1-4c34-aef7-13400d08c7d2","pdf_url":"https://research.tue.nl/nl/publications/52620017-32d1-4c34-aef7-13400d08c7d2","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"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":"Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining (CIDM 2011, Paris, France, April 11-15, 2011), 192 - 199","raw_type":"info:eu-repo/semantics/conferencepaper"},{"id":"pmh:717540","is_oa":false,"landing_page_url":"http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=717540","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:alma.39UBZ_INST:11294008770001241","is_oa":false,"landing_page_url":"https://ieeexplore.ieee.org/abstract/document/5949297","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:library.tue.nl:717540","is_oa":false,"landing_page_url":"http://repository.tue.nl/717540","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:unibz.it:11294008770001241","is_oa":false,"landing_page_url":"https://bia.unibz.it/esploro/outputs/conferenceProceeding/User-guided-discovery-of-declarative-process-models/991006507598301241","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"}],"best_oa_location":{"id":"pmh:oai:pure.tue.nl:openaire/52620017-32d1-4c34-aef7-13400d08c7d2","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/52620017-32d1-4c34-aef7-13400d08c7d2","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Maggi, F M, Mooij, A J & Aalst, van der, W M P 2011, User-guided discovery of declarative process models. in N Chawla, I King & A Sperduti (eds), Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining (CIDM 2011, Paris, France, April 11-15, 2011). Institute of Electrical and Electronics Engineers, pp. 192-199. https://doi.org/10.1109/CIDM.2011.5949297","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"display_name":"Life below water","score":0.5600000023841858,"id":"https://metadata.un.org/sdg/14"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W1480053192","https://openalex.org/W1484413656","https://openalex.org/W1484724297","https://openalex.org/W1497843565","https://openalex.org/W1535073122","https://openalex.org/W1555544970","https://openalex.org/W1575913973","https://openalex.org/W1660874201","https://openalex.org/W1688777878","https://openalex.org/W1824264389","https://openalex.org/W2032189196","https://openalex.org/W2066179571","https://openalex.org/W2087103691","https://openalex.org/W2098250644","https://openalex.org/W2101623441","https://openalex.org/W2104537183","https://openalex.org/W2113498867","https://openalex.org/W2125227861","https://openalex.org/W2155862563","https://openalex.org/W2156026066","https://openalex.org/W2170917993","https://openalex.org/W6628750762","https://openalex.org/W6632231329","https://openalex.org/W6637227138","https://openalex.org/W6638529742"],"related_works":["https://openalex.org/W2345053703","https://openalex.org/W2118474418","https://openalex.org/W2965882148","https://openalex.org/W2158991459","https://openalex.org/W2913030055","https://openalex.org/W2156732239","https://openalex.org/W2896989384","https://openalex.org/W2473542839","https://openalex.org/W4285420522","https://openalex.org/W2945372161"],"abstract_inverted_index":{"Process":[0],"mining":[1,91,179],"techniques":[2,37,73,84],"can":[3,25,100,129],"be":[4,26,47,101,131],"used":[5,27],"to":[6,28,46,88,167,189],"effectively":[7],"discover":[8,169],"process":[9,35,56,92,113,178],"models":[10,44,76,128],"from":[11],"logs":[12],"with":[13,20],"example":[14],"behaviour.":[15],"Cross-correlating":[16],"a":[17,108,118,142,190],"discovered":[18,112],"model":[19],"information":[21,64],"in":[22,52,133,176,198],"the":[23,30,68,90,111,124,177,195,199],"log":[24],"improve":[29],"underlying":[31],"process.":[32],"However,":[33],"existing":[34,83],"discovery":[36,72,125],"have":[38,186],"two":[39],"important":[40],"drawbacks.":[41],"The":[42],"produced":[43],"tend":[45],"large":[48],"and":[49,161,184,204],"complex,":[50],"especially":[51],"flexible":[53],"environments":[54],"where":[55],"executions":[57],"involve":[58],"multiple":[59],"alternatives.":[60],"This":[61,138,172],"\u201coverload\u201d":[62],"of":[63,96,121,126,135,201],"is":[65,115],"caused":[66],"by":[67,103,194],"fact":[69],"that":[70,145],"traditional":[71],"construct":[74],"procedural":[75,151],"explicitly":[77],"showing":[78],"all":[79],"possible":[80],"behaviours.":[81],"Moreover,":[82,123],"offer":[85],"limited":[86],"possibilities":[87],"guide":[89],"towards":[93],"specific":[94],"properties":[95],"interest.":[97],"These":[98],"problems":[99],"solved":[102],"discovering":[104],"declarative":[105,109,143],"models.":[106,171],"Using":[107],"model,":[110],"behaviour":[114],"described":[116],"as":[117,154],"(compact)":[119],"set":[120],"rules.":[122],"such":[127,153],"easily":[130],"guided":[132],"terms":[134],"rule":[136],"templates.":[137],"paper":[139],"uses":[140],"DECLARE,":[141],"language":[144],"provides":[146],"more":[147],"flexibility":[148],"than":[149],"conventional":[150],"notations":[152],"BPMN,":[155],"Petri":[156],"nets,":[157],"UML":[158],"ADs,":[159],"EPCs":[160],"BPEL.":[162],"We":[163],"present":[164],"an":[165],"approach":[166,183],"automatically":[168],"DECLARE":[170],"has":[173],"been":[174,187],"implemented":[175],"tool":[180],"ProM.":[181],"Our":[182],"toolset":[185],"applied":[188],"case":[191],"study":[192],"provided":[193],"company":[196],"Thales":[197],"domain":[200],"maritime":[202],"safety":[203],"security.":[205]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":13},{"year":2019,"cited_by_count":18},{"year":2018,"cited_by_count":22},{"year":2017,"cited_by_count":12},{"year":2016,"cited_by_count":11},{"year":2015,"cited_by_count":14},{"year":2014,"cited_by_count":9},{"year":2013,"cited_by_count":14},{"year":2012,"cited_by_count":14}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}