工作流过程的语义验证方法应用

工作流过程建模是一个复杂且易错的过程,在建模阶段进行有效的过程验证是十分必要的.描述了在一个实际的工作流系统中,如何使用过程建模工具实现一个电子商务过程订货购买过程的定义和验证.特别是详细阐述了基于三维工作流网化简技术的过程语义验证方法的应用,说明了该方法的有效性.     

网格时代的协同工作

20多年前,计算机支持的协同工作作为一门学科发展起来,然而,至今仍有一些问题在该领域的应用中尚未得到很好地解决.首先分析了这些问题,然后提出在新的计算环境--网格中探讨解决方式的思路.最后以企业信息化建设为例,说明了基于网格的协同工作的实现途径和作用.