我的理解就是具体的应用逻辑，比如某个web service组合语言bpel4ws所
描述的一个具体实例，就是一个语义？不知道对不对？
关于语义在WebService中的详细定义哪里有说明？
形式化描述中是应该对语义进行描述还是具体的语言？谢谢。
--
FROM 202.119.230.*