It's not easy for traditional standards such as STEP to describe product information in a semantic way, andthese limitations result in difficulties in knowledge-based product information integration. In addition, ...It's not easy for traditional standards such as STEP to describe product information in a semantic way, andthese limitations result in difficulties in knowledge-based product information integration. In addition, contemporarycomputing environment needs a Web-based language to describe product information, while STEP standard and itsEXPRESS language have no such features however. The development of Semantic Web is making itself be an impor-tant method to facilitate the knowledge-based information integration. This paper presents a new semantic Web lan-guage, DAML+OIL, and tries to use it to describe product information. It is proved that using DAML+OIL to de-scribe product information is quite a feasible way.展开更多
Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型来可以用来检查、验证Web服务组合以保证组合的正确性。Pi-演算是一种适合于Web服务组合建模的进程代数。本文介绍...Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型来可以用来检查、验证Web服务组合以保证组合的正确性。Pi-演算是一种适合于Web服务组合建模的进程代数。本文介绍了Pi-演算的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范-Web服务商业流程执行语言(Business Process Execution Language for Web Services,BPEL4WS),定义了Pi-演算和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于Pi-演算的形式化模型,最后通过一个案例给出了模型验证的方法。展开更多
文摘It's not easy for traditional standards such as STEP to describe product information in a semantic way, andthese limitations result in difficulties in knowledge-based product information integration. In addition, contemporarycomputing environment needs a Web-based language to describe product information, while STEP standard and itsEXPRESS language have no such features however. The development of Semantic Web is making itself be an impor-tant method to facilitate the knowledge-based information integration. This paper presents a new semantic Web lan-guage, DAML+OIL, and tries to use it to describe product information. It is proved that using DAML+OIL to de-scribe product information is quite a feasible way.
文摘Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型来可以用来检查、验证Web服务组合以保证组合的正确性。Pi-演算是一种适合于Web服务组合建模的进程代数。本文介绍了Pi-演算的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范-Web服务商业流程执行语言(Business Process Execution Language for Web Services,BPEL4WS),定义了Pi-演算和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于Pi-演算的形式化模型,最后通过一个案例给出了模型验证的方法。