期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到4篇文章
< 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
面向并行工程的工作流集成框架研究 被引量：5
3
作者 傅谦 张申生 卢春霞 《中国机械工程》 EI CAS CSCD 北大核心 2002年第15期1288-1291,共4页
随着并行工程的研究与推广 ,目前日益成熟的工作流管理技术为建立支持并行工程的应用集成系统提供了良好的基础 ,使得设计和开发能够支持应用程序之间的信息集成与过程集成的软件系统成为可能。针对产品开发全生命周期管理的需求 ,首先... 随着并行工程的研究与推广 ,目前日益成熟的工作流管理技术为建立支持并行工程的应用集成系统提供了良好的基础 ,使得设计和开发能够支持应用程序之间的信息集成与过程集成的软件系统成为可能。针对产品开发全生命周期管理的需求 ,首先提出了一个基于工作流的企业信息系统体系结构 ,基于该思想 ,进一步提出了并行工程使能工具的集成框架。为了阐述其集成方法 ,在介绍集成框架的核心技术——工作流建模与管理系统的基础上 ,以 PDM系统的集成为例 ,详细解释了 Tool Agent集成方式。 展开更多
关键词 并行工程 工作流 集成框架 CIMS
下载PDF
面向并行工程的产品开发工作流建模研究 被引量：6
4
作者 曹健 张申生 黄鹤远 《计算机工程与应用》 CSCD 北大核心 2001年第18期1-3,12,共4页
工作流管理系统能够对并行工程概念指导下的产品开发过程提供有力支持。工作流建模是工作流管理系统的首要问题。文章从并行工程的P＿PROCE模型出发，形式化的定义了产品开发的工作流模型。在此基础上，研究了产品开发工作流的建模方法... 工作流管理系统能够对并行工程概念指导下的产品开发过程提供有力支持。工作流建模是工作流管理系统的首要问题。文章从并行工程的P＿PROCE模型出发，形式化的定义了产品开发的工作流模型。在此基础上，研究了产品开发工作流的建模方法，重点介绍了一种基于模板映射的工作流建模技术。文中还介绍了工作流建模系统的结构及其应用情况。 展开更多
关键词 并行工程 工作流 模板映射 产品开发 建模 P-PROCE模型 产品设计
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部