- 主题:关于Web服务的形式化描述和服务交互的形式化描述
请问，用什么做webservices的形式化描述好呢？
是用传统的离散系统的描述方法，比如自动机或者petri网来描述好呢？
还是用语义网里面的形式化描述好呢？
服务的交互描述呢？
感觉服务的互操作很像工作流的，是不是用petri来描述好一些？
还是采用语义网里面的形式化方法？
开始胡涂了
--
FROM 202.112.253.*
没有什么好坏之分，需要看你描述的内容决定。
【 在 xiaolee (潜水员) 的大作中提到: 】
: 请问，用什么做webservices的形式化描述好呢？
: 是用传统的离散系统的描述方法，比如自动机或者petri网来描述好呢？
: 还是用语义网里面的形式化描述好呢？
: ...................
--
FROM 162.105.104.*
这两种描述有什么侧重马？
目的是验证服务和需求的一致性呢？
对服务交互的描述是为了确保完整性呢？比如排除服务冲突
？
【 在 ldlc (考试) 的大作中提到: 】
: 没有什么好坏之分，需要看你描述的内容决定。
--
FROM 202.112.253.*
进程演算
【 在 xiaolee (潜水员) 的大作中提到: 】
: 请问，用什么做webservices的形式化描述好呢？
: 是用传统的离散系统的描述方法，比如自动机或者petri网来描述好呢？
: 还是用语义网里面的形式化描述好呢？
: ...................
--
FROM 202.119.32.*
Pi演算？
来描述行为和交互？
【 在 collin (我的ID Collinhsu被删了) 的大作中提到: 】
: 进程演算
--
FROM 202.112.253.*