{"id":"https://openalex.org/W1997312976","doi":"https://doi.org/10.1145/1529282.1529639","title":"Model-based reasoning on the achievement of business goals","display_name":"Model-based reasoning on the achievement of business goals","publication_year":2009,"publication_date":"2009-03-08","ids":{"openalex":"https://openalex.org/W1997312976","doi":"https://doi.org/10.1145/1529282.1529639","mag":"1997312976"},"language":"en","primary_location":{"id":"doi:10.1145/1529282.1529639","doi":"https://doi.org/10.1145/1529282.1529639","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1529282.1529639","pdf_url":null,"source":{"id":"https://openalex.org/S4306417581","display_name":"ACM Symposium on Applied Computing","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2009 ACM symposium on Applied Computing","raw_type":"proceedings-article"},"volume":null,"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/A5058783069","display_name":"Sebastian H\u00f6hn","orcid":"https://orcid.org/0000-0001-9447-1492","observed_orcids":["https://orcid.org/0000-0001-9447-1492"]},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Sebastian H\u00f6hn","raw_affiliation_strings":["Albert-Ludwig University, Freiburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Albert-Ludwig University, Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5058783069"],"corresponding_institution_ids":["https://openalex.org/I161046081"],"apc_list":null,"apc_paid":null,"fwci":1.5971,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.82640649,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1589","last_page":"1593"},"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/business-process-modeling","display_name":"business process modeling","score":0.972000002861023},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"automated reasoning","score":0.7179999947547913},{"id":"https://openalex.org/keywords/compliance-enforcement","display_name":"compliance enforcement","score":0.9340000152587891},{"id":"https://openalex.org/keywords/security-properties","display_name":"security properties","score":0.8679999709129333},{"id":"https://openalex.org/keywords/workflow-optimization","display_name":"workflow optimization","score":0.7269999980926514},{"id":"https://openalex.org/keywords/model-based-reasoning","display_name":"model-based reasoning","score":0.7070000171661377}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.7645966410636902},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7464683055877686},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.6417232155799866},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.6404718160629272},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.6095595359802246},{"id":"https://openalex.org/C162754035","wikidata":"https://www.wikidata.org/wiki/Q17006331","display_name":"Artifact-centric business process model","level":5,"score":0.5774015784263611},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.554384708404541},{"id":"https://openalex.org/C11066294","wikidata":"https://www.wikidata.org/wiki/Q1518244","display_name":"Business rule","level":4,"score":0.5122296214103699},{"id":"https://openalex.org/C179299601","wikidata":"https://www.wikidata.org/wiki/Q1017605","display_name":"Business Process Model and Notation","level":5,"score":0.5093182325363159},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5007023811340332},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.480684369802475},{"id":"https://openalex.org/C195094911","wikidata":"https://www.wikidata.org/wiki/Q14167904","display_name":"Process management","level":1,"score":0.47123321890830994},{"id":"https://openalex.org/C56739046","wikidata":"https://www.wikidata.org/wiki/Q192060","display_name":"Knowledge management","level":1,"score":0.40272560715675354},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.20058199763298035},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19561970233917236},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.15498363971710205},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10998022556304932},{"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/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1529282.1529639","doi":"https://doi.org/10.1145/1529282.1529639","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1529282.1529639","pdf_url":null,"source":{"id":"https://openalex.org/S4306417581","display_name":"ACM Symposium on Applied Computing","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2009 ACM symposium on Applied Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W4015096","https://openalex.org/W176300223","https://openalex.org/W1495229550","https://openalex.org/W1526745287","https://openalex.org/W1533309946","https://openalex.org/W1556540894","https://openalex.org/W1559498407","https://openalex.org/W1579517781","https://openalex.org/W2002089154","https://openalex.org/W2008838944","https://openalex.org/W2013386523","https://openalex.org/W2034113185","https://openalex.org/W2095751418","https://openalex.org/W2097810426","https://openalex.org/W2113355185","https://openalex.org/W2116190908","https://openalex.org/W2128932399","https://openalex.org/W2156456150","https://openalex.org/W2338335491","https://openalex.org/W4214880424","https://openalex.org/W4247080677","https://openalex.org/W4249538237","https://openalex.org/W4299953765"],"related_works":["https://openalex.org/W2887263454","https://openalex.org/W2743531196","https://openalex.org/W1509149235","https://openalex.org/W2224656125","https://openalex.org/W7096140795","https://openalex.org/W4415134642","https://openalex.org/W1492400783","https://openalex.org/W2019712263","https://openalex.org/W975671265","https://openalex.org/W2760684771"],"abstract_inverted_index":{"Business":[0],"process":[1,74,113],"modeling":[2],"has":[3,79],"been":[4],"realized":[5],"as":[6],"a":[7,33,57],"methodology":[8],"for":[9,76,89,125],"the":[10,21,26,63,66,87,92,111,116,126,130],"optimization":[11],"of":[12,94,132],"workflows":[13],"in":[14,51,56],"enterprises.":[15],"Process":[16],"models":[17],"help":[18],"to":[19,31,39,53],"formalize":[20],"actual":[22],"workflow":[23],"by":[24],"describing":[25],"activities":[27],"that":[28,60,81],"are":[29],"required":[30],"achieve":[32],"specific":[34],"business":[35,41,95,118,133],"goal.":[36],"In":[37],"order":[38],"make":[40],"processes":[42],"compliant":[43],"with":[44,65],"laws":[45],"and":[46],"regulations,":[47],"it":[48,104],"is":[49,86,98,105],"necessary":[50],"practice":[52],"rewrite":[54],"them":[55],"way":[58],"such":[59],"they":[61],"guarantee":[62],"compliance":[64,77],"identified":[67],"security":[68],"properties.":[69],"Our":[70],"research":[71],"towards":[72],"automated":[73,127],"rewriting":[75,97],"enforcement":[78],"revealed":[80],"an":[82,123],"essential":[83],"building":[84],"block":[85],"ability":[88],"reasoning":[90,128],"on":[91,129,136],"achievement":[93,131],"goals:":[96],"only":[99],"practically":[100],"applicable":[101],"(regardless":[102],"whether":[103],"performed":[106],"manually":[107],"or":[108],"automatically)":[109],"if":[110],"resulting":[112],"still":[114],"achieves":[115],"desired":[117],"goals.":[119],"This":[120],"paper":[121],"presents":[122],"approach":[124],"goals":[134],"based":[135],"semantic":[137],"congruence":[138],"relations.":[139]},"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":3}],"updated_date":"2026-10-05T09:50:58.205359","created_date":"2016-06-24T00:00:00"}