OWL-S过程模型相关论文
由于单个的Web服务已经无法满足服务请求者的复杂功能需求,因此如何将已有的、运行在异构平台的Web服务组合起来,提供给用户更为强......
为了实现OWL-S过程模型正确性的自动化验证,提出了基于进程代数CSP的OWL-S过程模型的语义建模方法,建立了CSP的形式化语义模型,并......
