{"id":"https://openalex.org/W1825782007","doi":null,"title":"An integer programming based approach for diagnosing workflows","display_name":"An integer programming based approach for diagnosing workflows","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W1825782007","mag":"1825782007"},"language":"en","primary_location":{"id":"pmh:tue:oai:pure.tue.nl:publications/61ddf44d-6f09-477f-9deb-64964b08a53a","doi":null,"is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/61ddf44d-6f09-477f-9deb-64964b08a53a","pdf_url":"https://research.tue.nl/nl/publications/61ddf44d-6f09-477f-9deb-64964b08a53a","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,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/report"},"volume":null,"type":"report","is_traditional":false,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.tue.nl/nl/publications/61ddf44d-6f09-477f-9deb-64964b08a53a","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007187430","display_name":"Rik Eshuis","orcid":"https://orcid.org/0000-0003-2314-7155","observed_orcids":["https://orcid.org/0000-0003-2314-7155"]},"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":"Rik Eshuis","raw_affiliation_strings":["EINDHOVEN UNIVERSITY OF TECHNOLOGY"],"raw_orcid":"https://orcid.org/0000-0003-2314-7155","affiliations":[{"raw_affiliation_string":"EINDHOVEN UNIVERSITY OF TECHNOLOGY","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077956826","display_name":"Akhil Kumar","orcid":"https://orcid.org/0000-0003-3572-3789","observed_orcids":["https://orcid.org/0000-0003-3572-3789"]},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Akhil Kumar","raw_affiliation_strings":["Pennsylvania State Univ#TAB#"],"raw_orcid":"https://orcid.org/0000-0003-3572-3789","affiliations":[{"raw_affiliation_string":"Pennsylvania State Univ#TAB#","institution_ids":["https://openalex.org/I130769515"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"264","issue":null,"first_page":null,"last_page":null},"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.9994999766349792,"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.9994999766349792,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10142","display_name":"Formal Methods in Verification","score":0.0,"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/workflow-analysis","display_name":"workflow analysis","score":0.7839999794960022},{"id":"https://openalex.org/keywords/model-error","display_name":"model error","score":0.8930000066757202},{"id":"https://openalex.org/keywords/integer-programming","display_name":"integer programming","score":0.8040000200271606},{"id":"https://openalex.org/keywords/constraint-relaxation","display_name":"constraint relaxation","score":0.8809999823570251},{"id":"https://openalex.org/keywords/workflow-patterns","display_name":"workflow patterns","score":0.5709999799728394},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"business process modeling","score":0.593999981880188}],"concepts":[{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.9187401533126831},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.771639347076416},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.670283317565918},{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.6584200859069824},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6149555444717407},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.516061007976532},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4848986268043518},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.4490922689437866},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37498825788497925},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3430998921394348},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3319472074508667},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.32418107986450195},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.20836606621742249},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1921830177307129},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.1561374068260193},{"id":"https://openalex.org/C127716648","wikidata":"https://www.wikidata.org/wiki/Q104053","display_name":"Phenotype","level":3,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C188082640","wikidata":"https://www.wikidata.org/wiki/Q1780899","display_name":"Complementation","level":4,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"pmh:tue:oai:pure.tue.nl:publications/61ddf44d-6f09-477f-9deb-64964b08a53a","doi":null,"is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/61ddf44d-6f09-477f-9deb-64964b08a53a","pdf_url":"https://research.tue.nl/nl/publications/61ddf44d-6f09-477f-9deb-64964b08a53a","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,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/report"},{"id":"pmh:640149","doi":null,"is_oa":false,"landing_page_url":"http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=640149","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,"listed_in":[],"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":"External research report"},{"id":"pmh:oai:library.tue.nl:640149","doi":null,"is_oa":false,"landing_page_url":"http://repository.tue.nl/640149","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,"listed_in":[],"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":"External research report"},{"id":"pmh:oai:pure.tue.nl:openaire/61ddf44d-6f09-477f-9deb-64964b08a53a","doi":null,"is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/61ddf44d-6f09-477f-9deb-64964b08a53a","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,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Eshuis, H & Kumar, A 2008, An integer programming based approach for diagnosing workflows. BETA publicatie : working papers, vol. 264, Technische Universiteit Eindhoven, Eindhoven.","raw_type":"info:eu-repo/semantics/report"},{"id":"pmh:tue:oai:library.tue.nl:640149","doi":null,"is_oa":false,"landing_page_url":"http://repository.tue.nl/640149","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,"listed_in":[],"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":"info:eu-repo/semantics/report"},{"id":"mag:1825782007","doi":null,"is_oa":false,"landing_page_url":"http://is.ieis.tue.nl/staff/heshuis/IP-WF-TR.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:tue:oai:pure.tue.nl:publications/61ddf44d-6f09-477f-9deb-64964b08a53a","doi":null,"is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/61ddf44d-6f09-477f-9deb-64964b08a53a","pdf_url":"https://research.tue.nl/nl/publications/61ddf44d-6f09-477f-9deb-64964b08a53a","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,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/report"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1825782007.pdf","grobid_xml":"https://content.openalex.org/works/W1825782007.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W1509500618","https://openalex.org/W1510305789","https://openalex.org/W1511762409","https://openalex.org/W1529322076","https://openalex.org/W1532777614","https://openalex.org/W1548662955","https://openalex.org/W2019987175","https://openalex.org/W2057339615","https://openalex.org/W2109653929","https://openalex.org/W2114457640","https://openalex.org/W2127300475","https://openalex.org/W2149406008","https://openalex.org/W2153253529","https://openalex.org/W2160493209","https://openalex.org/W2174443976","https://openalex.org/W2911625174","https://openalex.org/W3125300637"],"related_works":["https://openalex.org/W2117988024","https://openalex.org/W2125147053","https://openalex.org/W7044444041","https://openalex.org/W2163739213","https://openalex.org/W7033127363","https://openalex.org/W3021967711","https://openalex.org/W7101068084","https://openalex.org/W7100332296","https://openalex.org/W2807994605","https://openalex.org/W2384131721"],"abstract_inverted_index":{"Workflow":[0],"analysis":[1,15],"is":[2,59,86,97,106],"indispensable":[3],"to":[4,33,111,121],"capture":[5],"modeling":[6],"errors\\nin":[7],"workflow":[8,123],"designs.":[9],"While":[10],"in":[11],"the":[12,35,75,94,100,104],"past":[13],"several":[14],"approaches\\nfor":[16],"workflows":[17,51],"have":[18],"been":[19],"defined,":[20],"these":[21],"approaches":[22],"do":[23],"not":[24],"give":[25],"precise\\nfeedback,":[26],"making":[27],"it":[28,89],"hard":[29],"for":[30,48],"a":[31,45,62,113],"designer":[32],"pinpoint":[34],"exact":[36],"cause":[37],"of\\nmodeling":[38],"errors.":[39],"In":[40],"this":[41,84],"paper":[42],"we":[43],"introduce":[44],"novel":[46],"approach":[47,76,85,105],"analyzing\\nand":[49],"diagnosing":[50],"based":[52],"on":[53],"integer":[54],"programming":[55],"(IP).":[56],"Each\\nworkflow":[57],"model":[58],"translated":[60],"into":[61],"set":[63],"of":[64,115,129],"IP":[65,101],"constraints.":[66,80],"Faulty":[67],"control\\nflow":[68],"connectors":[69],"can":[70],"be":[71],"easily":[72],"detected":[73],"using":[74],"by":[77],"relaxing\\nthe":[78],"corresponding":[79],"We":[81],"show":[82],"that":[83],"correct,\\nand":[87],"illustrate":[88],"with":[90],"realistic":[91],"examples":[92],"where":[93],"CPLEX":[95],"tool":[96],"used\\nto":[98],"solve":[99],"formulations.":[102],"Moreover,":[103],"flexible":[107],"and":[108],"can\\nbe":[109],"extended":[110],"handle":[112],"variety":[114],"new":[116],"constraints,":[117],"as":[118,120],"well":[119],"support\\nnew":[122],"patterns.":[124],"Its":[125],"features":[126],"complement":[127],"those":[128],"existing\\napproaches.":[130]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2016-06-24T00:00:00"}