做完了Web service，形式化方法再能做点啥？

28三/1012

做完了Web service，形式化方法再能做点啥？

作为一个毕业许久的人……谈起纯学术有点偏离当前本职工作的意思。不过想想这些事情还是比较有意思的。

Web service折腾了许多年，似乎已经来到了拐点。由ICWS一再延长submission date可见一斑。从理论上看，好做的都做了，没做的corner越来越少了。

再做什么呢？

云计算是一种新的商业模式，可能带来巨大利润，所以业界极为关注。但对于计算机理论研究而言恐怕没那么多新元素。虚拟化的服务器，是很好的实现技术。可它既然已经是“虚拟”的，那么形式化方法常见的abstraction思想就没有用武之地了。

当然也要想到，SOA跟RPC相比，似乎也没那么多新元素，却做出了那么多的paper……这里应该总可以找到些可以做的地方。再仔细想想。列为TODO。

无线传感器网络是个有趣的领域。与形式化方法结合，可以做一些验证的工作，比如传输协议。不过，这跟p2p可能会很像。如果早几年了解到这个领域就好了。

graphics、search、social network这些领域跟形式化方法天生就没有关系……凡是需要heruistics和statistics的地方，没法用简单的逻辑描述，就基本没有形式化方法的事儿。然而越是貌似不可能的地方，越可能隐藏着尚未发掘的矿产……虽然不好说是金矿还是铜矿。

最后，performance tuning和操作系统。一直觉得这里很有可做的东西。如果跟形式化方法的结合，可以做一些paper出来。自己太懒，没有功夫去follow学术界在这两个方向上的最新潮流，也许有些idea可以借鉴。起码这两个领域比SOA更加实在有趣。也可以考虑在这里做些工程性的东西。

其实formal methods之于计算机科学技术的其他领域，就像数学之于物理。方法和工具是现成的（比如model checking），关键是给自己定义的一大堆符号找到一个合理的解释。大牛可以直接折腾方法论本身，普通人还是老老实实的做application吧。

分类: 形式化方法发表评论

评论 (12) 引用 (0) (订阅这个帖子上的评论)

贺康
2010年07月05日 14:49

无线传感器网络是个有趣的领域。与形式化方法结合，可以做一些验证的工作，比如传输协议。不过，这跟p2p可能会很像。如果早几年了解到这个领域就好了。是吗？杨老师说有让我这方面东西的想法呢还。。。
贺康
2010年07月05日 14:54

我在网上搜“形式化方法，无线传感器网络”就到这里来了。呵呵
changhui
2010年07月05日 18:44

最近一年在搞Memory Consistency Model，multi-core时会碰到，很tricky的东西。我们老板还是喜欢dynamic的方法，或者compiler或者hardware的辅助，不怎么去做semantics，model，verification之类的。如果有人有兴趣倒是可以捣腾捣腾，当然还是已经有很多现成的工作的。。。也挺烦的。。。
Xiangpeng
2010年07月08日 06:35

要去搜搜论文才能下结论。早几年的好处是会议会比较多，项目也比较多。我觉得花点时间看看这个领域是值得的。
Xiangpeng
2010年07月08日 06:39

听起来不错。有机会的话跟你讨论一下……
Xiangpeng
2010年07月08日 06:40

搜资料尽量不要搜中文吧，一般都没多少值得看的东西。不过，如果中文都能搜出一大堆，那这个问题肯定已经不需要再做了。
yuxc
2011年02月14日 14:24

哈哈，我顶最后一句。
另外我想问一下，这个方向的研究生毕业之后从事哪方面的工作比较合适呢？
Xiangpeng
2011年02月15日 09:03

形式化方法目前来看，还是做research最适合……
yuxc
2011年02月16日 01:25

学长，谢谢你的回复，翻了下你的Blog，发现有篇08年Bond大学的Paddy Krishnan教授招收PHD的文章，我去查了下这个教授现在在做MBT相关的研究，是和Sun公司合作的。能介绍下这个教授么？
Huang
2011年03月02日 06:31

形式化方法在安全关键领域用得比较多的，比如：航空航天，铁路信号等。我们公司在用形式化方法开发地铁的列车控制系统。
Xiangpeng
2011年03月02日 06:54

是的，我知道铁道部在用形式化方法。航天部门前几年据我所知没有在用，不知道最近有没有改变……国外的应用多一些。
Xiangpeng
2011年03月02日 06:56

我觉得跟他一起工作很happy~具体的研究方向要看你自己的兴趣爱好了。