实现通用Petri网格.ppt

实现通用Petri网格描述的语用计算系统 赵维,ygzw@ 0252005-6-18 目标 “10倍”降低大型软件的开发和维护成本， “100倍”加快应用技术的推广和普及速度； 实现描述计算； “虚拟一体化”全球计算设备； 采用自然语言交互； 实现“第3代”网络—网格计算或者语义网。 申请发明专利的方法 直接基于网格计算技术标准： 1、（1999年的）Web Service和， 2、（2004年的）WSRF之上； “实现通用Petri网（格）描述的— 语用计算机（系统）”； 申请发明专利的策略 利用P2P网络的DHT技术存储— 通用Petri网语用计算系统的语用单元集合； 1、（Caching技术的）局部性原理， 2、（P2P网络的）小世界现象， 3、（Petri网论的）局部确定性公理。 实现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）的“并发