全业务运维信息化规划探讨

全业务运营大大增加了电信运营商运维工作的复杂性。分析了运维信息化所遇到的问题，以流程为主线，探讨了项目实施方法、运维流程节点模型及IT固化方法，并给出了案例分析，为电信运营商运维信息化的科学规划提供了1种可行的解决方案。     

基于回溯树分解的互斥约束工作流可满足性计数

工作流可满足性（WS）研究一定访问控制策略下的资源分配问题,其计数问题有利于判断工作流对资源异常情况的顽健性。本文研究互斥约束下的WS计数问题,通过多项式计数归约为约束可满足性计数问题,将经典的回溯树分解方法用于#WS（≠）求解。实验表明,改进后的算法降低了执行时间,相对于现有#WS（≠）算法,提出的算法对低密度约束下的工作流具有一定的综合性能优势。     

A workflow task scheduling algorithm based on the resources' fuzzy clustering in cloud computing environment

Cloud computing is the key and frontier field of the current domestic and international computer technology, workflow task scheduling plays an important part of cloud computing, which is a policy that maps tasks to appropriate resources to execute. Effective task scheduling is essential for obtaining high performance in cloud environment. In this paper, we present a workflow task scheduling algorithm based on the resources' fuzzy clustering named FCBWTS. The major objective of scheduling is to minimize makespan of the precedence constrained applications, which can be modeled as a directed acyclic graph. In FCBWTS, the resource characteristics of cloud computing are considered, a group of characteristics, which describe the synthetic performance of processing units in the resource system, are defined in this paper. With these characteristics and the execution time influence of the ready task in the critical path, processing unit network is pretreated by fuzzy clustering method in order to realize the reasonable partition of processor network. Therefore, it largely reduces the cost in deciding which processor to execute the current task. Comparison on performance evaluation using both the case data in the recent literature and randomly generated directed acyclic graphs shows that this algorithm has outperformed the HEFT, DLS algorithms both in makespan and scheduling time consumed. Copyright © 2014 John Wiley & Sons, Ltd.     

工作流事务的形式化描述和实现

工作流事务是工作流技术本身亟待解决的难题之一,现有的众多工作流事务模型大多使用操作性的非形式化方式描述工作流的复杂语义,极大地限制了它们在复杂场景中的可用性,为此将事务的形式化描述和工作流的实际应用联系起来,提出了一种在工作流环境下管理长事务的方法．这种方法建立在事务补偿的基础上,通过允许过程出现环结构来处理任意过程结构,并通过引入一致点实现过程的部分补偿．形式化的事务模型描述以及基于集合论和图论表示的事务管理算法为工作流系统提供了清晰无歧义的事务语义．     

基于Lotus Domino／Notes的会签机制的实现

在Lotus Domino／Notes平台上，利用Notes表单的域并结合流程设计工具，设计实现了公文流转所需要的会签机制。测试表明，该会签机制具有灵活可变的特点，其实现方法也适用于其它办公自动化系统。     

基于模型的测试在工作流应用程序中的研究

近年来,工作流技术越来越多的应用于软件程序中,与之相关的新工作流语言以及工作流引擎也得到了快速的发展。但是,目前辅助工作流应用软件的测试方法仍显不足,特别是工作流引擎测试方面还存在着严重的局限性。为此,本文提出了基于模型测试的方法对工作流引擎进行测试,此外,还引入了抽象测试框架的概念,将其应用到工作流的测试上,它能够为工作流引擎构建测试环境和测试套件。最后,在Cumbia平台上搭建的一个工作流引擎上进行应用,说明了基于模型的测试方法和抽象测试框架可以有效应用于工作流引擎的测试。     

广电全业务运营支撑系统中工作流技术的研究与应用

本文描述了工作流技术在广电全业务运营支撑系统中的应用,介绍了工作流技术的概念,重点对广电全业务运营支撑系统工作流平台整体架构和工作流程两方面进行了研究,最后介绍了基于工作流的订单和工单在广电BOSS中的应用。     

基于时间Petri网的工作流系统模型的线性推理

目前工作流理论的研究主要集中在工作流管理模型的结构及正确性分析,很少有人研究与时间有关的工作流模型的性质,特别是模型中的时序关系推理及性能计算问题.本文重点研究了这方面的问题,用时间Petri网表示工作流模型并对基本工作流模型进行时序分析,给出线性时间推理的规则,运用这些规则,可对复杂的工作流模型进行逐步化简,并在线性时间复杂度内解决时间推理问题.     

基于J2EE的网络信息系统轻量级开发方案的研究

随着信息化的发展,基于大型网络信息系统的复杂性与应变能力弱的特点,出现了许多相应的解决方案。在研究目前系统开发技术和规律的基础上,分析和阐述一种轻量级开发的概念和原则,给出系统实现的技术模式,并以Spring,Struts,Hibernate技术框架的整合构建系统整体的工作流机制,展示轻量级开发的优势。实践证明,轻量级开发降低了系统开发的难度,提高了代码复用性,使系统具有良好的可维护性和可扩展性。     

基于着色Petri网的汽车关键零部件协同设计平台

在基于Web的协同设计平台上,引入了工作流管理的概念,用着色Petri网(CPN)定义、分析、优化的工作流流程模型,应用于平台的任务路由.此平台协同设计的理念配合CPN定义的流程模型,可以更好地实现资源的分配,项目的进度分析,以及协调设计成员间的工作,它将为汽车产品的协同创新设计提供一个良好的开发环境.