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

摘要：

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

关键词：遗留系统、服务、封装、形式化、Web服务描述语言(WSDL)

所属期刊栏目：18

分类号：TP3;P20

资助基金：863计划2006AA04Z166,2006AA04Z157;国家自然科学基金60674080

在线出版日期：2009-02-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：1059-1065