基于ECA规则约束有向图的工作流建模

将工作流模型划分为三部分:过程模型、数据模型和组织模型.通过ECA规则与有向图相结合对工作流进行过程建模,利用有向图直观地表述流程的走向,工作流引擎通过对ECA规则的解释导航流程;给出了数据模型中数据对象的形式化定义;在组织模型中对RBAC模型进行改进,解决其在细粒度权限控制上的不足.设计了模型在J2EE下的部署结构.     

基于有向图的工作流模型的研究

工作流模型的建立是工作流管理系统中非常重要的一步,关系着工作流管理系统实施的成败。文中首先分析了基于IPO图的有向图工作流模型,并在其基础上运用面向对象的思想提出了基于活动节点和有向连接弧的有向图模型。接着分析了这种模型的特点,结合XML技术给出了该模型的XML文件定义,通过具体的实例说明了该种模型的可扩展性和可维护性,可以有效解决一些流程描述中的难点,并给出了流程描述难点如联合审批和回退机制的支持和解决方案。最后结合了电子文件的申请浏览流程的例子说明了该模型定义在实际流程的中的有效运用。     

基于有向图的工作流模型的研究

工作流模型的建立是工作流管理系统中非常重要的一步，关系着工作流管理系统实施的成败。文中首先分析了基于IPO图的有向图工作流模型，并在其基础上运用面向对象的思想提出了基于活动节点和有向连接弧的有向图模型。接着分析了这种模型的特点，结合XML技术给出了该模型的XML文件定义，通过具体的实例说明了该种模型的可扩展性和可维护性，可以有效解决一些流程描述中的难点，并给出了流程描述难点如联合审批和回退机制的支持和解决方案。最后结合了电子文件的申请浏览流程的例子说明了该模型定义在实际流程的中的有效运用。     

基于XML的工作流过程定义语言模型XMWPDL

就像当年数据库管理系统一样，工作流管理系统互不兼客，虽然WFMC成立并制定出了一个过程定义语言的规范，但是要达到交换和互译很难．本文提出了一种描述工作流模型的过程定义语言模型XMWPDL，继承了WfMC的WPDL语言模型和XML的优点，是真正实现了通用的过程定义、交换和互译的语言．     

基于XML和Agent联邦的工作流建模方法

介绍一种基于XML和Agent联邦的工作流建模方法，目的在于建立分布式环境下灵活的，动态的工作流管理过程。该方法将工作流管理系统组织成一个可能嵌套的Agent联邦，将工作流定义为一个由Agent联邦协同完成的活动集合。面向活动分担的联合意向是Agent进行工作流规划的依据与手段，它成功地解决了工作流过程分解的静态性与工作流过程运行的动态性之间的矛盾。文中方法采用的过程建模语言是建立在XML的基础上，与传统的过程建模语言相比，它具有更强的可操作性与可扩展性。最后介绍了工作流建模环境以及利用该环境进行工作流建模的过程与步骤。     

一种基于XML的工作流过程定义语言

主要阐述在FlowStep中所使用的基于XML的工作流过程定义语言。FlowStep是一种基于Web的分布式工作流管理系统。在本系统的工作流过程建模中,根据不同类型的任务,分别定义其XML文件,并最终生成一个可以被工作流引擎解释的工作流过程定义。     

基于条件化有向图的工作流过程优化

为改善工作流的性能和效率,一个智能化的工作流管理系统应该具有分析和优化工作流过程定义的能力,该文首先给出影响工作流过程性能的主要因素,借助于定量分析的方法,讨论了这些因素对工作流性能和效率的影响,以此为基础,基于条件化有向图这种过程定义模型提出了一组对工作流过程进行优化的方法。     

基于Pi-演算的扩展有向图工作流模型及验证

为了加强工作流模型对业务流程的描述能力,提出了一种扩展有向图工作流模型及其验证方法.针对基于有向图工作流模型的不足,提出了扩展有向图工作流模型,并给出了该模型的定义和图形符号描述.在用Pi-演算准确描述扩展有向图工作流模型的基础上,给出了用Pi-演算分析和验证扩展有向图工作流模型正确性的方法.最后,结合实验对扩展有向图工作流模型及验证方法进行了仔细分析,实验结果表明了该工作流模型及验证方法的有效性和正确性.     

XML在工作流管理系统中的应用

探讨了XML在描述工作流过程定义、实现应用代理和Web工作流管理系统等方面的应用,以提高工作流系统的性能、可扩展性和互操作能力,简化其实现、实施和使用。     

一种基于有向图的工作流测试方法

已有工作流测试方法在测试完备性和充分性方面存在不足。针对此问题文章对有向图工作流模型进行扩展,提出了一种新的工作流测试方法,设计并实现了其算法。该方法能够自动生成完备且充分的测试路径和测试用例。实例验证该方法有效。     

基于Web的工作流表单的柔性建模

针对基于Web的工作流管理系统中表单建模存在的数据结构不合理、维护困难、效率低、缺乏数据柔性和结构柔性等问题,分析了表单数据特点及传统表单建模方法的缺陷,提出一种基于XML和关系数据库的表单柔性建模方法,给出基于表单的流程推动模型及实现方法,引入了数据集控件和自定义函数控件,增强了系统的可扩展性和柔性,满足了工作流管理系统中对表单定义处理灵活性的要求.     

基于XML和工作流的构件化软件框架研究

基于XML技术,采用构件化设计方式,搭建了构件组装和运行框架,并研究了基于工作流控制方式的构件动态调度策略.用户可以在构件组装框架下集成应用系统,并实现相应的业务功能.     

基于工作流的环境监测信息管理系统设计

介绍了一个基于工作流的环境监测信息管理系统的设计.该系统综合运用了工作流、Web及多层体系结构等技术实现了环境监测业务信息管理的自动化,系统能够根据环境监测业务的变化、人员流动与变更及机构改革等情况做出相应调整.而且系统强大的数据统计和分析功能可以为上级有关部门提供决策依据.     

一种基于规则的工作流模型互操作的实现方法

简要分析了两种类型的工作流语言——XML流程定义语言（XPDL）和商业流程执行语言（BPEL）的语言结构与特点，分别从流程的控制流和数据流设计了工作流模型的互操作方案， 提出了把XPDL格式的工作流转换成等效的BPEL格式的工作流的转换算法，最后使用基于Java的开源规则引擎drools工具实现了这个转换。     

基于工作流和XML的生产报表系统设计与实现

传统化工生产企业无法实时获取远程生产数据报表,而现有报表工具存在数据和格式之间耦合度高、难以修改维 护,不能重用等缺点,为了克服这些缺点,以实际的科研项目为背景,将生产现场的各种数据通过信息网络系统进行集成, 在对企业报表工作流程与企业生产报表的特点进行全面分析的基础上设计并开发完成了基于工作流和XML技术的生产数据报表系统.实践结果表明,该系统具有良好的稳定性、安全性,高效性、易扩展性.     

基于Petri网的流程挖掘算法设计与应用

讨论了利用Petri网对应用系统日志进行建模和分析的方法,给出一个日志过滤、简化及转换模型的方法,提出了一个基于Petri网的专家挖掘算法,其中专家是指对某个业务流程特别熟练的人.以广州地铁法律咨询流程为例,介绍了该流程的建模和模型的简化算法.使用该算法可以有效的对操作人员进行评估和考核,有利于资源的合理配置.最后,以法律咨询流程日志为基础进行了实验,实验结果表明,算法认准率达90%以上,且通过模型简化可有效减低算法时间复杂度.     

基于案例推理的柔性工作流建模技术研究

针对工作流模型难以描述创建时的不确定因素的问题,研究了一种基于“柔性块”的柔性工作流建模技术。运行时,柔性块先以Ad hoc方式执行,运行历史数据积累到一定程度后,通过过程挖掘得到柔性块内部模型,并在以后执行时匹配应用场景,采用交互式基于案例的推理方法获得柔性块模型。实际应用表明该方法能复用建模知识,柔性块建模效率随着其执行次数增多而提高,工作流模型具有较高的柔性。     

基于有向图建模的航天器自动化测试研究与实现

为了提高航天器测试效率及测试质量,研究了在无法给出航天器数学模型的情况下利用知识定义方法实现自动化测试的原理.通过对航天器静态测试和动态测试任务的分析,建立了航天器测试任务中测试业务的数学表示模型.基于有向图理论,建立了航天器测试过程的基本模型,提出了一种形式简单、易于理解、便于应用的表格方式航天器自动化测试语言(SATL),给出了SATL应用示例,开发了航天器自动化测试软件(SATS).SATL和SATS成功应用于"神舟"飞船及多颗卫星各阶段测试,实际应用表明了该方案具有较强的工程实用性.     

基于半边图模型的蛋白质建模研究

适合大中型蛋白质的建模方法目前尚属于空白。设计出一种新预测模型,称为“半边图模型”。利用半边图模型描述底层数据结构,进行底层计算,确立蛋白质的立体结构。新模型适于表现原子之间和原子团之间的相互结合作用,能够模拟大分子相互作用的蛋白质真实折叠环境,即大分子相互作用的环境。