论文部分内容阅读
工作流过程建模是一个复杂且易错的过程，在建模阶段进行有效的过程验证是十分必要的．描述了在一个实际的工作流系统中，如何使用过程建模工具实现一个电子商务过程——订货购买过程的定义和验证．特别是详细阐述了基于三维工作流网化简技术的过程语义验证方法的应用。说明了该方法的有效性。
工作流过程的语义验证方法应用
【摘 要】
：
工作流过程建模是一个复杂且易错的过程，在建模阶段进行有效的过程验证是十分必要的．描述了在一个实际的工作流系统中，如何使用过程建模工具实现一个电子商务过程——订货购买过
【机 构】
：
内蒙古大学计算机学院,内蒙古移动通信公司
【出 处】
：
内蒙古大学学报：自然科学版
【发表日期】
：
2006年3期
【基金项目】
：
国家自然科学基金项目（60563004）,内蒙古自然科学基金项目（200508010802）
其他文献
课堂是学生学习的主阵地。如何在课堂上激励学生全体参与、主动参与、全程参与，本人以教学“比例尺”(九义教材人教版第十二册)为例，谈一些教学体会： 片断1： 那天老师特意穿了一件漂亮的新衣服，站上讲台时学生眼睛一亮，老师知道机会来了。 师：(张开手臂转了一圈)怎么样，这件衣服对得起你们这些小观众吧? 生：(笑) 师：(抓住学生都愿意帮助老师的心理)现在我想让同学们按照衣服尺寸的大小画下来，留
提出一种采用FPGA可编程芯片实现的步进电机转角的任意细分控制方法．介绍了在一片EPF10K10LC84—4芯片内用VHDL语言编程实现了步进电机十六细分控制器的PWM模块、速度控制模块
采用熔体直接快淬(DRQ)工艺制备了成分为NdxFe94-Xb6(x=7,8,9,10 at%)和Nd8Dy1Fe85-xNbxB6(x=0,0.5, 1,1.5at%)两组合金的最佳快淬薄带.用X射线衍射(XRD)和振动样品磁强计(VS
通过比较胶原蛋白丙烯酸水解物、乙烯基类单体均聚物、共聚物及其与多肽接枝共聚物的13CNMR谱图,证明在以过硫酸铵为引发剂时乙烯基类单体确实与胶原蛋白水解多肽发生接枝共
“让我们的课堂和谐起来”，是教师努力的方向。“和谐”涉及教学的方方面面：教师与学生、教材之间的和谐，学生与教材、教法之间的和谐等等。我主要想从三维目标入手，结合一些课堂上的具体例子，来谈谈如何让课堂上的各个细节都操作到位，让“到位”来帮助我们进一步构建和谐课堂。 一、寻根究底，知识学习到位 唐代诗人杜牧有句名言：“学非探其花，要自拔其根。”意思是说学习不能停留在表面上，只顾形式上热热闹
证明了如果四阶对称微分算式的首项系数在一个正的Lebesgue测度集上是负的, 则最小算子(且该对称微分算式的任何自伴实现)是下方无界的.
近一段时间,《藏着的武林》引起了武术界的极大关注,由此,武林到底呈现一种什么样的形态就成为社会大众的关注热点。在了解武林现状之前,我们理应该先了解一下什么是武林,才
随着我国生态农业的繁荣稳定发展,有机玉米种植已经初具规模,大幅度提升了玉米作物的产量,在一定程度上解决了粮食问题。客观来说,有机玉米种植模式及生态农业技术推广对我国