2018年全国计算机软件新技术研讨会暨徐家福教授八十华诞庆贺活动.pptVIP

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 是一种很好的模型 非结构化，并行，竞争，同步，… 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 . * . . 全国计算机软件新技术研讨会暨徐家福教授八十华诞庆贺活动 郝克刚 西北大学计算机科学系（2003.12 南京） “过程” 新论 * . “过程”：计算机界早期的话题 谈及过程，人们都知道这是计算机界早期的话题。 早期的程序设计语言都是基于过程的。特别是E.W.Dijkstra指出goto语句有害而引起的结构化程序设计，把程序设计中的过程的研究推向了高潮。 形式语义中专门有过程语义，形成单独的一派。 关于过程的研究在计算机界曾风靡一时，研究热潮早已成为过去。基于过程的语言已逐渐被对象式语言所替代，指称语义和逻辑语义也进一步占了上风。很长时间已很少有人谈及过程。 . * “过程” 新论 但是，情况有变。 随着 Internet 的普及和社会信息化进程的加速，一种称之为新世纪软件杀手的软件BPM（业务过程管理系统）出现了。 该软件要求有一种过程描述语言。要求对业务过程进行详细地、严格地描述。利用 Internet 技术实现：在设定的时候，由设定的人员作设定的事。 业务过程不同于程序中的过程，它要求突破结构化的束缚。他的并行机制也超过了CCS和CSP的模式。 Petri Net 是一种很好的模型，但用于描述业务过程，还需作进一步的扩展。 总之， BPM的出现，引起了新一轮“过程”研究的热潮。呼唤 “过程”的新论。 . * 讲述大