摘要：With more large-scale scientific computing tasks being delivered to cloud computing platforms, cloud workflow systems are designed for managing and arranging these complicated tasks. However, multi-tenant coexistence service mode of cloud computing brings serious security risks, which will threaten the normal execution of cloud workflows. To strengthen the security of cloud workflows, a mimic cloud computing task execution system for scientific workflows is proposed. The idea of mimic defense contains mainly three aspects: heterogeneity, redundancy, and dynamics. For heterogeneity, the diversities of physical servers, hypervisors, and operating systems are integrated to build a robust system framework. For redundancy, each sub-task of the workflow will be executed simultaneously by multiple executors. Considering efficiency and security, a delayed decision mechanism is proposed to check the results of task execution. For dynamics, a dynamic task scheduling mechanism is devised for switching workflow execution environment and shortening the life cycle of executors, which can confuse the adversaries and purify task executors. Experimental results show that the proposed system can effectively strengthen the security of cloud workflow execution.

摘要：通过对出差和费用报销系统的业务流程分析,根据workflow引擎设计和系统总体设计、功能设计,并以Web应用为背景,给出了出差审批和报销系统的解决方案。该方案有较强的实用性和通用性,为类似系统的设计和开发提供了思路和方法。

摘要：Along with the extensive use of workflow, analysis methods to verify the correctness of the workflow are becoming more and more important. In the paper, we exploit the verification method based on Petri net for workflow process models which deals with the verification of workflow and finds the potential errors in the process design. Additionally, an efficient verification algorithm is given.

摘要：In recent years, it has been demonstrated that checklists can improve patient safety significantly. To facilitate the effective use of checklists in daily practice, both the medical community and the informatics community propose to implement checklists in dynamic checklist applications that can be integrated into the clinical workflow and that is specific to the patient context. However, it is difficult to develop such applications because they are tightly intertwined with the content of specific checklists. We propose a platform that enables access to dynamic checklist applications by configuring the infrastructures provided in the platform. Then, the applications can be developed without time-consuming programming work. We define a number of design criteria regarding point of care and clinical processes by analyzing the existing checklist applications and the lessons learned from ***, by applying rule-based clinical decision support and workflow management technologies, we design technical mechanisms to satisfy the design criteria. A dynamic checklist application platform is designed based on these mechanisms. Finally, we build a platform in various design cycle iterations, driven by multiple clinical cases. By applying the platform, we develop nine comprehensive dynamic checklist applications with 242 dynamic *** results demonstrate both the feasibility and the overall generic nature of the proposed approach. We propose a novel platform for configuring dynamic checklist applications. This platform satisfies the general requirements and can be easily configured to satisfy different scenarios in which safety checklists are used.

摘要：PCR引物设计是PCR实验中关键而重要的一步,而引物的特异性情况直接影响着PCR实验的成败.首先,设计了基于多因素(序列相似性,引物3′末端自由能,Tm等)的PCR引物特异性评估工具-MFEprimer;其次,在MFEprimer的基础上,结合引物设计软件primer3,在Taverna工作流平台上构建了PCR引物设计(primer3)与评估(MFEprimer)一体的工作流系统-TPM(Taverna-Primer3-MFEprimer),实现了从引物设计到评估的自动化分析流程,使用简单方便.

摘要：To provide scientific management basis for the garden planning, project construction, maintenance, social service, this paper prompted that the urban gardening administration sectors need to construct gardening information management system. On the basis of fully requirements analysis of gardening sectors, this paper discussed the key technology for system construction. It also proposed to flexibly and smartly build up the system by using the secondary development design environment and running environment based on data center integration development platform. This system greatly helps the daily management and plays very important role in improving urban ecological environment and investment environment.

摘要：针对企业传统的差旅报销系统,根据系统整合的建设目标,提出了差旅审批和费用报销系统的业务流程分析,workflow引擎设计和系统总体设计、功能设计,并以workflow技术为基础,以基于Web应用为背景,给出了差旅审批和报销系统的解决方案。该方案有较强的实用性和通用性,提高了企业科学决策的能力,为类似系统的设计和开发提供了思路和方法。

摘要：可视化的拖拉式建模方式是工作流模型设计器的首选,用户界面的图层表现是其实现的关键。文章根据当前企业的实际需要,参考工作流联盟的相关标准,阐述了RRFlo工作流模型设计器的框架结构。基于JGraph的Java组件的特点,详细论述了JGraph在RRFlo工作流模型设计器用户界面中的核心应用。

摘要：实施承包商集成技术信息服务(Contractor integrated technical information service,简称CITIS)的目的是提供一个公共的信息共享平台,实现协同制造企业间的数据集成和交换。工作流技术是解决CITIS数据集成和数据自动化传递的一个重要手段。如何对工作流服务资源进行优化配置,成为了工作流在CITIS环境下优化业务过程的一个重要内容。以服务性能、价格成本、交货期、技术水平和风险防范为目标,借助模糊BP神经网络来求解多目标的工作流服务资源配置问题。通过MATLAB7.1编程仿真,说明此方法是收敛的和可行的。

摘要：通过对工作流开放标准及参考接口、协同工作技术的研究,设计出一套基于微软LINQ技术的审批工作流引擎。引擎能够针对人员、项目、业务、状态等元素的控制实现对审批流程的任务调度、流程跟踪、协同审批、业务灵活扩展等关键环节。