火炮 鹰眼:计算机科学漫谈（II）

来源：百度文库 编辑：偶看新闻 时间：2024/04/28 19:59:08

作者：nohup

“穿靴子的猫”声称“计算机科学重要的问题都研究完了”，实在是不了解计算机科学的现状。没解决的问题多如牛毛呢。 现在做分布式应用最流行的办法是用WEB　SERVICE，简单而且容易开发。有没有什么好办法，可以快速简单的把一大堆WEB　SERVICE搞在一起，MICROSOFT，　IBM，还有其他工业巨头两年前难得地放弃了自己的标准达成了一致，搞了一个统一的标准，　就是BPML　(Business Process Management Language), 。　用BPML写的程序调用不同的部署在网上的WEB　SERVICE，完成用户想要的功能。 BPML是怎么设计出来的？　秘密是PI演算（Pi-Calculus）。BPML的设计者Assaf Arkin和他的同事都是PI演算的行家里手，他们从PI演算清楚知道这个语言需要什么。
那末PI演算又是什么东西呢？ 我们知道所有串行计算机程序都可以化归为LAMBDA演算。LAMBDA演算是和图灵机等价的。大多与计算机语言相关的研究都可以化为对LAMBDA演算的研究。上个世纪七十年代前，LAMBDA演算是没有语义的。DANA　SCOTT发现了LAMBDA演算的语义成为了现代计算机科学的开端。DANA　SCOTT发现了一个高阶函数的集合（叫论域），每个程序都可以化为一个方程，而这个方程在这个集合上有唯一的最小解，这个解就是这个程序的语义。这项工作带来了象潮水般的后续结果，影响直到今天还到处可见。只要你谈递归的语义，就会是某种形式的论域。 PI演算和论域很好的处理了串行计算机程序。可对分布式计算却很难处理。PI演算就是分布式计算的理论模型。PI演算的发明人ROBIN　MILLER从没拿过PHD。他得图灵奖的时候通知他因为他的四项成就而得奖，他写信说其中一项不是他的，如果不把那一项拿走，他拒绝得奖。由PI演算延伸出来的东西多得不得了，因为它涉及到了分布式计算的本质。
漫谈说理文（节录）..里面题我不会诶... 漫谈电视剧 班主任工作漫谈 漫谈废旧电池 雪糕漫谈 漫谈朋友 漫谈是什么意思 歇后语漫谈 狗长角 请接后句 评书漫谈词 班主任工作漫谈论文 社交礼仪漫谈 漫谈终身学习 金山毒霸（求助）II 计算机科学与技术（师范）专业 关于言志,抒情诗的漫谈 社区服务漫谈---请大家积极参与 计算机科学与技术（本科）现在的就业怎么样啊？ 求计算机科学导论（机械工业出版社）课后习题答案 河南大学计算机科学与技术（网络工程）专业如何？ 求学校!!急!!!!!计算机科学与技术（高中起点专科） 哈工大（威海）的计算机科学与技术专业怎么样？ 计算机科学技术论坛 《计算机科学》 投稿 计算机科学 投稿