2006 « 赵翔鹏的Blog

14十/060

视频网站YouTube：无聊时的新去处

无聊时候我会干什么？逛新浪/yjrg/lqqm/solidot……现在又多了一个新选择：YouTube。这里收集各种有趣视频短片，而且速度竟然还挺快——这一点真是出乎意料。就当练习英语吧，这是一个Mac的新广告。

国内好像还没有这种类型的网站。个人感觉，Web 2.0的热潮在国内已经开始退散，VC们大都开始后悔投出的银子了吧？不过，看来在国外大家还是乐此不疲啊。Google花了16亿收购这个网站～$_$

分类: 心情没有评论

4十/060

呼呼大睡的节日

国庆前三天，我每天都睡了超过10个小时。今天依然是十点起床，照照镜子，发现黑眼圈消除了不少，于是决定中午不睡午觉了～

上个月看random的个人文集时，忽然发觉自己早已远离了“enjoy life”的心境了。从奥地利回来之后，忙的程度越来越夸张，被好多人一起催着干活的感觉真是可怕。还好，现在已经完结了一些工作了……

9月30日陪Luis去爬长城。早上7:00就爬起来，出租车换地铁再换大巴，折腾到中午才到长城。坐了奇怪的“滑车”上去，在北京雾蒙蒙的空气中望着一块块人工修复的青砖，感觉比较空白。尽管Luis多次宣称"very impressive"，但我脑子里总是不时冒出lzm在西安作的评价：中国的古迹，比如长城和兵马俑，基本上都是靠人多堆出来的；除了大、多，就没有什么别的特色了。晚上回来堵车，在大巴上睡了一觉之后，发现还在堵。晚上8:00到前门下车，我立刻狂奔至麦当劳，一顿狼吞虎咽之后总算心不慌了……感觉这一天过的不像是出去玩，倒像是在上班。

接着回忆一下这个月。这个学期，每周三上午我都要去圆明园讲操作系统的课，每次4节。第一次站在讲台上的时候稍微有点激动，第二次去的时候就毫无感觉了。发现讲课其实是非常容易的；反正中国学生都不怎么提问题。借着这个机会好好的学习了一下操作系统，发现minix的代码其实也不是很难懂，发现unix编程还是挺好玩的，还发现zglin在这方面真是无所不知啊……

很不想去追逐更快的毕业，更早的工作之类的事情。早一年和晚一年，有什么区别吗？换一个新地方，就必需尽力的工作去证明自己的能力，从我兼职上班的经历来看，上班实在是太累了。现在的生活其实很好，为什么我一定要提前再提前呢？

分类: 心情没有评论

15九/060

back from Europe

#isubb#照了挺多的照片: [URL=http://www.flickr.com/photos/xpzhao/ ]http://www.flickr.com/photos/xpzhao/ [/URL]

如果有空就写一点游记～不过最近是没空了……

分类: 心情没有评论

4九/060

I am in munich!

will go back to vienna tonight... very nice city, very nice weather...

分类: 心情没有评论

22八/060

忙啊

好久好久没有更新blog了……最近在写程序，写slides，想paper，想开题，反正就是没有空了：（

暑假好快就要过去了，下个月要先去开会，今天查了下日程，wsfm竟然我是第一个报告，仅次于Aalst老大的invited talk，晕啊，决定还是用latex写幻灯片，放弃用ppt偷懒的想法……还是bpm的那篇比较轻松。

开学之后还要给文理学院讲操作系统的课，还得花点时间准备。还是挺好的机会，万一将来要教书的话，这也是点经验啊。

在老板去美国开会之前跟老板讨论了一次，开题还是做web service上的verification相关的东西吧。

还有一点有趣的事，在网上定了db的火车票（88.8欧，好贵啊），竟然给免费邮寄到北京，等着了～

分类: 心情没有评论

17六/060

“Life after BPEL”阅读笔记

#isubb#

今天读了WMP van der Aalst的"Life after BPEL"。先说BPEL跟他们提出的workflow patterns相比，BPEL还差了好几条没法表达；然后提出了一些需要解决的chanlleges，比如bpel的形式化分析，choreography，conformance的概念等等。

这篇文章还是延续了Aalst强悍的文风：

他们认为，作为一个abstract process建模的语言，BPEL是失败的，因为bpel总是从同一个role的角度看问题。(In our opinion BPEL failed as a language
for modeling abstract processes. Moreover, a BPEL specification is always given
from the viewpoint of one of the interacting partners.)

那么，WS-CDL总算是从全局角度看问题的，应该可以了吧？不，Aaslt先批评说CDL废话太多太烦琐(Unfortunately,
like most standards in the web services stack, the language is verbose
and complex.)，然后说，CDL的问题是"not declarative"。也就是说，CDL里不应该有sequence，choice这样的控制结构……(The main problem
is that WS-CDL is not declarative. A choreography should allow for the specification
of the “what” without having to state the “how”. This is similar to
the difference between a program and its specification. One can specify what an
ordered sequence is without specifying an algorithm to do so!)

其实我也同意CDL是一个挺烂的语言，特别是它的规范。。。不过我觉得一个declarative的choreography语言也不能解决什么问题。

Aalst然后又说，他们已经有一个"more theoretical approach to the problem"，见文章Inheritance of Interorganizational Workflows: How to agree to disagree without loosing control。大概的意思是先设计整体的choreography，然后投影到每个role上，这样就肯定保证生成的orchestration跟choreography一致……哎，其实也没有提出什么好办法吗。

这篇文章里面还列举了好多bpel形式化的工作。比较有趣的一篇是他们用petri-net做了一个完整的bpel语义：Formal Semantics and Analysis of Control Flow in WS-BPEL，第一作者还是个中国人。他们也考虑了fault handler中又出错，compensation中又compensate等细节问题。只不过语义部分那一堆堆的括号足以让我放弃看懂它的念头。

他们提供的BPEL2PNML工具值得试一试，看看它到底达到工业实用的程度了没有？

BPM reports这里放了Aalst他们研究组的大部分文章，因为是report，所以都比较新。

分类: BPEL和CDL 没有评论

13六/060

中了两篇

#isubb#一个月中了两篇sci，真是出乎意料啊。分别是[URL=http://bpm2006.tuwien.ac.at/]bpm2006[/URL]和[URL=http://www.cs.unibo.it/projects/ws-fm06/submission.htm]WSFM2006[/URL]。

但是中了paper之后就更觉得写paper是一种灌水劳动了……

btw,这个月报名参加了[URL=http://www-900.ibm.com/cn/software/websphere/events/soacontest/]ibm的soa比赛[/URL]，这是我们team的博客[URL=http://soacontest.blog.edu.cn]http://soacontest.blog.edu.cn[/URL]。还学了点jsp和struts，感觉还是asp.net比较简单好用啊。

现在处于一种郁闷的状态，觉得写paper暂时做不出特别有意义的东西来，而写程序又比较烦琐……

分类: 心情没有评论

1六/060

流水一日

#isubb#上午考试，英语影视听说，role play做的不错，老师表扬了一下，但是笔试部分还是挺难的……

下午睡醒后改了一下uml consistency论文，后来开始看conformance的paper，找到几篇新的paper，它们的conformance概念都各不相同。有的是定义成两个bpel之间的精化，有的是抽象process和具体运行的log sequence之间的一致性，跟我们以前考虑的都不一样。

晚上看未名上bravezealot的个人文集，网络实验室的牛人啊，做了很多项目，还懂n多ibm的技术……听说最后去了微软。感觉自己学的东西太学术化了……都没有做什么实用性的项目。需要从找工作的角度改变一下自己关注的东西了。

明天计划好好看看soa大赛的内容。让我很郁闷的是，昨天报名之后现在还没有收到任何回信。现在继续看论文～～

分类: 心情没有评论

1六/060