Matches in SemOpenAlex for { <https://semopenalex.org/work/W3149744333> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W3149744333 abstract "Today, a trend in Business Process Management (BPM) research is the study of techniques and paradigms that can handle agility. Thus, trend is also to decompose complex business processes for different purposes such as reuse or understanding. However, the cross cutting essence of compliance rules is orthogonal to any traditional building `block' or hierarchical based decomposition of a business process. In this abstract, we address the problem of decomposition of business processes given a set of compliance rules. To summarize, we provide a sound categorization of contributing subformula occurrences in an artifact system A w.r.t to an LTL-FO formula. We give a complexity result for computing an explanation of compliance. Furthermore, one provided a method to extract all explanations. This method is built on the computation of all the high level minimal unsatisfiable subsets of constraints in a Satisfiability Modulo Theory problem using uninterpreted predicates (relational) except for the following one (N, <;)." @default.
- W3149744333 created "2021-04-13" @default.
- W3149744333 creator A5007224920 @default.
- W3149744333 creator A5074205017 @default.
- W3149744333 date "2012-06-01" @default.
- W3149744333 modified "2023-10-18" @default.
- W3149744333 title "Causes-based problems in business process compliance based management" @default.
- W3149744333 cites W1492400783 @default.
- W3149744333 cites W1593691693 @default.
- W3149744333 cites W2020169768 @default.
- W3149744333 cites W2028980140 @default.
- W3149744333 cites W2073566426 @default.
- W3149744333 cites W2095623224 @default.
- W3149744333 cites W2129466958 @default.
- W3149744333 doi "https://doi.org/10.1109/s-cube.2012.6225503" @default.
- W3149744333 hasPublicationYear "2012" @default.
- W3149744333 type Work @default.
- W3149744333 sameAs 3149744333 @default.
- W3149744333 citedByCount "0" @default.
- W3149744333 crossrefType "proceedings-article" @default.
- W3149744333 hasAuthorship W3149744333A5007224920 @default.
- W3149744333 hasAuthorship W3149744333A5074205017 @default.
- W3149744333 hasConcept C11066294 @default.
- W3149744333 hasConcept C118615104 @default.
- W3149744333 hasConcept C124681953 @default.
- W3149744333 hasConcept C154945302 @default.
- W3149744333 hasConcept C162324750 @default.
- W3149744333 hasConcept C168773769 @default.
- W3149744333 hasConcept C174998907 @default.
- W3149744333 hasConcept C177264268 @default.
- W3149744333 hasConcept C18903297 @default.
- W3149744333 hasConcept C199360897 @default.
- W3149744333 hasConcept C207505557 @default.
- W3149744333 hasConcept C21547014 @default.
- W3149744333 hasConcept C2779010991 @default.
- W3149744333 hasConcept C33923547 @default.
- W3149744333 hasConcept C41008148 @default.
- W3149744333 hasConcept C54732982 @default.
- W3149744333 hasConcept C80309976 @default.
- W3149744333 hasConcept C80444323 @default.
- W3149744333 hasConcept C85345410 @default.
- W3149744333 hasConcept C86803240 @default.
- W3149744333 hasConcept C94124525 @default.
- W3149744333 hasConcept C98045186 @default.
- W3149744333 hasConceptScore W3149744333C11066294 @default.
- W3149744333 hasConceptScore W3149744333C118615104 @default.
- W3149744333 hasConceptScore W3149744333C124681953 @default.
- W3149744333 hasConceptScore W3149744333C154945302 @default.
- W3149744333 hasConceptScore W3149744333C162324750 @default.
- W3149744333 hasConceptScore W3149744333C168773769 @default.
- W3149744333 hasConceptScore W3149744333C174998907 @default.
- W3149744333 hasConceptScore W3149744333C177264268 @default.
- W3149744333 hasConceptScore W3149744333C18903297 @default.
- W3149744333 hasConceptScore W3149744333C199360897 @default.
- W3149744333 hasConceptScore W3149744333C207505557 @default.
- W3149744333 hasConceptScore W3149744333C21547014 @default.
- W3149744333 hasConceptScore W3149744333C2779010991 @default.
- W3149744333 hasConceptScore W3149744333C33923547 @default.
- W3149744333 hasConceptScore W3149744333C41008148 @default.
- W3149744333 hasConceptScore W3149744333C54732982 @default.
- W3149744333 hasConceptScore W3149744333C80309976 @default.
- W3149744333 hasConceptScore W3149744333C80444323 @default.
- W3149744333 hasConceptScore W3149744333C85345410 @default.
- W3149744333 hasConceptScore W3149744333C86803240 @default.
- W3149744333 hasConceptScore W3149744333C94124525 @default.
- W3149744333 hasConceptScore W3149744333C98045186 @default.
- W3149744333 hasLocation W31497443331 @default.
- W3149744333 hasOpenAccess W3149744333 @default.
- W3149744333 hasPrimaryLocation W31497443331 @default.
- W3149744333 hasRelatedWork W1983710131 @default.
- W3149744333 hasRelatedWork W2010855925 @default.
- W3149744333 hasRelatedWork W20114961 @default.
- W3149744333 hasRelatedWork W2138360901 @default.
- W3149744333 hasRelatedWork W2168931316 @default.
- W3149744333 hasRelatedWork W2345053703 @default.
- W3149744333 hasRelatedWork W2885349662 @default.
- W3149744333 hasRelatedWork W3197731809 @default.
- W3149744333 hasRelatedWork W4361865022 @default.
- W3149744333 hasRelatedWork W945414625 @default.
- W3149744333 isParatext "false" @default.
- W3149744333 isRetracted "false" @default.
- W3149744333 magId "3149744333" @default.
- W3149744333 workType "article" @default.