HP defines an SQL-like language to specify organizational policies (or constraints) in workflow systems. Three types of policies were studied including qualification, requirements and substitution policies which can n...HP defines an SQL-like language to specify organizational policies (or constraints) in workflow systems. Three types of policies were studied including qualification, requirements and substitution policies which can not handle complex role resolution such as Separation of Roles and Binding of Roles, and several exception situations, such as Role Delegation and Role Unavailable. From the perspective of project-oriented workflow, a project and its sub-projects can be under the charge of teams (or virtual teams). The teams should satisfy the role resolution of the projects managed by the team. To support the above requirements, based on team-enabled organization model, this paper extended HP’s policy language to support the role resolution in project-oriented workflow, and provided its modeling and enforcement mechanism.展开更多
In the context of workflow systems, security-relevant aspect is related to the assignment of activities to (human or automated) agents. This paper intends to cast light on the management of project-oriented workflow. ...In the context of workflow systems, security-relevant aspect is related to the assignment of activities to (human or automated) agents. This paper intends to cast light on the management of project-oriented workflow. A comprehensive authorization model is proposed from the perspective of project management. In this model, the concept of activity decomposition and team is introduced, which improves the security of conventional role-based access control. Furthermore, policy is provided to define the static and dynamic constraints such as Separation of Duty (SoD). Validity of constraints is proposed to provide a fine-grained assignment, which improves the performance of policy management. The model is applicable not only to project-oriented workflow applications but also to other teamwork environments such as virtual enterprise.展开更多
Automobile Inspection and Maintenance Course is relatively practical and professional.Therefore,teachers need to provide students with opportunities for practice as much as possible,so that students can realize the in...Automobile Inspection and Maintenance Course is relatively practical and professional.Therefore,teachers need to provide students with opportunities for practice as much as possible,so that students can realize the integration of theory and practice,improve teaching efficiency.Project-oriented teaching design can enable students to participate in the practical training and maintenance of automotive engines,which helps students understand the theories in the book.This article mainly analyzes the strategies for teaching design of project-oriented Automobile Inspection and Maintenance Course.展开更多
In a cloud-native era,the Kubernetes-based workflow engine enables workflow containerized execution through the inherent abilities of Kubernetes.However,when encountering continuous workflow requests and unexpected re...In a cloud-native era,the Kubernetes-based workflow engine enables workflow containerized execution through the inherent abilities of Kubernetes.However,when encountering continuous workflow requests and unexpected resource request spikes,the engine is limited to the current workflow load information for resource allocation,which lacks the agility and predictability of resource allocation,resulting in over and underprovisioning resources.This mechanism seriously hinders workflow execution efficiency and leads to high resource waste.To overcome these drawbacks,we propose an adaptive resource allocation scheme named adaptive resource allocation scheme(ARAS)for the Kubernetes-based workflow engines.Considering potential future workflow task requests within the current task pod’s lifecycle,the ARAS uses a resource scaling strategy to allocate resources in response to high-concurrency workflow scenarios.The ARAS offers resource discovery,resource evaluation,and allocation functionalities and serves as a key component for our tailored workflow engine(KubeAdaptor).By integrating the ARAS into KubeAdaptor for workflow containerized execution,we demonstrate the practical abilities of KubeAdaptor and the advantages of our ARAS.Compared with the baseline algorithm,experimental evaluation under three distinct workflow arrival patterns shows that ARAS gains time-saving of 9.8% to 40.92% in the average total duration of all workflows,time-saving of 26.4% to 79.86% in the average duration of individual workflow,and an increase of 1% to 16% in centrol processing unit(CPU)and memory resource usage rate.展开更多
In this paper, we propose astochastic Petri net model P-timed Workflow (WPTSPN) to specify, verify, and analyze a business process (BP) of a Flexible Manufacturing System (FMS). After formalizing the semantics of our ...In this paper, we propose astochastic Petri net model P-timed Workflow (WPTSPN) to specify, verify, and analyze a business process (BP) of a Flexible Manufacturing System (FMS). After formalizing the semantics of our model, we illustrate how to verifysome of its properties (reachability, safety, boundedness, liveness, correctness, alive tokens, and security) in the P-Timed context. Next, we validate the relevance of the proposed model with MATLAB simulation through a specific FMS case study. Finally, we use a generalized truncated density function to predict the duration of a token’s sojourn (residence) in a timed place with respect to the sequence states of the global FMS workflow.展开更多
在高强度X射线辐照下,X射线自由电子激光(X-ray Free-electron Laser,XFEL)装置的光学元件薄膜产生的大量辐照缺陷会导致材料结构损伤,引起宏观性能退化,从而影响其服役寿命,进而影响到XFEL装置的可靠性和稳定性。为了研究材料辐照缺陷...在高强度X射线辐照下,X射线自由电子激光(X-ray Free-electron Laser,XFEL)装置的光学元件薄膜产生的大量辐照缺陷会导致材料结构损伤,引起宏观性能退化,从而影响其服役寿命,进而影响到XFEL装置的可靠性和稳定性。为了研究材料辐照缺陷过程以及方便耐辐照材料的数据积累,提供了一种基于Python语言的自动化辐照模拟程序AISL(Automatic Irradiation Simulation based on LAMMPS),以支持采用分子动力学方法模拟XFEL对材料的辐照损伤进行微观研究。AISL实现了模拟任务的自动化工作流管道,包括高通量计算任务的管理和执行,计算数据的高可靠存储和热力学信息的后处理。基于AISL在XFEL光学元件金属薄膜辐照损伤模拟的应用实例研究,表明了AISL是一种便捷开展高通量自动化的辐照模拟研究的有效方法,能够显著提高基于LAMMPS的材料辐照损伤模拟计算效率。展开更多
文摘HP defines an SQL-like language to specify organizational policies (or constraints) in workflow systems. Three types of policies were studied including qualification, requirements and substitution policies which can not handle complex role resolution such as Separation of Roles and Binding of Roles, and several exception situations, such as Role Delegation and Role Unavailable. From the perspective of project-oriented workflow, a project and its sub-projects can be under the charge of teams (or virtual teams). The teams should satisfy the role resolution of the projects managed by the team. To support the above requirements, based on team-enabled organization model, this paper extended HP’s policy language to support the role resolution in project-oriented workflow, and provided its modeling and enforcement mechanism.
文摘In the context of workflow systems, security-relevant aspect is related to the assignment of activities to (human or automated) agents. This paper intends to cast light on the management of project-oriented workflow. A comprehensive authorization model is proposed from the perspective of project management. In this model, the concept of activity decomposition and team is introduced, which improves the security of conventional role-based access control. Furthermore, policy is provided to define the static and dynamic constraints such as Separation of Duty (SoD). Validity of constraints is proposed to provide a fine-grained assignment, which improves the performance of policy management. The model is applicable not only to project-oriented workflow applications but also to other teamwork environments such as virtual enterprise.
文摘Automobile Inspection and Maintenance Course is relatively practical and professional.Therefore,teachers need to provide students with opportunities for practice as much as possible,so that students can realize the integration of theory and practice,improve teaching efficiency.Project-oriented teaching design can enable students to participate in the practical training and maintenance of automotive engines,which helps students understand the theories in the book.This article mainly analyzes the strategies for teaching design of project-oriented Automobile Inspection and Maintenance Course.
基金supported by the National Natural Science Foundation of China(61873030,62002019).
文摘In a cloud-native era,the Kubernetes-based workflow engine enables workflow containerized execution through the inherent abilities of Kubernetes.However,when encountering continuous workflow requests and unexpected resource request spikes,the engine is limited to the current workflow load information for resource allocation,which lacks the agility and predictability of resource allocation,resulting in over and underprovisioning resources.This mechanism seriously hinders workflow execution efficiency and leads to high resource waste.To overcome these drawbacks,we propose an adaptive resource allocation scheme named adaptive resource allocation scheme(ARAS)for the Kubernetes-based workflow engines.Considering potential future workflow task requests within the current task pod’s lifecycle,the ARAS uses a resource scaling strategy to allocate resources in response to high-concurrency workflow scenarios.The ARAS offers resource discovery,resource evaluation,and allocation functionalities and serves as a key component for our tailored workflow engine(KubeAdaptor).By integrating the ARAS into KubeAdaptor for workflow containerized execution,we demonstrate the practical abilities of KubeAdaptor and the advantages of our ARAS.Compared with the baseline algorithm,experimental evaluation under three distinct workflow arrival patterns shows that ARAS gains time-saving of 9.8% to 40.92% in the average total duration of all workflows,time-saving of 26.4% to 79.86% in the average duration of individual workflow,and an increase of 1% to 16% in centrol processing unit(CPU)and memory resource usage rate.
文摘In this paper, we propose astochastic Petri net model P-timed Workflow (WPTSPN) to specify, verify, and analyze a business process (BP) of a Flexible Manufacturing System (FMS). After formalizing the semantics of our model, we illustrate how to verifysome of its properties (reachability, safety, boundedness, liveness, correctness, alive tokens, and security) in the P-Timed context. Next, we validate the relevance of the proposed model with MATLAB simulation through a specific FMS case study. Finally, we use a generalized truncated density function to predict the duration of a token’s sojourn (residence) in a timed place with respect to the sequence states of the global FMS workflow.
文摘在高强度X射线辐照下,X射线自由电子激光(X-ray Free-electron Laser,XFEL)装置的光学元件薄膜产生的大量辐照缺陷会导致材料结构损伤,引起宏观性能退化,从而影响其服役寿命,进而影响到XFEL装置的可靠性和稳定性。为了研究材料辐照缺陷过程以及方便耐辐照材料的数据积累,提供了一种基于Python语言的自动化辐照模拟程序AISL(Automatic Irradiation Simulation based on LAMMPS),以支持采用分子动力学方法模拟XFEL对材料的辐照损伤进行微观研究。AISL实现了模拟任务的自动化工作流管道,包括高通量计算任务的管理和执行,计算数据的高可靠存储和热力学信息的后处理。基于AISL在XFEL光学元件金属薄膜辐照损伤模拟的应用实例研究,表明了AISL是一种便捷开展高通量自动化的辐照模拟研究的有效方法,能够显著提高基于LAMMPS的材料辐照损伤模拟计算效率。