切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
工作流过程建模方法及模型的形式化验证
工作流过程建模方法及模型的形式化验证
来源 :计算机科学 | 被引量 : 0次 | 上传用户:renbaoshouxian
【摘 要】
:
0引言工作流技术最初起源于办公自动化和企业生产中的过程概念.包括办公室内的文档路由和生产中活动的路由.目前,还没有统一认可的工作流定义.工作流管理联盟(WfMC,Workflow
【作 者】
:
杨东
王英林
张申生
傅谦
【机 构】
:
上海交通大学计算机系CIT实验室
【出 处】
:
计算机科学
【发表日期】
:
2003年9期
【关键词】
:
工作流管理系统
工作流过程
建模方法
PETRI网
形式化验证
软件系统
Workflow modeling
Model verification
【基金项目】
:
国家高技术研究发展计划(863计划)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
0引言工作流技术最初起源于办公自动化和企业生产中的过程概念.包括办公室内的文档路由和生产中活动的路由.目前,还没有统一认可的工作流定义.工作流管理联盟(WfMC,Workflow Management Coalition)给工作流的定义是"商务过程的全部、部分自动化或计算机化"[2].
其他文献
基于延迟的IP流量规划条件
引言流量规划(Traffic Engineermg,TE)技术[1]是网络工程的科学原理与技术在Internet流量计量、建模、表示与控制方面的应用.它基于多路径路由技术,目标是平衡网络路径间的负
期刊
计算机网络
网络流量
网络资源
IP流量规划
服务质量
延迟性能
Traffic Engineering
Load Balancing
Quality of S
一个JAVA可视化面向对象程序设计支撑系统的设计
1引言由Grady Booch James Rumbaugh和Ivar Jacobson共同创建的一种可视化说明、建造软件系统的工业标准语言——统一建模语言UML(Unify Modeling Language)[1,2]是面向对象
期刊
程序设计
面向对象
可视化
JAVA语言
支撑系统
UML(Unify Modeling Language)
Abstract logic structure
基于Multi—Agent的动态在线议价模型
1前言随着电子商务技术的不断发展,许多国内外计算机工作者开始研究如何使得在线交易的价格协商更加自动化、智能化和科学化.研究表明,人们在进行在线购物的时候,即使不一定
期刊
电子商务
MULTI-AGENT
动态在线议价模型
DOBS
Multi-Agent
Online bargaining
Negotiation
Utility
舞钢财务计算机网络建设与实现
本文介绍财务系统开发背景、设备选型和网络配置,重点讨论网络体系设计总体方案,说明了系统实施特点、功能实现和系统运行效果,陈述了系统成功的体会.
期刊
钢铁工业
MIS
财务管理
计算机网络
Network
Development
Building
IP网络中实时数据流的流量控制
1.引言近年来,全球Internet以指数的增长速度迅猛发展,成为仅次于电话网的第二大通信基础设施,通信量直逼电话网.音频、视频压缩、实时数据传输技术和网络技术的成熟使在IP网
期刊
INTERNET
IP网络
实时数据流
流量控制
网络带宽
计算机网络
RBC
Real time
Rate
Bandwidth
TCP-friendly
油气输送管线用钢X56的试制
期刊
油气输送管线用钢
试制
工艺方案设计
实物质量
控轧控冷工艺条件下Nb—V钢碳氮化物的析出行为
本文通过热模拟实验和电子显微技术等方法,系统地研究了控轧控冷对铌钒钛复合微合金化低碳热轧钢板的铌、钒、钛碳氮化物的析出行为的影响,研究结果对开发高强度船体用钢板具
期刊
微合金钢
碳氮化物
析出
控制轧制
控制冷却
Microalloyed steel
Controlled rolling and cooling
Carboni
优化厚规格钢板剪切工艺
本文根据轧机的轧钢方式,轧出两头大的厚规格中厚板,分析圆盘剪的剪切和重叠量的调整情况,找到圆盘剪卡钢的原因,并提出圆盘剪剪切工艺优化措施.
期刊
厚规格钢板
剪切工艺
圆盘剪
轧机
Rotary shears
Thick gauge plate
Shearing
Optimization
板坯用高速调宽结晶器NS—VWM的开发
1 前言为了克服过去连铸宽度不同的板坯需改变结晶器宽度而断浇的缺点,钢铁厂家开发了在浇钢过程中移动结晶器短边(又可称窄边)而改变其宽度的技术(Variable Width Mold简称V
期刊
板坯连铸
高速调宽
结晶器
NS-VWM技术
连铸机
厚度控制技术在中厚板轧制生产中的应用
本文探讨了影响中厚板厚度波动的因素,结合安钢中板厂2 800mm轧机按合同轧制一批交货重量不大于理论重量船板的生产实践,总结了实际生产中实现高精度厚度控制的有效方法.
期刊
厚度控制技术
中厚板
负偏差轧制
轧制压力
轧制速度
Medium and heavy plate
Minus deviation rolling
Rollin
与本文相关的学术论文