事务工作流模型定义及完全性分析

事务工作流模型可被视为扩展的事务模型和通用工作流模型的交汇点,提出将工作流的模型定义同其事务属性的定义独立开来,尽管在此方法中区分了多重的事务属性。提出了直观的注解符来定义原子性,提供了一个通用规则——放宽的完全性准则,以适应现实运行中事务管理的需要,以一个网上电子书店工作流应用为例来阐明这种思路。     

学术期刊网络化订阅系统建模与实现

分析了传统学术期刊订阅与发行方式的特点和不足,针对网络化运行环境下学术期刊订阅与发行方式的需求,基于工作流网设计了学术期刊网络化订阅系统的模型,对模型的合理性进行了论证,依据该模型,结合J2EE架构,设计了订阅与发行系统实现的方案,经实际运行表明,该方案可行。     

工作流模型死锁的Petri网分析

Petri网具有坚实的理论基础和易于使用的图形表示,是一种理想的建模和分析工具,因此在工作流的建模和分析方面具有广泛的应用。本文应用Petri网的理论对于工作流模型中的死锁进行分析,给出了解决死锁的基本算法,并分析了这些算法的优缺点。最后给出了一个实例：软件测试过程模型。     

基于工作流的软件项目管理系统的设计与实现

本文介绍了一个基于工作流技术而研制的软件项目管理系统。文章首先描述了传统软件项目管理系统的不足之处,提出用工作流的方法来设计软件项目管理系统,然后介绍了一些理论基础。文中重点阐述了系统的设计结构和所采用的一些技术,并给出了部分的具体实现方法。     

基于Petri网的应急管理工作流模型

讨论了由Petri网发展起来的工作流网WF-net的定义、工作流执行结构及任务触发方法,引入WF-net建立应急管理信息系统工作流模型,提出了一种基于Petri网工作流模型的建模方法及其相关规则．以一个省级应急管理系统为例,详细阐述了构建Petri网工作流模型的过程,并利用验证工具对该模型进行了正确合理性分析．     

基于Petri网的工作流层次模型及结构分析

在对工作流网络理论研究的前提下，结合企业业务流程建模的应用特点，提出了几种将工作流网络分层的思想，并着重介绍了将继承特性用于Petri网建模的方法。     

Inheritance Optimization of Extend Case Transfer Model of Interoganization Workflows Management

1IntroductionToday,many corporations are extending their mar-kets by mergers and strategic alliances with other com-panies throughout the world.The Collaboration Com-merce(C-commerce)is presented,which the businessprocesses are key facture to i mplementin…     

基于WF-net 的卫星在轨测试过程建模

为解决卫星在轨测试过程建模问题,以导航卫星在轨测试为例,应用工作流网(workflow-net,WF-net)建立卫星在轨测试过程模型,描述卫星在轨测试活动过程及其逻辑关系,并应用遍历树算法对模型进行分析验证。分析结果表明:该模型不仅可形式化的描述在轨测试过程中涉及到的活动及其逻辑关系,还可动态分析在轨测试过程的逻辑性。应用工作流网对卫星在轨测试过程进行建模是可行的。     

基于高级Petri网的工作流建模研究与仿真分析

基于颜色、时间及层次扩展的高级Petri网,克服了传统Petri网难于处理复杂问题的缺点。将其应用于服装行业ASP平台进销存系统中,建立了相关过程模型,解决了实际业务过程中的复杂性。利用仿真工具,对模型进行了仿真分析,并对其结果进行了定性分析,验证了此模型的结构是正确、合理的,且性能优化。     

基于Petri网的混惑检测

在Petri网中,并发和冲突是两个重要的概念,并发和冲突现象混淆的系统特征称之为混惑,当系统存在混惑时获取一个正确的执行以及分析系统性质较为困难,因而存在混惑的系统不是一个好的模型.网论认为并不是并发和冲突相结合带来了麻烦,而是它们相结合导致的混惑带来了麻烦.所以,对一般Petri网模型混惑的检测及可能影响混惑的子网结构研究显得非常必要.在基本网系统下,以混惑的定义为基础,提出了结构混惑的定义,在此基础上定义了3类基本结构混惑,证明了这3类可构成结构混惑的最小完全集,给出检测结构混惑的算法和混惑的检测方法,并将该算法和方法应用到工作流网中,以实例定性分析了结构混惑与混惑的区别和联系以及对合理性的影响.