Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569043828> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1569043828 endingPage "386" @default.
- W1569043828 startingPage "372" @default.
- W1569043828 abstract "Designing business models is a complicated and error prone task. On the one hand, business models need to be intuitive and easy to understand. On the other hand, ambiguities may lead to different interpretations and false consensus. Moreover, to configure process-aware information systems (e.g., a workflow system), the business model needs to be transformed into an executable model. Event-driven Process Chains (EPCs), but also other informal languages, are intended as a language to support the transition from a business model to an executable model. Many researchers have assigned formal semantics to EPCs and are using these semantics for execution and verification. In this paper, we use a different tactic. We propose a two-step approach where first the informal model is reduced and then verified in an interactive manner. This approach acknowledges that some constructs are correct or incorrect no matter what interpretation is used and that the remaining constructs require human judgment to assess correctness. This paper presents a software tool that supports this two-step approach and thus allows for the verification of real-life EPCs as illustrated by two case studies." @default.
- W1569043828 created "2016-06-24" @default.
- W1569043828 creator A5030986860 @default.
- W1569043828 creator A5071443037 @default.
- W1569043828 creator A5081345037 @default.
- W1569043828 date "2005-01-01" @default.
- W1569043828 modified "2023-10-18" @default.
- W1569043828 title "Verification of EPCs: Using Reduction Rules and Petri Nets" @default.
- W1569043828 cites W1532777614 @default.
- W1569043828 cites W1535673446 @default.
- W1569043828 cites W1583530357 @default.
- W1569043828 cites W1585036716 @default.
- W1569043828 cites W1604634792 @default.
- W1569043828 cites W1828923228 @default.
- W1569043828 cites W1976132482 @default.
- W1569043828 cites W1996109622 @default.
- W1569043828 cites W2040836689 @default.
- W1569043828 cites W2057339615 @default.
- W1569043828 cites W2097810426 @default.
- W1569043828 cites W2127030216 @default.
- W1569043828 cites W2149406008 @default.
- W1569043828 doi "https://doi.org/10.1007/11431855_26" @default.
- W1569043828 hasPublicationYear "2005" @default.
- W1569043828 type Work @default.
- W1569043828 sameAs 1569043828 @default.
- W1569043828 citedByCount "97" @default.
- W1569043828 countsByYear W15690438282012 @default.
- W1569043828 countsByYear W15690438282013 @default.
- W1569043828 countsByYear W15690438282014 @default.
- W1569043828 countsByYear W15690438282015 @default.
- W1569043828 countsByYear W15690438282016 @default.
- W1569043828 countsByYear W15690438282018 @default.
- W1569043828 countsByYear W15690438282019 @default.
- W1569043828 countsByYear W15690438282020 @default.
- W1569043828 countsByYear W15690438282021 @default.
- W1569043828 countsByYear W15690438282022 @default.
- W1569043828 countsByYear W15690438282023 @default.
- W1569043828 crossrefType "book-chapter" @default.
- W1569043828 hasAuthorship W1569043828A5030986860 @default.
- W1569043828 hasAuthorship W1569043828A5071443037 @default.
- W1569043828 hasAuthorship W1569043828A5081345037 @default.
- W1569043828 hasBestOaLocation W15690438281 @default.
- W1569043828 hasConcept C110251889 @default.
- W1569043828 hasConcept C111498074 @default.
- W1569043828 hasConcept C115903868 @default.
- W1569043828 hasConcept C127413603 @default.
- W1569043828 hasConcept C146499914 @default.
- W1569043828 hasConcept C160145156 @default.
- W1569043828 hasConcept C174998907 @default.
- W1569043828 hasConcept C177212765 @default.
- W1569043828 hasConcept C184337299 @default.
- W1569043828 hasConcept C199360897 @default.
- W1569043828 hasConcept C21547014 @default.
- W1569043828 hasConcept C38677869 @default.
- W1569043828 hasConcept C41008148 @default.
- W1569043828 hasConcept C55439883 @default.
- W1569043828 hasConcept C77088390 @default.
- W1569043828 hasConcept C85345410 @default.
- W1569043828 hasConceptScore W1569043828C110251889 @default.
- W1569043828 hasConceptScore W1569043828C111498074 @default.
- W1569043828 hasConceptScore W1569043828C115903868 @default.
- W1569043828 hasConceptScore W1569043828C127413603 @default.
- W1569043828 hasConceptScore W1569043828C146499914 @default.
- W1569043828 hasConceptScore W1569043828C160145156 @default.
- W1569043828 hasConceptScore W1569043828C174998907 @default.
- W1569043828 hasConceptScore W1569043828C177212765 @default.
- W1569043828 hasConceptScore W1569043828C184337299 @default.
- W1569043828 hasConceptScore W1569043828C199360897 @default.
- W1569043828 hasConceptScore W1569043828C21547014 @default.
- W1569043828 hasConceptScore W1569043828C38677869 @default.
- W1569043828 hasConceptScore W1569043828C41008148 @default.
- W1569043828 hasConceptScore W1569043828C55439883 @default.
- W1569043828 hasConceptScore W1569043828C77088390 @default.
- W1569043828 hasConceptScore W1569043828C85345410 @default.
- W1569043828 hasLocation W15690438281 @default.
- W1569043828 hasOpenAccess W1569043828 @default.
- W1569043828 hasPrimaryLocation W15690438281 @default.
- W1569043828 hasRelatedWork W123232229 @default.
- W1569043828 hasRelatedWork W1604510438 @default.
- W1569043828 hasRelatedWork W1606231633 @default.
- W1569043828 hasRelatedWork W168005578 @default.
- W1569043828 hasRelatedWork W2160541786 @default.
- W1569043828 hasRelatedWork W2296663577 @default.
- W1569043828 hasRelatedWork W2371193396 @default.
- W1569043828 hasRelatedWork W2476395263 @default.
- W1569043828 hasRelatedWork W2807707818 @default.
- W1569043828 hasRelatedWork W4362734964 @default.
- W1569043828 isParatext "false" @default.
- W1569043828 isRetracted "false" @default.
- W1569043828 magId "1569043828" @default.
- W1569043828 workType "book-chapter" @default.