基于签密的密码工作流密钥封装机制

密码工作流(cryptographic workflow)是多用户环境下一种特殊的密码系统工作模式,在这种工作模式下,加密消息需要依据某种策略进行,因此只有履行这一策略的实体才能进行消息解密.为保证在密码工作流模式下密钥封装能够同时实现密钥免托管性和密钥封装传递的不可伪造性,基于签密的思想定义了一个新的密码工作流模式下的密钥封装机制.首先定义了密码工作流模式下基于签密的密钥封装一般模型,并给出了相应的安全模型;其次,结合秘密共享方案、基于身份加密方案和签密方案,提出一个新的结构方案,并在标准模型(standard model)下利用序列游戏证明方法对该结构方案的安全性进行了详细证明.证明结果表明,该密钥封装结构方案能够达到密码工作流模式下要求的接收者安全和外部安全.     

基于C_net的间隔事务模型驱动的工作流仿真研究

提出了一种基于C-net的间隔事务模型驱动的工作流仿真，具体介绍了仿真模型和仿真算法，并以仿真工具的设计说明了此工作流仿真的研究，有利于实现仿真和已有的基于C-net的工作流管理系统的集成。     

ECA规则在工作流管理系统中的应用

针对工作流管理系统的实现复杂性及模型可靠性的验证问题，提出了一种结合工作流网和ECA规则来创建工作流管理系统的方法。这种基于ECA规则的工作流描述和执行机制较好地实现了工作流网模型的语义描述和控制的统一。通过建立基于ECA规则的工作流描述表，将ECA 规则引入到工作流路由机制中，灵活地控制了工作流的流程。通过事件触发和消息处理机制，工作流描述表处理可以被实际系统加以执行和控制。     

角色驱动下的工作流分析及UML-uc建模技术的应用

通过对工作流中角色机制进行分析,在研究工作流、有向图和UML-uc模型的基础上,提出了一种有向图角色驱动的工作流建模方法.其基本思想是:在角色的驱动下,将工作流模型层次细化到原子活动,并给出其细化过程的系统总体用例模型和静态、竞争、优先、委托等角色类型的UML用例模型.借助基于用例模型的角色参与机制和动态特性,分析了过程模型内部复杂的动态关系,根据分析结果对后续更为复杂的过程模型进行有效的迭代开发.     

基于发布/订阅的消息队列在工作流引擎中的应用研究

不论在工作流基本模型中还是在工作流管理系统中,工作流引擎都起着非常重要的作用。对于工作流管理系统,工作流引擎是任务管理器,在不同的使用者和执行者之间传递消息,因此一个好的消息传递机制,能够有效地提高工作流引擎的工作效率,从而提高工作流系统的效率。本文提出一种基于发布/订阅的消息队列机制,对于提高工作流引擎消息传递的效率有很大帮助。     

角色驱动下的工作流分析及UML uc建模技术的应用*

通过对工作流中角色机制进行分析,在研究工作流、有向图和UMLuc模型的基础上,提出了一种有向图角色驱动的工作流建模方法。其基本思想是：在角色的驱动下,将工作流模型层次细化到原子活动,并给出其细化过程的系统总体用例模型和静态、竞争、优先、委托等角色类型的UML用例模型。借助基于用例模型的角色参与机制和动态特性,分析了过程模型内部复杂的动态关系,根据分析结果对后续更为复杂的过程模型进行有效的迭代开发。     

基于WF-net的工作流模式建模与仿真

针对当前工作流模型仿真方法的不足,提出了一种基于WF-net网的扩展WF-net的工作流模式模型,并对模型进行验证与仿真.首先讲述工作流网(WF-net),然后从时间和层次两方面对基于WF-net的工作流模型进行扩展研究,提出了扩展WF-net工作流模型,并对该模型进行仿真调度策略和冲突解决策略进行选择,给出了某产品开发过程的扩展WF-net工作流模型,设计了扩展WF-net工作流模型仿真流程.为了增强模型仿真的可信度和可视性,从Petri网到扩展WF-net工作流网算法和仿真流程,经过仿真可知该模型没有死变迁,是正确的工作流模式模型.     

一种可靠性驱动的云工作流调度遗传算法

为了解决云环境中工作流调度的可靠性问题,提出了一种基于可靠性驱动信誉度模型的工作流调度遗传算法RDR-GA。算法以工作流执行跨度makespan与可靠性最优化为目标,设计了一种基于时间依赖的可靠性驱动信誉度模型,通过该模型可以有效评估资源可靠性。同时,为了寻找遗传最优解,算法设计了新的遗传进化和评估机制,包括：1)以进化算子对调度解中的任务-资源映射进行遗传进化;2)以两阶段MAX-MIN策略评估并决定调度解的任务执行序列。仿真实验结果表明,满足可靠性驱动的信誉度算法不仅能够以更精确的信誉度改善工作流应用执行可靠性,而且能够以比同类遗传算法更快的收敛速度得到进化更优解。     

轻量级J2EE框架下工作流驱动的动态虚拟实验室

综合考虑基于构件组装技术的虚拟实验室的系统需求,分析了工作流驱动的动态虚拟实验室的业务处理模型,介绍了轻量级J2EE框架（SSH）与工作流系统（Shark和JaWE）的集成模型,提出了一种轻量级J2EE框架下工作流驱动的动态虚拟实验室的设计和实现方法,给出了虚拟实验项目的实现机制、数据流和控制流的管理方法,以及实验流程的动态组装方法,最后,以应用实例说明了本文方法的有效性。     

角色驱动下的工作流分析及UML-uc建模技术的应用

通过对工作流中角色机制进行分析，在研究工作流、有向图和UML—uc模型的基础上，提出了一种有向图角色驱动的工作流建模方法。其基表思想是：在角色的驱动下，将工作流模型层次细化列原子活动，并给出其细化过程的系统总体用例模型和静态、竞争、优先、委托等角色类型的UML用例模型。借助基于用例模型的角色参与机制和动态特性，分析了过程模型内部复参的动态关系，根据分析结果对后续更为复杂的过程模型进行有效的迭代开发。     

业务流程柔性配置的研究和实现

实现了一个柔性可配置轻量级工作流引擎系统。系统使用工具JaWE进行可视化建模,生成XPDL格式的流程定义文件;并设计实现了基于 Token 的引擎执行控制机制,使得引擎系统对其所在业务系统中的业务流程执行过程的控制准确而有效率。采用适当的流程定义管理策略,实现对流程运行时修改流程定义的支持;同时引擎使用基于组件配置的方式形成业务系统,使应用引擎的业务系统具有较大的柔性。该引擎已成功应用在某制药企业的项目管理平台中,取得了良好的应用效果。     

Workflow simulation for operational decision support using event graph through process mining

It is increasingly common to see computer-based simulation being used as a vehicle to model and analyze business processes in relation to process management and improvement. While there are a number of business process management (BPM) and business process simulation (BPS) methodologies, approaches and tools available, it is more desirable to have a systemic BPS approach for operational decision support, from constructing process models based on historical data to simulating processes for typical and common problems. In this paper, we have proposed a generic approach of BPS for operational decision support which includes business processes modeling and workflow simulation with the models generated. Processes are modeled with event graphs through process mining from workflow logs that have integrated comprehensive information about the control-flow, data and resource aspects of a business process. A case study of a credit card application is presented to illustrate the steps involved in constructing an event graph. The evaluation detail is also given in terms of precision, generalization and robustness. Based on the event graph model constructed, we simulate the process under different scenarios and analyze the simulation logs for three generic problems in the case study: 1) suitable resource allocation plan for different case arrival rates; 2) teamwork performance under different case arrival rates; and 3) evaluation and prediction for personal performances. Our experimental results show that the proposed approach is able to model business processes using event graphs and simulate the processes for common operational decision support which collectively play an important role in process management and improvement.     

存储区域网络在联机事务处理下的性能研究

存储区域网络是近年来流行的一种基于块数据访问的存储解决方案,应用于很多领域。联机事务处理也是目前应用很多的业务,将联机事务处理业务运行在存储区域网络中,能够提高业务的质量。如何保证业务能够快速稳定地运行,或一旦出现问题能够在最短的时间内解决问题都是大家关注的事情。这就需要我们研究其性能,进行性能优化,保障系统高质量运行。     

Agile business process development: why,how and when—applying Nonaka’s theory of knowledge transformation to business process development

The traditional way of business process development is via creating a detailed model of a business process in question, acquiring an IT-system to support it, and then implementing it in the organizational practice. Acquiring a system can be done via designing and manufacturing it by the business itself, or via commissioning it to somebody else. Alternatively, a generic system can be bought and configured according to the business process model created. The traditional approach has a number of risks that become visible only during the latest phase of introducing the system in the organizational practice, e.g., when it becomes clear that the system does not fit the business and/or people who work in it. These risks could be mitigated by using an agile approach to the development of business processes. In agile approach: (a) the phases of process modeling, IT-system design, and manufacturing are merged into one, and (b) instead of using one big cycle, a series of smaller development cycles is used. The paper discusses what is needed to implement the agile approach, and in which business situations the agile approach is the most appropriate. Examples of tools to support agile development are presented and analyzed. The results presented in the paper have been achieved based on the knowledge transformation perspective along the lines suggested by Nonaka in SECI model. The modification of this model has been used to understand the risks and requirements connected to a particular process development strategy.     

Pattern-driven green adaptation of process-based applications and their runtime infrastructure

Business processes are a key aspect of modern organization. In recent years, business process management and optimization has been applied to different cross-cutting concerns such as security, compliance, or Green IT, for example. Based on the ecological characteristics of a business process, proper environmentally sustainable adaptation strategies can be chosen to improve the total environmental impact of the business process. We use ecological sustainable adaptation strategies that are described as green business process patterns. The application of such a green business process pattern, however, affects the business process layer, the application component and the infrastructure layer. This implies that changes in the application infrastructure also need to be considered. Hence, we use best practices of cloud application architectures which are described as Cloud patterns. To guide developers through the adaptation process we propose a pattern-based approach in this work. We correlate Cloud patterns relevant for sustainable business processes to green business process patterns and organize them within a classification. To provide concrete implementation support we further annotate these Cloud patterns to application component models that are described with the topology and orchestration specification for cloud applications (TOSCA). Using these annotations, we describe a method that provides the means to optimize business processes based on green business process patterns through adapting the implementation of application components with concrete TOSCA implementation models.     

商业大型集群系统的安全管理

近年来,越来越多的企业选择IBM的z系列主机来处理其日益整合和灵活的业务流程。IBM主机作为高效、灵活并响应及时的IT平台的基准,特别是针对高度复杂、整合、运行关键业务的环境,能够为用户提供高安全性,高可靠性的解决方案。原因就在于其能够从系统层,网络层,交易层提供系统全方位的保护。该文对集群系统的安全管理机制进行了研究,对其原理进行了调查和学习,最后给出其实现步骤。     

E-MEMO: a method to support the development of customized electronic commerce systems

In many industries structural change through E-Commerce is challenging firms to re-align their strategies as well as re-engineer their business processes with new competitive environments while taking advantage of technological opportunities. This article presents E-MEMO, a method for multi-perspective enterprise modelling with special emphasis on processes and technologies for E-Commerce. It serves to analyse and design corporate information systems that are balanced with a company’s E-Commerce strategy and its organisation. E-MEMO offers specific languages for modelling strategies, business processes, and related resources. In addition to that, it provides a library of reference models including strategy networks to guide strategic planning and models of business processes. In order to further support the implementation of information systems a transformation has been defined that allows for generating workflow schemata from business process models. Since design-oriented research is not predominant in the Information Systems field, the epistemological challenges of the chosen research approach are discussed, too.     

From process logic to business logic—A cognitive approach to business process management

The unpredictability of business activities means that business process management should provide a way to adapt to change. The traditional workflow approach, based on predefined process logic, offers little support for today's complex and dynamic business environment. Therefore, a cognitive approach is proposed to help manage complex business activities, based on continuous awareness of situations and real-time decisions on activities. In this approach, the business environment is seen as capturing events that occurred and the state of tasks and resources; business logic involving process routing, operational constraints, exception handling and business strategy is used to determine which actions are appropriate for the current situation. By extending process management from process logic to business logic, the methodology offers flexibility, agility and adaptability in complex business process management.     

Reinforcement learning based resource allocation in business process management

Efficient resource allocation is a complex and dynamic task in business process management. Although a wide variety of mechanisms are emerging to support resource allocation in business process execution, these approaches do not consider performance optimization. This paper introduces a mechanism in which the resource allocation optimization problem is modeled as Markov decision processes and solved using reinforcement learning. The proposed mechanism observes its environment to learn appropriate policies which optimize resource allocation in business process execution. The experimental results indicate that the proposed approach outperforms well known heuristic or hand-coded strategies, and may improve the current state of business process management.     

基于活动依赖实现业务流程可变性的BPMS模型*

从活动依赖性的角度提出一种支持业务专家修改业务流程的BPMS模型D-BPMS(dependence based business process management system), 即能够使业务专家按照业务需求通过调整业务活动之间的依赖关系和配置业务活动的属性达到调整业务流程的目的。它在体系结构上分为表示层、流程逻辑层、业务逻辑层和数据层四个层次。在流程逻辑层采用消息传递机制设计算法实现流程结构变化模式,证明了D-BPMS模型变化模式的完备性和变化的可验证性,并可用Petri网来验证流程变化的正确性