Delegation and satisfiability in workflow systems

Jason Crampton · Hemanth Khambhammettu

52 citations0/0 files storedACM Symposium on Access Control Models and Technologies (SACMAT)

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Business Process Modeling and Analysis Access Control and Trust Digital Rights Management and Security

Abstract

Supporting delegation mechanisms in workflow systems is receiving increasing interest from the research community. An important requirement of a constrained workflow is to guarantee the satisfiability of the workflow, which requires that some set of authorized users can complete a workflow. Typically, any mechanism that is used to establish the satisfiability of a workflow is based on the workflow specification and the user authorization information. The effect of a successful user delegation request is to change the user authorization information, thereby affecting the satisfiability of the workflow.Existing work on delegation in workflows does not consider the satisfiability of the workflow. In this paper, we address the satisfiability problem of workflows, while supporting user delegation mechanisms, in the context of three different workflow execution models. We consider delegation of concrete tasks, abstract tasks and roles. We present algorithms for evaluating various delegation requests in each workflow execution model.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 52 citations exist upstream.

Cited by

2010Modeling process-related RBAC models with extended UML activity models 2010Generic Algorithms for Consistency Checking of Mutual-Exclusion and Binding Constraints in a Business Process Context 2019Using Hidden Markov Models for the accurate linguistic analysis of process model activity labels 2015Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes 2013Collaboration Support Through Mobile Processes and Entailment Constraints 2013Authorized workflow schemas: deciding realizability through $$\mathsf{LTL }(\mathsf{F })$$ model checking 2014Modeling Support for Role-Based Delegation in Process-Aware Information Systems

Imported from OpenAlex (CC0) — nothing here is generated.