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

全国计算机软件新技术研讨会暨徐家福教授八十华诞庆贺活动 郝克刚 西北大学计算机科学系（2003.12 南京） “过程”：计算机界早期的话题 谈及过程，人们都知道这是计算机界早期的话题。 早期的程序设计语言都是基于过程的。特别是E.W.Dijkstra指出goto语句有害而引起的结构化程序设计，把程序设计中的过程的研究推向了高潮。 形式语义中专门有过程语义，形成单独的一派。 关于过程的研究在计算机界曾风靡一时，研究热潮早已成为过去。基于过程的语言已逐渐被对象式语言所替代，指称语义和逻辑语义也进一步占了上风。很长时间已很少有人谈及过程。 “过程” 新论 但是，情况有变。 随着 Internet 的普及和社会信息化进程的加速，一种称之为新世纪软件杀手的软件BPM（业务过程管理系统）出现了。 该软件要求有一种过程描述语言。要求对业务过程进行详细地、严格地描述。利用 Internet 技术实现：在设定的时候，由设定的人员作设定的事。 业务过程不同于程序中的过程，它要求突破结构化的束缚。他的并行机制也超过了CCS和CSP的模式。 Petri Net 是一种很好的模型，但用于描述业务过程，还需作进一步的扩展。 总之， BPM的出现，引起了新一轮“过程”研究的热潮。呼唤 “过程”的新论。 讲述大纲： 突破结构化的束缚 引入 Petri Net 的思想和机制 分区解决方案 复杂的多流问题 研究所相关工作简单介绍 突破结构化的束缚 所谓结构化，即过程是由几种结构形式，如顺序、分支、循环、并行等，由原始语句逐步构造而成。 但是业务过程常要突破结构化的束缚。例如典型的审批公文的例子 Petri Net 是一种很好的模型 在过程定义语言中引入 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 数据：变量，对象，文件，数据库项。 WPDL中的JOIN语义问题 WPDL中的JOIN语义问题 AND-JOIN 被定义为与进入此活动的转移相关的并行线程的合并，同步合并线程的个数依赖于前面的 AND-SPLIT转移条件的实际执行结果。 这里所说的“AND-JOIN 前面的 AND-SPLIT ”是否有固定的所指？如何求出这些 AND-SPLIT？此时，该AND-JOIN 应该按什么规则计算输入转移的个数以表明它可进入执行状态？等等存在一系列问题。 如果用限制 SPLIT 和 JOIN 的类型严格配对（在 WPDL 的说明中选 FULL-BLOCKED ）的方法解决这个问题，自然很容易，但却大大地限制了它的实际应用。。 真假信牌执行规则 有些情况真假信牌执行规则不适用 问题的症结主要是真假信牌不能任意使用，如果不在一定的范围内，使用真假信牌就会产生不正确的结果。 分区解决方案 为了保持模型的充分表达能力，我们选择了两种规则综合使用的方案。把整个过程分为同步区和非同步区。真假信牌规则在同步区中使用，而真信牌在非同步区中使用。 同步区的定义。与 AND-JOIN 节点配对的聚焦点。由 AND-JOIN 节点与其对应的聚焦点所围成的区域被称为同步区。 计算聚焦点的算法，求相应的同步区的算法。 为使真假信牌规则在同步区中的正确使用，对同步区所作的必要限制。 “ WPDL中的JOIN 语义问题和分区解决方案” 《计算机科学》2003. 7（30）。 复杂的多流 多流是过程的实例在执行中出现的一种现象： 有两个或两个以上的活动同时（并行）执行， 这种活动出现在过程执行的前后，多次执行（前后并行） 。 流水线是典型的多流 多流引起的问题 建立“流数据” 多流的倒序 软件工程研究所相关工作 信牌驱动式业务过程模型的研究。 非确定 Petri 网。《小型微型计算机系统》2003. 3（24） 过