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

《全国计算机软件新技术研讨会暨庆祝许家福教授八十华诞.ppt》由会员共享,可在线阅读。更多相关“全国计算机软件新技术研讨会暨庆祝许家福教授八十华诞”。 ppt(23页珍藏版)”,请在线搜索一份教材。

1、1 全国计算机软件新技术学术研讨会暨徐家福教授诞辰八十周年大会大家都知道,这是计算机界的一个早期话题。早期的编程语言都是基于过程的,尤其是当 EW Dijkstra 指出 goto 语句是有害的时。结构化程序设计将程序设计中的程序研究推向了形式语义学,专门研究程序语义,形成一个独立的学派。对过程的研究在计算机界风靡一时。研究热潮早已成为过去。基于过程的语言逐渐被基于对象的语言所取代。引用语义和逻辑语义也占了上风。长期以来计算机新技术错误的是,很少有人谈论西北大学计算机系的软件流程

2、软件工程研究所 3 流程新理论 但形势发生了变化 随着互联网的普及和社会信息化进程的加速,一个被称为软件杀手的软件BPM业务流程管理系统新世纪已经出现。软件需要流程描述语言,需要对业务流程进行详细而严格的描述。使用互联网技术实现设置人员在设置时设置的东西。业务流程与程序中的流程不同。它需要突破结构。它的并行机制也超越了CCS和CSP的模式。 PetriNet 是一个非常好的模型,但需要进一步扩展以描述业务流程。总之,BPM的出现引起了新一轮的流程研究呼唤流程。西北大学计算机系软件工程研究所新探讨4 大纲突破结构化捆绑

3、介绍PetriNet对复杂多流问题的分区解决方案的思想和机制。西北大学计算机系软件工程研究所简介。它由几种结构形式组成,如顺序分支、循环、并行等,由原始句子逐步构建而成,但业务流程往往会突破结构约束,例如典型的审批文件示例。这在结构化循环结构中是不允许的,但是在业务流程的设计中,被西北大学计算机系软件工程研究所广泛使用 6 PetriNet 是非结构化并行竞争同步的好模型 7 PetriNet 是西北大学计算机科学系软件工程研究所的一个很好的模型 与西北大学计算机科学系软件工程研究所的非结构化并行竞争同步 8

4、 PetriNet 是非结构化并行竞赛同步的好模型 西北大学计算机科学系软件工程研究所 9 PetriNet 是非结构化并行竞赛同步的好模型 西北大学计算机科学系软件工程研究所 10 PetriNet 是非结构化并行竞争同步的好模型西北大学计算机科学系软件工程研究所11 PetriNet是非结构化并行竞争同步的好模型西北大学计算机科学系工程学院12 PetriNet是非结构化并行竞争同步软件工程的好模型,西北大学计算机系 13 将PetriNet引入流程定义语言的思想和机制是工作流管理联盟Wf的一大进步

5、MC WorkflowManagementCoalition Workflow Process Definition Language WPDL WorkflowProcessDefinitionLanguage 了解PetriNet理论的WPDL起草者并不多,所以从WPDL中不难看出结构化模型的影响和流程定义语言造成的混乱。 PetriNet的思想和机制是一个重大进展。图灵机理论对计算机诞生的影响是向前迈出的一大步。 PetriNet 用于描述业务流程,需要进一步扩展。 PetriNet没有直接描述数据的机制计算机新技术错误的是,所以在描述控制结构不能直接描述分支结构。只有分支有相应的竞争机制。

6、 分支条件的确定放在系统之外。系统不能直接描述字母驱动的工作流计算模型。信是中国古代官员执行任务的凭证。计算机研发 2000 37 12 数据变量 对象文件 数据库项目 西北大学计算机系 软件工程研究所 15 WPDL中的JOIN语义问题 AND SPLIT and AND JOIN WPDL中语义定义不够严格 西北大学计算机系Software Engineering 16 WPDL AND JOIN 中的JOIN 语义问题被定义为与过渡到此活动相关的并行线程的合并。同步合并线程的数量取决于前一个 AND SPLIT 转换条件的实际执行结果。这里所说的AND JOIN之前的AND SPLIT是否固定

7、 指的是如何找到这些AND SPLIT。这时候AND JOIN应该用什么规则计算输入转换的次数来表示可以进入执行状态等等一系列问题。如果限制 SPLIT 和 JOIN 的类型严格匹配。在 WPDL 的描述中选择了 FULL BLOCKED 方法。解决这个问题自然容易,但极大地限制了它的实际应用。传真信卡背后的活动的真实执行条件为假,假信卡背后的活动被假执行。在某些情况下,真假字母卡执行规则不适用。问题的症结在于真假字母卡。不能随意使用。如果在一定范围内不使用真假信用卡,就会产生不正确的结果。

8、北京大学计算机系软件工程研究所 19 分区解决方案 为了保持模型的完整表达性,我们选择了两个规则的综合使用方案,将整个过程划分为一个同步区和异步区。同步区使用假字母规则,非同步区使用真字母规则。同步区域的定义与AND JOIN节点配对。 AND JOIN 节点及其对应的焦点所包围的区域称为同步区域计算。聚焦点算法 寻找对应同步区域的算法 同步区域的必要约束 正确使用同步区域的真假信用规则 JOIN WPDL 计算机科学中的语义问题和分区解决方案 2003 7 30 西北大学计算机科学系 软件工程研究所20 复杂的多流 多流是在执行具有两个或两个的现象时发生的过程的实例

9、以上活动同时并行执行。这种活动发生在流程执行多次之前和之后。并行流水线是典型的多流。多流建立引起的问题 Streaming Data Multi-stream Reverse Multi-Stream Synchronization Solution 建立Stream ID Local 禁止多流 西北大学计算机科学系 软件工程研究所 22软件工程研究所 相关工作 字母驱动业务流程模型研究 非确定性 Petri 网小微机系统 2003 年 3 月 24 日 流程管理系统 异常处理与动态修改研究 业务流程管理系统 支持事务处理 多服务器支持的分布式流程管理系统 工业化 SynchroFLOW 西安开发的 SynchroFLOW 中国电信市场行业应用提供商 软件工程西北大学计算机科学系研究所 23 西北大学计算机科学系软件工程研究所欢迎各位专家和建议。谢谢 http 210 27 37 253 kghao

© 版权声明
THE END
喜欢就支持一下吧
点赞0
分享
评论 抢沙发

请登录后发表评论