It is becoming common practice to migrate signal-based video workflows to IT-based Video workflows. Video workflows have some inherent features, including: 1) necessary human involvements in video workflows introduce security and authorization concerns; 2) the frequent change of video workflow contexts requires a flexible approach to acquiring performance data; 3) the content-centric nature of video workflows, which is in contrast to the business-centric of business workflows, requires the support of scheduled activities. This paper takes the above issues into account, proposing a novel mechanism for modeling video workflow executions in cluster-based resource pools under Role-Based Authorization Control (RBAC) schemes. The Color Timed Petr...
We consider a given specification of functional requirements for a new electronic patient record sys...
We applied colored Petri nets (CPNs) as the formalism that permits modelling, formal analysis and si...
Traditional workflow management systems distribute work items to users via a worklist and leave the ...
It has been a subject of a significant amount of research to automate the execution of workflows (or...
Abstract — Workflows are often used to represent enterprise-type activities, and authorisation contr...
Role-Based Access Control (RBAC) remains one of the most popular authorization control mechanisms. W...
Automating the execution of workflows (or business processes) on computer resources has been the sub...
When investigating the performance of running scientific/commercial workflows in parallel and distri...
A successful execution of a Business Process (BP) is possible only if the proper coordination exists...
Many workflow management systems have been developed to enhance the performance of workflow executio...
2019 Spring.Includes bibliographical references.Workflow is the automation of process logistics for ...
In this paper, we present a formal definition in temporal logic for an authorization model for an ad...
In this paper, we describe the modeling and analysis of a protocol for operational support during wo...
The correctness of a workflow specification is critical for the automation of business processes. Th...
Businesses are continually striving to become more efficient. In an effort to achieve optimal effici...
We consider a given specification of functional requirements for a new electronic patient record sys...
We applied colored Petri nets (CPNs) as the formalism that permits modelling, formal analysis and si...
Traditional workflow management systems distribute work items to users via a worklist and leave the ...
It has been a subject of a significant amount of research to automate the execution of workflows (or...
Abstract — Workflows are often used to represent enterprise-type activities, and authorisation contr...
Role-Based Access Control (RBAC) remains one of the most popular authorization control mechanisms. W...
Automating the execution of workflows (or business processes) on computer resources has been the sub...
When investigating the performance of running scientific/commercial workflows in parallel and distri...
A successful execution of a Business Process (BP) is possible only if the proper coordination exists...
Many workflow management systems have been developed to enhance the performance of workflow executio...
2019 Spring.Includes bibliographical references.Workflow is the automation of process logistics for ...
In this paper, we present a formal definition in temporal logic for an authorization model for an ad...
In this paper, we describe the modeling and analysis of a protocol for operational support during wo...
The correctness of a workflow specification is critical for the automation of business processes. Th...
Businesses are continually striving to become more efficient. In an effort to achieve optimal effici...
We consider a given specification of functional requirements for a new electronic patient record sys...
We applied colored Petri nets (CPNs) as the formalism that permits modelling, formal analysis and si...
Traditional workflow management systems distribute work items to users via a worklist and leave the ...