期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
使用扩展区间时序逻辑为并发工作流建模
被引量：
10
1
作者
雷丽晖
段振华
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2007年第4期673-680,共8页
针对集中式体系结构并发工作流的两种运行方式(活动并发执行和活动以任意顺序执行),对区间时序逻辑进行扩展,提出两个新操作符"交错"和"限制性交错".根据工作流状态的偏序关系以及逻辑公式连接前后其模型的长度关系...
针对集中式体系结构并发工作流的两种运行方式(活动并发执行和活动以任意顺序执行),对区间时序逻辑进行扩展,提出两个新操作符"交错"和"限制性交错".根据工作流状态的偏序关系以及逻辑公式连接前后其模型的长度关系,证明用新操作符连接的区间时序逻辑公式适于表示并发工作流.结合一个并发工作流实例,说明如何用扩展区间时序逻辑表示活动及由活动组建的并发工作流,从而得到并发工作流的区间时序逻辑模型.利用并发工作流的区间时序逻辑模型验证并发工作流的活性和安全性,可大大提高并发工作流设计的可靠性.
展开更多
关键词
并发
工作流
区间时序逻辑
确定有限自动机
下载PDF
职称材料
基于并发工作流的财务监管数据汇聚模型
2
作者
那丽春
陈庆奎
《计算机工程》
CAS
CSCD
北大核心
2009年第10期62-65,共4页
企业集团的财务数据通过Internet跨越多个大行政区,集团内的财务软件和数据系统具有异构特性。为有效汇集集团的财务监管数据,以并发工作流为基础,提出财务监管数据汇集模型。利用基本财务数据,构造树形工作流,使用财务数据汇总服务器树...
企业集团的财务数据通过Internet跨越多个大行政区,集团内的财务软件和数据系统具有异构特性。为有效汇集集团的财务监管数据,以并发工作流为基础,提出财务监管数据汇集模型。利用基本财务数据,构造树形工作流,使用财务数据汇总服务器树,构建多级数据汇集机制,通过树形工作流和多级数据汇集机制实现该模型。分析和实验结果表明,该模型具有良好汇集效率和近线性的可扩展性,满足了企业集团的信息化建设需要。
展开更多
关键词
财务监管
并发
工作流
树形
工作流
异构数据汇集
下载PDF
职称材料
题名
使用扩展区间时序逻辑为并发工作流建模
被引量：
10
1
作者
雷丽晖
段振华
机构
西安电子科技大学计算理论与技术研究所
出处
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2007年第4期673-680,共8页
基金
国家自然科学基金资助(60373103)
国家自然科学基金重点项目资助(60433010)
文摘
针对集中式体系结构并发工作流的两种运行方式(活动并发执行和活动以任意顺序执行),对区间时序逻辑进行扩展,提出两个新操作符"交错"和"限制性交错".根据工作流状态的偏序关系以及逻辑公式连接前后其模型的长度关系,证明用新操作符连接的区间时序逻辑公式适于表示并发工作流.结合一个并发工作流实例,说明如何用扩展区间时序逻辑表示活动及由活动组建的并发工作流,从而得到并发工作流的区间时序逻辑模型.利用并发工作流的区间时序逻辑模型验证并发工作流的活性和安全性,可大大提高并发工作流设计的可靠性.
关键词
并发
工作流
区间时序逻辑
确定有限自动机
Keywords
concurrent workflow
interval temporal logic
deterministic finite automata
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于并发工作流的财务监管数据汇聚模型
2
作者
那丽春
陈庆奎
机构
上海立信会计学院信息科学系
上海理工大学计算机与电气工程学院
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第10期62-65,共4页
基金
国家自然科学基金资助项目(60573108)
上海市教育委员会发展基金资助项目(06QZ002
+3 种基金
07ZZ92)
上海市教育委员会科研创新基金资助重点项目(08ZZ76)
上海市教育委员会科研创新基金资助项目(09YZ428)
上海市教育科学研究基金资助项目(B08056)
文摘
企业集团的财务数据通过Internet跨越多个大行政区,集团内的财务软件和数据系统具有异构特性。为有效汇集集团的财务监管数据,以并发工作流为基础,提出财务监管数据汇集模型。利用基本财务数据,构造树形工作流,使用财务数据汇总服务器树,构建多级数据汇集机制,通过树形工作流和多级数据汇集机制实现该模型。分析和实验结果表明,该模型具有良好汇集效率和近线性的可扩展性,满足了企业集团的信息化建设需要。
关键词
财务监管
并发
工作流
树形
工作流
异构数据汇集
Keywords
finance monitoring
concurrent workflow
tree-shape workflow
heterogeneous data gather
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
使用扩展区间时序逻辑为并发工作流建模
雷丽晖
段振华
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2007
10
下载PDF
职称材料
2
基于并发工作流的财务监管数据汇聚模型
那丽春
陈庆奎
《计算机工程》
CAS
CSCD
北大核心
2009
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
