统一描述、发现和集成(universal description,discovery and integration,UDDI)协议针对服务质量的扩展使Web服务描述与注册的元数据间存在差异,海量服务的注册不仅破坏UDDI数据的一致性,还使数据关系变得复杂难以维护。该文分析了UDDI元数据模型和Web服务描述语言(Web service description language,WSDL)的元数据拓扑结构,通过扩展WSDL Schema引入服务质量描述元素,从而建立UDDI和WSDL元数据间的一致表述,并通过拓扑矩阵的变换实现WSDL元数据的拓扑关系到UDDI数据空间的映射,不仅可以维护WSDL和UDDI间的数据关系和数据一致性,并且为Web服务的开发和注册提供更加灵活的方式,提高UDDI数据的利用率和共享度。
针对目前企业遗留系统服务化封装的正确性因缺少形式化描述而导致无法验证的不足,在分析 Web 服务描述语言(WSDL)语法规范的基础上,给出了遗留系统的形式化表示和基于数据约束子集的系统分解和封装模型,进一步给出了基于形式化描述的企业遗留系统的服务化封装方法,为系统封装模型的正确性验证提供了形式化基础。上述方法在操作上的可行性在一个应用案例中得到了验证。
