一种基于Petri网的工作流模型分解方法

工作流网的模型化简是模型有效分析的前提。在了解了工作流网及T-组件网相关定义的基础上,对工作流网的结构化简方法进行了分析,提出了一种简洁有效的工作流网模型的自由选择子网分解算法,给出了算法的过程同时也给出了算法的时间复杂度分析。最后,在算法的应用方面,将所提出的模型分解方法与目前常用的工作流网结构化简方法相结合,不仅可以有效提高模型化简的效率,而且还可以在模型化简的同时进行基于业务实例子网的模型分析。     

加权的时间Petri网工作流模型研究

时间性能分析是工作流模型分析和评价的重要方面。介绍了Petri网和工作流网的基本概念,提出了加权时间扩展工作流网,对加权时间扩展工作流网的基本组件进行了时间分析,给出了平均时间的计算方法。通过网上订购商品和生产车间工作流模型,利用基本组件的时间性能分析方法,对这两个工作流模型进行了时间性能分析。     

一种基于Petri网的工作流模型分解方法

工作流网的模型化简是模型有效分析的前提.在了解了工作流网及T-组件网相关定义的基础上,对工作流网的结构化简方法进行了分析,提出了一种简洁有效的工作流网模型的自由选择子网分解算法,给出了算法的过程同时也给出了算法的时间复杂度分析.最后,在算法的应用方面,将所提出的模型分解方法与目前常用的工作流网结构化简方法相结合,不仅可以有效提高模型化简的效率,而且还可以在模型化简的同时进行基于业务实例子网的模型分析.     

担保业务管理系统工作流的Petri网建模

应用Petri网建模与工作流技术,构建了担保业务管理系统工作流的Petri网模型,并对一个担保业务管理系统工作流实例,给出了基于Petri网化简分析方法的模型化简与性质验证,表明该模型能够对担保业务管理系统工作流进行有效的分析和验证,从而为担保业务管理系统工作流分析提供了理论基础。     

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

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

一种利用工作流模型的分层任务网络规划领域建模方法

为了有效地获取和利用领域知识,提高规划效率,分析了工作流模型和分层任务网络(HTN)规划领域模型的相似性,提出了一种采用工作流模型进行规划领域建模,对领域知识进行获取和表达的方法.工作流模型中的行动和工作流模式,转换为HTN规划中的行动和任务分解;另外,引入了循环(Loop)工作流模式,转换为HTN规划中的递归调用,扩展了工作流模式对规划领域知识的表达能力.在典型的几个规划领域中,引入领域知识后大大提高了规划器的求解效率,从而验证了应用工作流模型进行规划领域建模的有效性.     

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

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

一种支持动态群组的工作流建模方法

传统的工作流产品从建模到运行对业务流程中复杂的群组特性难以提供有效的支持.在通用工作流模型的基础上,对流程模型的表达能力和工作流运行机制进行了扩展,设计并实现了一个支持动态群组活动和群组协同的工作流管理系统.同传统工作流模型相比,在描述群组活动的能力上有所增强,使建模更简单.本文介绍了支持群组活动的建模方法和关键的运行机制,然后通过示例与传统的建模方法进行了比较.     

面向长事务的事务性工作流系统的研究与实现

事务性工作流一直是工作流的研究热点之一，通过对saga模型和事务的状态进行分析，扩展到对工作流的状态分析，从而通过事务性工作流的状态的控制，实现事务的管理。文中提出了基于saga事务模型的一种事务性工作流引擎模型用于解决商业流程中的长事务问题。     

基于工作流技术的分布式仿真运行管理

应用工作流技术可以实现分布仿真过程、人员、数据和资源的有效协作与运行管理。从工作流技术的角度和协作模式的需求出发,建立了分布仿真工作流的过程模型、组织模型、资源模型和信息模型,分析了分布仿真过程中各模型的协作关系。最后在某型号发动机分布仿真中进行了具体应用。     

二维可分Roesser模型的模能控(观)性

本文讨论了二维可分Roesser模型(RM)的模能控(观)性的判定问题,得出了相应的 充要条件和数值稳定的算法,同时给出了该算法具有数值鲁棒性的充要条件和算法累积误差 最大容许上界的显式估计,最后对二维可分RM的模能观性在状态空间中给出了一种几何解 释.     

GRAPES有限区域伴随模式内存优化

GRAPES有限区域伴随模式是基于自动微分工具TAPENADE转换与手工代码编写相结合的方式开发而成,主要由模式程序和内存支撑函数库(PLP库)构成。由于TAPENADE采用全存储策略来保存中间变量,造成了伴随模式运行过程中内存开销过大,并且出现随着时间步的增加内存不断增长的情况。对伴随模式内存支撑函数库中POP类函数算法进行修改,解决了内存增长的问题;从整型变量、实型变量和正模式子程序调用三个方面对模式程序进行优化,使得伴随模式运行时的内存开销显著减少。     

V模型及CMMI模型中的软件测试分析

本文对传统的软件测试中应用广泛的V模型的组成、地位及其存在的缺陷进行了详细的分析,提出了CMMI技术对软件测试的影响．并讨论了CMMI模型对软件测试的支持和扩充     

基于Java内存模型的并发程序模型检测

为了提高性能,Java内存模型允许编译器在优化过程中改变代码的执行顺序,同时该技术也会造成共享数据的更新顺序与本来的执行顺序不同。在多线程Java并发程序中,这些代码乱序执行会引起很多难以发现的错误。现有的Java程序模型检测技术并没有考虑这些顺序改变的问题。因此,本文提出了一种建立包含多线程交互及线程内代码乱序执行的完整模型,并利用模型检测工具进行穷举检测的算法。该算法可以发现原有技术无法发现的新问题,更好地检测高可靠性要求的Java并发程序。     

关系模型到本体模型映射方法研究

本体通常用来描述内容的语义,以实现基于语义的内容共享和集成。然而,手工构建本体通常耗费巨大,使得本体构建成为一项艰巨的任务。因此,有必要研究基于结构化数据的本体学习技术。提出了从关系数据库中学习本体的方法,定义了关系数据源到本体的映射规则并与现有方法进行了详细的比较,同时给出了应用实例及原型实现。分析表明,与现有方法相比,本文提出的方法在映射的完整性及正确性方面有较大提高。     

多媒体数据模型与存储模型研究

建立多媒体数据库首先应从多媒体数据的特点出发，把多媒体信息中的各种复杂关系以形式化的方法在数据模型的层次上表现出来。对于多媒体系统来说，多媒体数据的存储与组织问题显得非常重要。文中对多媒体数据模型和存储模型进行了讨论。     

分布式Web组件模型分析

着重分析了组件模型的规范和ＣＯＲＢＡ、ＤＣＯＭ两种工业标准的组件模型。并探讨了组件模型的体系结构和分布工计算等问题。     

Changing the Publishing Model

The publishing industry is experiencing major social changes. Time magazine and The Los Angeles Times, to name just two publications, have highlighted these changes as characterized by a public that has developed both a preference for receiving information online and an expectation that this content be available for free. For information creators and providers such as the IEEE Computer Society (CS), how or why these shifts have occurred or whether they're good or bad phenomena are debates that have become irrelevant to their consequences. Newspapers as we've known them for centuries appear to be on the verge of disappearing or perhaps transforming into something very different.     

“软件工厂”综合实训模式

针对目前综合实训模式存在的不足,提出"软件工厂"综合实训模式,论述该实训模式的内涵、特点和意义,详细介绍该模式的实施过程。     

ER模型与多维模型互相转换的研究

ER模型是管理信息系统中广泛使用的模型，但是它不能满足OLAP的需要；多维模型广泛应用在数据仓库的设计中，而企业数据通常又由ER模型定义。因此数据仓库设计的一个关键问题是如何建立ER模型与多维模型之间的关联。该文首先对ER模型与多维模型作了详细比较，然后结合实际应用，提出了ER模型与多维模型进行互相转化的条件和方法，从而将这两种模型有效地统一到了数据仓库设计过程中。