服务环境下基于数据约束的遗留系统形式化封装

摘要

针对目前企业遗留系统服务化封装的正确性因缺少形式化描述而导致无法验证的不足,在分析Web服务描述语言(WSDL)语法规范的基础上,给出了遗留系统的形式化表示和基于数据约束子集的系统分解和封装模型,进一步给出了基于形式化描述的企业遗留系统的服务化封装方法,为系统封装模型的正确性验证提供了形式化基础.上述方法在操作上的可行性在一个应用案例中得到了验证.