实现通用Petri网格描述的语用计算系统.ppt

实现通用Petri网格描述的语用计算系统 赵维,ygzw@ 0252005-10-17 实现Petri网格描述的语用计算机 计算机到底怎么啦？—问题与探索； 我对计算机的认识—二元计算模型； 现阶段的研究与开发— 语用计算机； 未来工作的注意要点； 我的拓展研究工作。 计算机问题的起源 自40年代计算机问世以来，如何编制符合要求的程序一直是人们追求的目标。 软件主要是手工活动，软件开发远远落后于硬件发展，远远满足不了社会的需求，这就是叫“软件危机”的计算机问题。 软件危机无“银弹” 1968年NATO软件工程会议，提出软件工程概念，软件工程只是缓解了软件危机。 计算机科学家Frederick Phillips Brooks，Jr （1999年近70高龄时获得了图灵奖。）在《没有银弹》(1986)一文中提出了一个迄今为止尚未被打破的著名论断：“没有一种单纯的技术或管理上的进步，能够独立地承诺在10年内大幅度地提高软件的生产率、可靠性和简洁性”。 软件工程过程 软件工程过程（续） 软件工程过程（续） 曾一度被乐观派认为是“银弹” 90年代兴起的软件构件技术（黄柳青）； 2000年的.Net的元数据概念（陈榕）； 2004年的WSRF.net（微软）； 微软的WSRF.Net已经被longhorn取代，并正过渡到Blackcomb。我认为这个blackcomb极有可能是我研究实现的《语用计算机》。 我归纳的计算机问题 当前ERP已经成为了企业信息化的“怪兽”。 “软件构件的高构造性与应用工程的快演化性之间的矛盾”是我们目前所面临的主要计算机问题。 现有技术实现了“高构造性”，但忽略了“快演化性”，因而没有解决计算机问题。 无尺度网络 语用网 实现Petri网格描述的语用计算机 计算机到底怎么啦？—问题与探索； 我对计算机的认识—二元计算模型； 现阶段的研究与开发— 语用计算机； 未来工作的注意要点； 我的拓展研究工作。 二元计算机模型 一般计算机系统模型均由两类元素构成：表示状态的元素和表示变化的元素。如程序设计语言用变量表示状态，用语句，特别是赋值语句，表示变化。 如何把两类元素联系起来构成完整的系统，不同的模型采用不同的方法。 硬件计算机用控制流把机器指令（变化元素）串成全序，而内存单元（状态元素）是指令的组成部分。程序设计语言中变量（状态元素）是独立存在并且单独改变的，程序语言用控制流把语句（变化元素）串在一起，变量则各自出现在语句当中。 硬件系统的状态元素“同体”（包含）于变化元素，软件系统的状态元素“分体”但从属于变化元素。 Petri网的状态元素“分体”于变化元素，且地位平等。 二元计算机模型 我认为二元计算机的发展历程 我提出计算机问题的解决办法 分离“软件技术构件实现”与“应用逻辑工程描述”； 实现描述计算。 实现Petri网格描述的语用计算机 计算机到底怎么啦？—问题与探索； 我对计算机的认识—二元计算模型； 现阶段的研究与开发— 语用计算机； 未来工作的注意要点； 我的拓展研究工作。 网格计算之上存在Petri网模型 Petri网：N =（S，T；F） S元由低层的状态资源WSRF支撑； T元由低层的无状态的Web Services支撑； F是S元与T元之间的流关系； 通过定义流关系F来实现系统应用逻辑。 遵循Petri网原理的网格计算方法 申请专利号：20051004012.8 ; 基于特殊网论（special net theory）的ISO15909; 直接建立特殊Petri网的应用描述系统，实现网格计算的共享与协作，但存在： 1、“硬编码”有局部失效问题， 2、用网模型描述的应用逻辑也应当共享与协作；3、从“小孤岛”到“大孤岛”，没有实现“虚拟社会”。 为此作者设计了语用计算机来抽象具体网系统为通用网概念，实现概念间“普遍联系”的共享与协作。 语用计算机的理论基础 运用通用网论（general net theory）的“并发关系”、“出现结构”、“C/E系统”和信息流网的四级抽象理论与技术的网结构； 对应于语用计算机的“造字”、“组词”、“造句”和“谋篇”四级抽象技术与过程的语用单元。 所谓抽象就是“虚拟化”技术，使得与被抽象概念对应的概念或其具体实现，可以因时因地而各不相同。即应用逻辑相同而所映射的具体实现可以不同，做到所谓的“神似而形不同”。 语用计算机的图例 语用计算机的基础—封装与抽象 封装技术：使得计算力(数据资源)可访问； 抽象技术：用元数据（metadata）概念实现把计算力(数据资源)从低层的软硬件世界里提取出来，支撑用Petri网描述的语用世界。 ? 一切经过“封装和抽象”处理的（软件）计算力和数据资源都可以成为语用计算机的基础