论文部分内容阅读
0引言工作流技术最初起源于办公自动化和企业生产中的过程概念.包括办公室内的文档路由和生产中活动的路由.目前,还没有统一认可的工作流定义.工作流管理联盟(WfMC,Workflow Management Coalition)给工作流的定义是"商务过程的全部、部分自动化或计算机化"[2].
工作流过程建模方法及模型的形式化验证
【摘 要】
：
0引言工作流技术最初起源于办公自动化和企业生产中的过程概念.包括办公室内的文档路由和生产中活动的路由.目前,还没有统一认可的工作流定义.工作流管理联盟(WfMC,Workflow
【机 构】
：
上海交通大学计算机系CIT实验室
【出 处】
：
计算机科学
【发表日期】
：
2003年9期
【基金项目】
：
国家高技术研究发展计划(863计划)
其他文献
引言流量规划(Traffic Engineermg,TE)技术[1]是网络工程的科学原理与技术在Internet流量计量、建模、表示与控制方面的应用.它基于多路径路由技术,目标是平衡网络路径间的负
1引言由Grady Booch James Rumbaugh和Ivar Jacobson共同创建的一种可视化说明、建造软件系统的工业标准语言——统一建模语言UML(Unify Modeling Language)[1,2]是面向对象
1前言随着电子商务技术的不断发展,许多国内外计算机工作者开始研究如何使得在线交易的价格协商更加自动化、智能化和科学化.研究表明,人们在进行在线购物的时候,即使不一定
本文介绍财务系统开发背景、设备选型和网络配置,重点讨论网络体系设计总体方案,说明了系统实施特点、功能实现和系统运行效果,陈述了系统成功的体会.
1.引言近年来,全球Internet以指数的增长速度迅猛发展,成为仅次于电话网的第二大通信基础设施,通信量直逼电话网.音频、视频压缩、实时数据传输技术和网络技术的成熟使在IP网
本文通过热模拟实验和电子显微技术等方法,系统地研究了控轧控冷对铌钒钛复合微合金化低碳热轧钢板的铌、钒、钛碳氮化物的析出行为的影响,研究结果对开发高强度船体用钢板具
本文根据轧机的轧钢方式,轧出两头大的厚规格中厚板,分析圆盘剪的剪切和重叠量的调整情况,找到圆盘剪卡钢的原因,并提出圆盘剪剪切工艺优化措施.
1 前言为了克服过去连铸宽度不同的板坯需改变结晶器宽度而断浇的缺点,钢铁厂家开发了在浇钢过程中移动结晶器短边(又可称窄边)而改变其宽度的技术(Variable Width Mold简称V
本文探讨了影响中厚板厚度波动的因素,结合安钢中板厂2 800mm轧机按合同轧制一批交货重量不大于理论重量船板的生产实践,总结了实际生产中实现高精度厚度控制的有效方法.