期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
带数据工作流的形式化建模语言——数据感知的工作流网
被引量：
2
1
作者
王朝霞
王建民
朱笑尘
《计算机集成制造系统》
EI
CSCD
北大核心
2012年第8期1735-1746,共12页
为了在工作流实施之前对工作流进行形式化建模与验证,首次全面总结带数据工作流的形式化建模的研究现状。在理清工作流中各类数据与控制流的交互特征后,提出一种带数据工作流的形式化建模语言——数据感知的工作流网,并给出其行为语义...
为了在工作流实施之前对工作流进行形式化建模与验证,首次全面总结带数据工作流的形式化建模的研究现状。在理清工作流中各类数据与控制流的交互特征后,提出一种带数据工作流的形式化建模语言——数据感知的工作流网,并给出其行为语义。通过工作流网模型的合理性分析/一致性分析方法的提出和方法的工具实现,证明了数据感知的工作流网具有较强的形式化建模能力。
展开更多
关键词
业务过程管理
带
数据
工作流
形式化建模语言
数据
感知
的
工作流
网
下载PDF
职称材料
题名
带数据工作流的形式化建模语言——数据感知的工作流网
被引量：
2
1
作者
王朝霞
王建民
朱笑尘
机构
清华大学软件学院
清华大学计算机科学与技术系
清华大学信息系统安全教育部重点实验室
清华信息科学与技术国家实验室(筹)
后勤工程学院后勤信息工程系
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2012年第8期1735-1746,共12页
基金
国家自然科学基金资助项目(61003099
61073005)
+1 种基金
国家973计划资助项目(2009CB320700)
国家"核高基"资助项目(2010ZX01042-002-002)~~
文摘
为了在工作流实施之前对工作流进行形式化建模与验证,首次全面总结带数据工作流的形式化建模的研究现状。在理清工作流中各类数据与控制流的交互特征后,提出一种带数据工作流的形式化建模语言——数据感知的工作流网,并给出其行为语义。通过工作流网模型的合理性分析/一致性分析方法的提出和方法的工具实现,证明了数据感知的工作流网具有较强的形式化建模能力。
关键词
业务过程管理
带
数据
工作流
形式化建模语言
数据
感知
的
工作流
网
Keywords
business process management
workflow with data
formal modeling language
data-awareworkflow nets
分类号
TP309 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
带数据工作流的形式化建模语言——数据感知的工作流网
王朝霞
王建民
朱笑尘
《计算机集成制造系统》
EI
CSCD
北大核心
2012
2
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
