-
题名基于对象和ECA规则的工作流模型
被引量:3
- 1
-
-
作者
巩垒
王海洋
黄富洁
-
机构
山东大学计算机科学与技术学院
-
出处
《计算机应用》
CSCD
北大核心
2003年第10期48-50,共3页
-
基金
山东省中青年科学家基金项目"面向对象的工作流建模技术"资助
-
文摘
文中提出了一个基于对象的工作流活动定义,在此基础上引入了ECA规则,作为对象消息通信的基础,提出了一种新的基于对象和ECA规则的工作流模型。着重讨论了工作流失败处理和恢复的策略,在考虑工作流活动之间的控制依赖和数据依赖的同时,引入了资源依赖的概念,提出了强数据依赖、强控制依赖和强资源依赖的概念,并给出了关键的消息规则。
-
关键词
工作流模型
失败处理
依赖
强资源依赖
ECA规则
-
Keywords
workflow model
failure handling
dependency
strong resource dependency
ECA rules
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名工作流中时序约束正确性验证
被引量:2
- 2
-
-
作者
任国珍
巩垒
王海洋
黄富洁
-
机构
山东大学计算机科学与技术学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2004年第11期60-62,共3页
-
文摘
分析了工作流管理系统中主要应该考虑的时间问题,然后建立了一个工作流时序条件有向图模型,在该模型基础上进行了一些关于时序逻辑推理问题的研究,提出了4个推理规则,同时提出了验证工作流活动时间约束正确性的一些必要条件。研究结果表明,所作的工作对于工作流管理系统的时间建模,监控和性能评价有一定的参考价值。
-
关键词
工作流模型
时序约束
验证
时序逻辑推理
-
Keywords
Workflow model
Temporal constraint
Verification
Temporal logical inference
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种改进的验证工作流控制逻辑正确性的方法
- 3
-
-
作者
巩垒
王海洋
黄富洁
-
机构
山东大学计算机科学与技术学院
-
出处
《计算机应用》
CSCD
北大核心
2003年第9期25-27,共3页
-
基金
山东省青年科学家基金项目 (1 1 1 50 0 0 40 2 0 1 1 0 )
-
文摘
许多工作流管理系统可能建立错误的工作流模型,导致工作流的执行出现异常。建立了一个基于双分支条件有向图的工作流模型,提出了一种验证整个工作流控制逻辑正确性的方法。实验结果表明,该方法是可行的。
-
关键词
工作流
工作流控制逻辑正确性
工作流模型
双分支条件有向图
-
Keywords
workflow
soundness of workflow control logic
workflow model
double-road conditional directed graph
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名决策支持系统中的分布式缓存机制
被引量:1
- 4
-
-
作者
黄富洁
李玉忱
巩垒
-
机构
山东大学计算机科学与技术学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2004年第13期58-59,106,共3页
-
文摘
从如何提高DSS中查询的响应时间出发,提出了一种具有分布式缓存机制的决策支持系统,给出了系统的工作流程,并且介绍了系统中的缓存替换算法。实验表明这种系统的性能是良好的。
-
关键词
决策支持系统
分布式缓存
联机分析处理
数据仓库
-
Keywords
Decision support system
Distributed cache
On_line analytical processing
Data warehouse
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-