-
题名扩展的信牌驱动模型与Petri网
被引量：6
- 1
-
-
作者
郝克刚
王斌君
-
机构
西北大学软件工程研究所
-
出处
《计算机应用与软件》
CSCD
北大核心
2004年第2期24-26,124,共4页
-
文摘
为了满足实用性以及与WfMC的标准接轨 ,在信牌驱动模型的基础上 ,提出了功能更大、表现力更强、更方便灵活的扩展的信牌驱动模型。并进一步探讨了扩展的信牌驱动模型的控制结构与Petri网之间的对应关系。从而为保证过程定义的正确性 ,及其验证。
-
关键词
工作流模型
信牌驱动模型
PETRI网
非确定Petri网
计算机辅助管理
-
Keywords
Workflow modelXinPai driven modelPetri netNondete rmined Petri net
-
分类号
TP391.7
[自动化与计算机技术—计算机应用技术]
-
-
题名扩展的信牌驱动模型中配对结构之研究
- 2
-
-
作者
王斌君
董护斌
郝克刚
-
机构
中国公安大学科技系
西北大学软件工程研究所
-
出处
《小型微型计算机系统》
CSCD
北大核心
2003年第11期1973-1977,共5页
-
基金
国家"8 63"高技术发展研究计划 ( 863 -3 0 1-ZT0 2 -0 4-0 1)的资助
-
文摘
在分层的工作流模型研究的基础上 ,指出了 WPDL 中 AND- JOIN的语义问题 ,并在扩展的信牌驱动模型层 ,对配对结构进行了系统、深入的研究 .形式地定义了最宽泛的配对概念和严格的正则配对的概念 ,分析了它们各自的优缺点 .然后定义了一个既有严格语义、性能可以确定 ,但要求相对宽泛、相对比较实用的扩展正则配对的概念 .利用此概念 。
-
关键词
工作流模型
扩展的信牌驱动模型
配对
PETRI网
-
Keywords
workflow model
extended Xinpai model
pair
normal pair
extended normal pair
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种乐观嵌套工作流事务模型
被引量：5
- 3
-
-
作者
董云卫
郝克刚
-
机构
西北工业大学计算机学院
西北大学计算机科学系
-
出处
《计算机科学》
CSCD
北大核心
2005年第8期90-93,共4页
-
文摘
为解决目前工作流事务管理的不足和存在的问题,本文基于多数据版本、三阶段执行的并发控制理论提出了一种乐观嵌套工作流事务模型,该事务模型借用时间戳的概念,通过对不同事务中活动类型的分类,较好地解决了长执行事务和协同事务的可靠性和正确性问题,提高了工作流处理的效率。乐观嵌套事务模型把嵌套事务、工作流模型和并发控制协议有机地结合在一起,定义了较为完整的事务操作原语及其语义。本文还给出了乐观事务模型到工作流模型的映射,使得事务工作流执行过程中,其操作原语和乐观事务模型的操作原语是一致的,工作流活动的转移控制与乐观嵌套事务模型的子嵌套事务的生成过程及其表示方式也是一致的。
-
关键词
乐观嵌套事务模型
工作流事务
扩展信牌驱动分布式工作流计算模型
嵌套事务模型
工作流模型
并发控制协议
操作原语
事务管理
控制理论
活动类型
-
Keywords
Optimistic nested transaction model, Workflow transaction, Extend xinpai driven distributed workflow model
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
TP399
[自动化与计算机技术—计算机应用技术]
-
