Matches in SemOpenAlex for { <https://semopenalex.org/work/W130970235> ?p ?o ?g. }
- W130970235 abstract "The workflow satisfiability problem (WSP) is a novel form of constraint satisfaction problem that arises in the context of workflow design and the enforcement of security constraints defined over such workflows. In WSP, we are given a set $S$ of tasks, a set $U$ of users, a set of constraints with variables from $S$, and, for each task $s$, a list of users authorized to perform $s$. We are to decide whether there is an assignment $pi$ (called a plan) of tasks to authorized users such that all constraints are satisfied. We design a generic algorithm for WSP using a new approach, in which plans are grouped into equivalence classes, each class being associated with a emph{pattern}. We demonstrate that the generic algorithm is a fixed-parameter algorithm for user-independent constraints, a family or constraints that includes many of the constraints of interest in business processing systems. The algorithm for user-independent constraints is of running time $O^*(2^{klog k})$, where $k=|S|$, and we show that there is no algorithm of running time $O^*(2^{o(klog k)})$ unless the Exponential Time Hypothesis fails." @default.
- W130970235 created "2016-06-24" @default.
- W130970235 creator A5013520933 @default.
- W130970235 creator A5044021493 @default.
- W130970235 creator A5078546829 @default.
- W130970235 creator A5091128796 @default.
- W130970235 date "2013-06-16" @default.
- W130970235 modified "2023-09-27" @default.
- W130970235 title "Pattern-Based Plan Construction for the Workflow Satisfiability Problem." @default.
- W130970235 cites W1488282429 @default.
- W130970235 cites W1517036688 @default.
- W130970235 cites W1816837704 @default.
- W130970235 cites W1972514464 @default.
- W130970235 cites W1983032729 @default.
- W130970235 cites W1995725694 @default.
- W130970235 cites W2038953226 @default.
- W130970235 cites W2052773530 @default.
- W130970235 cites W2057028717 @default.
- W130970235 cites W2076004681 @default.
- W130970235 cites W2087638517 @default.
- W130970235 cites W2124452950 @default.
- W130970235 cites W2141696417 @default.
- W130970235 cites W2157922724 @default.
- W130970235 cites W2166602595 @default.
- W130970235 cites W2335915014 @default.
- W130970235 cites W2913688336 @default.
- W130970235 cites W2962968862 @default.
- W130970235 cites W3004540582 @default.
- W130970235 hasPublicationYear "2013" @default.
- W130970235 type Work @default.
- W130970235 sameAs 130970235 @default.
- W130970235 citedByCount "0" @default.
- W130970235 crossrefType "posted-content" @default.
- W130970235 hasAuthorship W130970235A5013520933 @default.
- W130970235 hasAuthorship W130970235A5044021493 @default.
- W130970235 hasAuthorship W130970235A5078546829 @default.
- W130970235 hasAuthorship W130970235A5091128796 @default.
- W130970235 hasConcept C118615104 @default.
- W130970235 hasConcept C151730666 @default.
- W130970235 hasConcept C154945302 @default.
- W130970235 hasConcept C168773769 @default.
- W130970235 hasConcept C177212765 @default.
- W130970235 hasConcept C177264268 @default.
- W130970235 hasConcept C199360897 @default.
- W130970235 hasConcept C199622910 @default.
- W130970235 hasConcept C2524010 @default.
- W130970235 hasConcept C2776036281 @default.
- W130970235 hasConcept C2777212361 @default.
- W130970235 hasConcept C2779343474 @default.
- W130970235 hasConcept C2780069185 @default.
- W130970235 hasConcept C3017489831 @default.
- W130970235 hasConcept C33923547 @default.
- W130970235 hasConcept C41008148 @default.
- W130970235 hasConcept C44616089 @default.
- W130970235 hasConcept C49937458 @default.
- W130970235 hasConcept C71017364 @default.
- W130970235 hasConcept C77088390 @default.
- W130970235 hasConcept C80444323 @default.
- W130970235 hasConcept C86803240 @default.
- W130970235 hasConceptScore W130970235C118615104 @default.
- W130970235 hasConceptScore W130970235C151730666 @default.
- W130970235 hasConceptScore W130970235C154945302 @default.
- W130970235 hasConceptScore W130970235C168773769 @default.
- W130970235 hasConceptScore W130970235C177212765 @default.
- W130970235 hasConceptScore W130970235C177264268 @default.
- W130970235 hasConceptScore W130970235C199360897 @default.
- W130970235 hasConceptScore W130970235C199622910 @default.
- W130970235 hasConceptScore W130970235C2524010 @default.
- W130970235 hasConceptScore W130970235C2776036281 @default.
- W130970235 hasConceptScore W130970235C2777212361 @default.
- W130970235 hasConceptScore W130970235C2779343474 @default.
- W130970235 hasConceptScore W130970235C2780069185 @default.
- W130970235 hasConceptScore W130970235C3017489831 @default.
- W130970235 hasConceptScore W130970235C33923547 @default.
- W130970235 hasConceptScore W130970235C41008148 @default.
- W130970235 hasConceptScore W130970235C44616089 @default.
- W130970235 hasConceptScore W130970235C49937458 @default.
- W130970235 hasConceptScore W130970235C71017364 @default.
- W130970235 hasConceptScore W130970235C77088390 @default.
- W130970235 hasConceptScore W130970235C80444323 @default.
- W130970235 hasConceptScore W130970235C86803240 @default.
- W130970235 hasLocation W1309702351 @default.
- W130970235 hasOpenAccess W130970235 @default.
- W130970235 hasPrimaryLocation W1309702351 @default.
- W130970235 hasRelatedWork W106499552 @default.
- W130970235 hasRelatedWork W1185717587 @default.
- W130970235 hasRelatedWork W1535560884 @default.
- W130970235 hasRelatedWork W1557705358 @default.
- W130970235 hasRelatedWork W1567338500 @default.
- W130970235 hasRelatedWork W181821166 @default.
- W130970235 hasRelatedWork W1878459033 @default.
- W130970235 hasRelatedWork W2045136239 @default.
- W130970235 hasRelatedWork W2075632665 @default.
- W130970235 hasRelatedWork W250865208 @default.
- W130970235 hasRelatedWork W2535631240 @default.
- W130970235 hasRelatedWork W2951288661 @default.
- W130970235 hasRelatedWork W2952188590 @default.
- W130970235 hasRelatedWork W2962767718 @default.
- W130970235 hasRelatedWork W2963643124 @default.
- W130970235 hasRelatedWork W2964075550 @default.