{"id":"https://openalex.org/W2163229252","doi":"https://doi.org/10.1007/978-3-540-78743-3_4","title":"Correctness-Preserving Configuration of Business Process Models","display_name":"Correctness-Preserving Configuration of Business Process Models","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W2163229252","doi":"https://doi.org/10.1007/978-3-540-78743-3_4","mag":"2163229252"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-78743-3_4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-78743-3_4","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"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/A5069762894","display_name":"Wil M. P. van der Aalst","orcid":"https://orcid.org/0000-0002-0955-6940"},"institutions":[{"id":"https://openalex.org/I160993911","display_name":"Queensland University of Technology","ror":"https://ror.org/03pnv4752","country_code":"AU","type":"education","lineage":["https://openalex.org/I160993911"]},{"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":["AU","NL"],"is_corresponding":false,"raw_author_name":"Wil M. P. van der Aalst","raw_affiliation_strings":["Eindhoven University of Technology, The Netherlands","Queensland University of Technology, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Queensland University of Technology, Australia","institution_ids":["https://openalex.org/I160993911"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085212075","display_name":"Marlon Dumas","orcid":"https://orcid.org/0000-0002-9247-7476"},"institutions":[{"id":"https://openalex.org/I160993911","display_name":"Queensland University of Technology","ror":"https://ror.org/03pnv4752","country_code":"AU","type":"education","lineage":["https://openalex.org/I160993911"]},{"id":"https://openalex.org/I56085075","display_name":"University of Tartu","ror":"https://ror.org/03z77qz90","country_code":"EE","type":"education","lineage":["https://openalex.org/I56085075"]}],"countries":["AU","EE"],"is_corresponding":false,"raw_author_name":"Marlon Dumas","raw_affiliation_strings":["Queensland University of Technology, Australia","University of Tartu, Estonia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Queensland University of Technology, Australia","institution_ids":["https://openalex.org/I160993911"]},{"raw_affiliation_string":"University of Tartu, Estonia","institution_ids":["https://openalex.org/I56085075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003311646","display_name":"Florian Gottschalk","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":"Florian Gottschalk","raw_affiliation_strings":["Eindhoven University of Technology, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023334979","display_name":"Arthur H. M. ter Hofstede","orcid":"https://orcid.org/0000-0002-2730-0201"},"institutions":[{"id":"https://openalex.org/I160993911","display_name":"Queensland University of Technology","ror":"https://ror.org/03pnv4752","country_code":"AU","type":"education","lineage":["https://openalex.org/I160993911"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Arthur H. M. ter Hofstede","raw_affiliation_strings":["Queensland University of Technology, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Queensland University of Technology, Australia","institution_ids":["https://openalex.org/I160993911"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042320622","display_name":"Marcello La Rosa","orcid":"https://orcid.org/0000-0001-9568-4035"},"institutions":[{"id":"https://openalex.org/I160993911","display_name":"Queensland University of Technology","ror":"https://ror.org/03pnv4752","country_code":"AU","type":"education","lineage":["https://openalex.org/I160993911"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Marcello La Rosa","raw_affiliation_strings":["Queensland University of Technology, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Queensland University of Technology, Australia","institution_ids":["https://openalex.org/I160993911"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5062764959","display_name":"Jan Mendling","orcid":"https://orcid.org/0000-0002-7260-524X"},"institutions":[{"id":"https://openalex.org/I160993911","display_name":"Queensland University of Technology","ror":"https://ror.org/03pnv4752","country_code":"AU","type":"education","lineage":["https://openalex.org/I160993911"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Jan Mendling","raw_affiliation_strings":["Queensland University of Technology, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Queensland University of Technology, Australia","institution_ids":["https://openalex.org/I160993911"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":9.7246,"has_fulltext":false,"cited_by_count":62,"citation_normalized_percentile":{"value":0.98307741,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"46","last_page":"61"},"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.9994000196456909,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9972000122070312,"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.8268129825592041},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7560583353042603},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"Business process modeling","score":0.6769813895225525},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6375961899757385},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.5906078815460205},{"id":"https://openalex.org/keywords/process-modeling","display_name":"Process modeling","score":0.5498707890510559},{"id":"https://openalex.org/keywords/business-process-model-and-notation","display_name":"Business Process Model and Notation","score":0.5195453763008118},{"id":"https://openalex.org/keywords/reference-model","display_name":"Reference model","score":0.5097002983093262},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4959579408168793},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.48382917046546936},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4703312814235687},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.4381166994571686},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.25183525681495667},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.23047208786010742},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08096632361412048}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8268129825592041},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7560583353042603},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.6769813895225525},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6375961899757385},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.5906078815460205},{"id":"https://openalex.org/C76956256","wikidata":"https://www.wikidata.org/wiki/Q27610560","display_name":"Process modeling","level":3,"score":0.5498707890510559},{"id":"https://openalex.org/C179299601","wikidata":"https://www.wikidata.org/wiki/Q1017605","display_name":"Business Process Model and Notation","level":5,"score":0.5195453763008118},{"id":"https://openalex.org/C150189527","wikidata":"https://www.wikidata.org/wiki/Q356674","display_name":"Reference model","level":2,"score":0.5097002983093262},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4959579408168793},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.48382917046546936},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4703312814235687},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.4381166994571686},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.25183525681495667},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.23047208786010742},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08096632361412048},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C548081761","wikidata":"https://www.wikidata.org/wiki/Q180388","display_name":"Waste management","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-540-78743-3_4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-78743-3_4","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:eprints.qut.edu.au:12446","is_oa":false,"landing_page_url":"https://eprints.qut.edu.au/12446/1/12446.pdf","pdf_url":"https://eprints.qut.edu.au/12446/1/12446.pdf","source":{"id":"https://openalex.org/S4306402607","display_name":"QUT ePrints (Queensland University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I160993911","host_organization_name":"Queensland University of Technology","host_organization_lineage":["https://openalex.org/I160993911"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Fundamental Approaches to Software Engineering: 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Proceedings [Lecture Notes in Computer Science, Volume 4961]","raw_type":"Chapter in Book, Report or Conference volume"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.668.8990","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.668.8990","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://bpmcenter.org/wp-content/uploads/reports/2007/BPM-07-18.pdf","raw_type":"text"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/cbc0adce-fac5-4f95-8ba2-a7205fa00503","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/cbc0adce-fac5-4f95-8ba2-a7205fa00503","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:tue:oai:pure.tue.nl:publications/cbc0adce-fac5-4f95-8ba2-a7205fa00503","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/cbc0adce-fac5-4f95-8ba2-a7205fa00503","pdf_url":null,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Fundamental Approaches to Software Engineering (Proceedings 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008), 46 - 61","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W152372","https://openalex.org/W1494019345","https://openalex.org/W1496763101","https://openalex.org/W1551214605","https://openalex.org/W1568986740","https://openalex.org/W1570173564","https://openalex.org/W1888236768","https://openalex.org/W1906466387","https://openalex.org/W1967201227","https://openalex.org/W1991002835","https://openalex.org/W1996109622","https://openalex.org/W2027898030","https://openalex.org/W2044987604","https://openalex.org/W2062420902","https://openalex.org/W2082124373","https://openalex.org/W2094810043","https://openalex.org/W2113201637","https://openalex.org/W2118314366","https://openalex.org/W2118686577","https://openalex.org/W2127300475","https://openalex.org/W2133491672","https://openalex.org/W2137201403","https://openalex.org/W2162868766","https://openalex.org/W2178686891","https://openalex.org/W2477378326","https://openalex.org/W2506803452","https://openalex.org/W2561675875","https://openalex.org/W2911809809","https://openalex.org/W4232820761"],"related_works":["https://openalex.org/W1778671501","https://openalex.org/W2403967028","https://openalex.org/W3142251153","https://openalex.org/W2908501282","https://openalex.org/W2787262806","https://openalex.org/W2293459815","https://openalex.org/W1490765632","https://openalex.org/W1914999433","https://openalex.org/W4312803163","https://openalex.org/W2766415476"],"abstract_inverted_index":null,"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":8},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":7},{"year":2013,"cited_by_count":8},{"year":2012,"cited_by_count":5}],"updated_date":"2026-08-11T07:18:39.950985","created_date":"2025-10-10T00:00:00"}