摘要
针对目前企业遗留系统服务化封装的正确性因缺少形式化描述而导致无法验证的不足,在分析 Web 服务描述语言(WSDL)语法规范的基础上,给出了遗留系统的形式化表示和基于数据约束子集的系统分解和封装模型,进一步给出了基于形式化描述的企业遗留系统的服务化封装方法,为系统封装模型的正确性验证提供了形式化基础。上述方法在操作上的可行性在一个应用案例中得到了验证。
Aiming at the problem that present legacy systems' servicetized encapsulation can not be verified due to lack of a formal encapsulation model, this paper proposes a formal description for legacy systems together with a data restriction based fragmentation-encapsulation model based on the analysis of Web service description language (WSDL) syntaxes. A formal servicetized approach that can automatically transform the encapsulation model into WSDL syntaxes is given as well and its implementation feasibility is proved through a real application case study.
出处
《高技术通讯》
EI
CAS
CSCD
北大核心
2008年第10期1059-1065,共7页
Chinese High Technology Letters
基金
863计划(2006AA04Z166
2006AA04Z157)
国家自然科学基金(60674080)资助项目