请问，用什么做webservices的形式化描述好呢？
是用传统的离散系统的描述方法，比如自动机或者petri网来描述好呢？
还是用语义网里面的形式化描述好呢？

服务的交互描述呢？
感觉服务的互操作很像工作流的，是不是用petri来描述好一些？
还是采用语义网里面的形式化方法？

开始胡涂了
--
FROM 202.112.253.*