必威体育精装版全国计算机软件新技术研讨会暨徐家福教授八十华诞庆贺活动.ppt

Petri Net 是一种很好的模型 非结构化，并行，竞争，同步，… Place Transition Token 西北大学计算机科学系软件工程研究所 * Petri Net 是一种很好的模型 非结构化，并行，竞争，同步，… Place Transition Token 西北大学计算机科学系软件工程研究所 * Petri Net 是一种很好的模型 非结构化，并行，竞争，同步，… Place Transition Token 西北大学计算机科学系软件工程研究所 * Petri Net 是一种很好的模型 非结构化，并行，竞争，同步，… Place Transition Token 西北大学计算机科学系软件工程研究所 * Petri Net 是一种很好的模型 非结构化，并行，竞争，同步，… Place Transition Token 西北大学计算机科学系软件工程研究所 * 在过程定义语言中引入 Petri Net 的思想和机制是一重大进步。 工作流管理联盟 WfMC (Workflow Management Coalition) 工作流过程定义语言 WPDL (Workflow Process Definition Language) WPDL起草者中并没有多少人了解Petri Net的理论。因而，从WPDL中不难看出结构化模型的影响和引起的混乱。 在过程定义语言中引入 Petri Net 的思想和机制是一重大进步。 联想：Turing Machine 理论对计算机诞生的影响。 西北大学计算机科学系软件工程研究所 * Petri Net 用于描述业务过程，还需作进一步的扩展。 Petri Net没有直接描写数据的机制。于是，在描写控制结构上就不能直接刻画分支结构。关于分支，它只有相应的竞争机制，是把分支条件的确定放在了系统的外面，系统不能直接描写。 信牌驱动式工作流计算模型。信牌: 是中国古代官府执行任务的凭证。 《计算机研究与发展》2000, (37) 12 数据：变量，对象，文件，数据库项。 C1 C2 C3 活动1 信牌箱3 信牌箱2 信牌箱1 西北大学计算机科学系软件工程研究所 * WPDL中的JOIN语义问题 AND-JOIN AND-SPLIT AND-SPLIT b2 b1 a2 a1 WPDL中的 AND-SPLIT和 AND-JOIN 语义定义不够严格。 西北大学计算机科学系软件工程研究所 * WPDL中的JOIN语义问题 AND-JOIN 被定义为与进入此活动的转移相关的并行线程的合并，同步合并线程的个数依赖于前面的 AND-SPLIT转移条件的实际执行结果。 这里所说的“AND-JOIN 前面的 AND-SPLIT ”是否有固定的所指？如何求出这些 AND-SPLIT？此时，该AND-JOIN 应该按什么规则计算输入转移的个数以表明它可进入执行状态？等等存在一系列问题。 如果用限制 SPLIT 和 JOIN 的类型严格配对（在 WPDL 的说明中选 FULL-BLOCKED ）的方法解决这个问题，自然很容易，但却大大地限制了它的实际应用。。 西北大学计算机科学系软件工程研究所 * 真假信牌执行规则 条件为真时传真信牌，后面的活动真执行；条件为假时传假信牌，后面的活动假执行。 a2 a1 b2 b1 西北大学计算机科学系软件工程研究所 * 西北大学计算机科学系软件工程研究所 * hgjghj kjljkl * hgjghj kjljkl * hgjghj kjljkl * hgjghj kjljkl * hgjghj kjljkl * hgjghj kjljkl * hgjghj kjljkl * hgjghj kjljkl * hgjghj kjljkl * hgjghj kjljkl * hgjghj kjljkl * hgjghj kjljkl * hgjghj kjljkl * hgjghj kjljkl * hgjghj kjljkl * hgjghj kjljkl * hgjghj kjljkl * hgjghj kjljkl * hgjghj kjljkl * hgjghj kjljkl * hgjghj kjljkl * hgjghj kjljkl * hgjghj kjljkl 全国计算机软件新技术研讨会暨徐家福教授八十华诞庆贺活动 郝克刚 西北大学计算机科学系（2003.12 南京） “过程” 新论 * “过程”：计算机界早期的话题 谈及过程，人们都知道这是计算机界早期的话题。 早