大学计算机课件 “过程”新论.pptVIP

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