☆─────────────────────────────────────☆
xiaolee (潜水员) 于 (Sun Sep 12 20:05:31 2004) 提到:
请问，用什么做webservices的形式化描述好呢？
是用传统的离散系统的描述方法，比如自动机或者petri网来描述好呢？
还是用语义网里面的形式化描述好呢？
服务的交互描述呢？
感觉服务的互操作很像工作流的，是不是用petri来描述好一些？
还是采用语义网里面的形式化方法？
开始胡涂了
☆─────────────────────────────────────☆
ldlc (考试) 于 (Mon Sep 13 09:51:11 2004) 提到:
没有什么好坏之分，需要看你描述的内容决定。
【 在 xiaolee (潜水员) 的大作中提到: 】
: 请问，用什么做webservices的形式化描述好呢？
: 是用传统的离散系统的描述方法，比如自动机或者petri网来描述好呢？
: 还是用语义网里面的形式化描述好呢？
: ...................
☆─────────────────────────────────────☆
xiaolee (潜水员) 于 (Mon Sep 13 10:22:39 2004) 提到:
这两种描述有什么侧重马？
目的是验证服务和需求的一致性呢？
对服务交互的描述是为了确保完整性呢？比如排除服务冲突
？
【 在 ldlc (考试) 的大作中提到: 】
: 没有什么好坏之分，需要看你描述的内容决定。
☆─────────────────────────────────────☆
collin (我的ID Collinhsu被删了) 于 (Tue Sep 14 00:08:18 2004) 提到:
进程演算
【 在 xiaolee (潜水员) 的大作中提到: 】
: 请问，用什么做webservices的形式化描述好呢？
: 是用传统的离散系统的描述方法，比如自动机或者petri网来描述好呢？
: 还是用语义网里面的形式化描述好呢？
: ...................
☆─────────────────────────────────────☆
xiaolee (潜水员) 于 (Wed Sep 15 09:07:34 2004) 提到:
Pi演算？
来描述行为和交互？
【 在 collin (我的ID Collinhsu被删了) 的大作中提到: 】
: 进程演算