文件系统与多数据库系统集成是解决多个分布的异构数据源数据共享的必由之路 .本文在对文件系统与多数据库系统集成中的问题进行分析的基础上 ,提出利用可扩展置标语言 XML 来实现文件系统与多数据库系统集成 ,并且提出了一种面向 XML S...文件系统与多数据库系统集成是解决多个分布的异构数据源数据共享的必由之路 .本文在对文件系统与多数据库系统集成中的问题进行分析的基础上 ,提出利用可扩展置标语言 XML 来实现文件系统与多数据库系统集成 ,并且提出了一种面向 XML Schem a的公共数据模型 XIDM.XIDM能较好描述无结构化和半结构化数据的数据 ,建立在一系列 XML 标准的基础上 ,具有较强的实用性和通用性 .文章还对目前 XML 的查询语言进行了讨论 ,确定将扩展的XML - QL作为配合展开更多
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-演算的形式化模型,最后通过一个案例给出了模型验证的方法。展开更多
文摘文件系统与多数据库系统集成是解决多个分布的异构数据源数据共享的必由之路 .本文在对文件系统与多数据库系统集成中的问题进行分析的基础上 ,提出利用可扩展置标语言 XML 来实现文件系统与多数据库系统集成 ,并且提出了一种面向 XML Schem a的公共数据模型 XIDM.XIDM能较好描述无结构化和半结构化数据的数据 ,建立在一系列 XML 标准的基础上 ,具有较强的实用性和通用性 .文章还对目前 XML 的查询语言进行了讨论 ,确定将扩展的XML - QL作为配合
文摘Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型来可以用来检查、验证Web服务组合以保证组合的正确性。Pi-演算是一种适合于Web服务组合建模的进程代数。本文介绍了Pi-演算的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范-Web服务商业流程执行语言(Business Process Execution Language for Web Services,BPEL4WS),定义了Pi-演算和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于Pi-演算的形式化模型,最后通过一个案例给出了模型验证的方法。
