针对目前企业遗留系统服务化封装的正确性因缺少形式化描述而导致无法验证的不足,在分析 Web 服务描述语言(WSDL)语法规范的基础上,给出了遗留系统的形式化表示和基于数据约束子集的系统分解和封装模型,进一步给出了基于形式化描述的企...针对目前企业遗留系统服务化封装的正确性因缺少形式化描述而导致无法验证的不足,在分析 Web 服务描述语言(WSDL)语法规范的基础上,给出了遗留系统的形式化表示和基于数据约束子集的系统分解和封装模型,进一步给出了基于形式化描述的企业遗留系统的服务化封装方法,为系统封装模型的正确性验证提供了形式化基础。上述方法在操作上的可行性在一个应用案例中得到了验证。展开更多
为了提高在多种来源之间发现特定服务的效率,结合信息检索技术提出了针对多源Web服务的服务发现方法,有效地克服了不同Web服务发布方式之间服务发现的障碍,综合管理多种Web服务描述及其语义信息,提供了基于语义的服务查询。在分析相关...为了提高在多种来源之间发现特定服务的效率,结合信息检索技术提出了针对多源Web服务的服务发现方法,有效地克服了不同Web服务发布方式之间服务发现的障碍,综合管理多种Web服务描述及其语义信息,提供了基于语义的服务查询。在分析相关研究不足基础上给出了服务发现框架MWSD(multi-source Web service discovery),并介绍了框架中各模块的作用,说明了不同服务描述之间的映射关系。结果表明:MWSD能够自动获取不同来源,不同描述的Web服务信息,并利用不同描述之间的映射关系建立统一的Web服务资源库,管理Web服务的复杂语义,可用于互联网上开放的Web服务发现。展开更多
文摘针对目前企业遗留系统服务化封装的正确性因缺少形式化描述而导致无法验证的不足,在分析 Web 服务描述语言(WSDL)语法规范的基础上,给出了遗留系统的形式化表示和基于数据约束子集的系统分解和封装模型,进一步给出了基于形式化描述的企业遗留系统的服务化封装方法,为系统封装模型的正确性验证提供了形式化基础。上述方法在操作上的可行性在一个应用案例中得到了验证。
文摘为了提高在多种来源之间发现特定服务的效率,结合信息检索技术提出了针对多源Web服务的服务发现方法,有效地克服了不同Web服务发布方式之间服务发现的障碍,综合管理多种Web服务描述及其语义信息,提供了基于语义的服务查询。在分析相关研究不足基础上给出了服务发现框架MWSD(multi-source Web service discovery),并介绍了框架中各模块的作用,说明了不同服务描述之间的映射关系。结果表明:MWSD能够自动获取不同来源,不同描述的Web服务信息,并利用不同描述之间的映射关系建立统一的Web服务资源库,管理Web服务的复杂语义,可用于互联网上开放的Web服务发现。