针对目前企业遗留系统服务化封装的正确性因缺少形式化描述而导致无法验证的不足,在分析 Web 服务描述语言(WSDL)语法规范的基础上,给出了遗留系统的形式化表示和基于数据约束子集的系统分解和封装模型,进一步给出了基于形式化描述的企...针对目前企业遗留系统服务化封装的正确性因缺少形式化描述而导致无法验证的不足,在分析 Web 服务描述语言(WSDL)语法规范的基础上,给出了遗留系统的形式化表示和基于数据约束子集的系统分解和封装模型,进一步给出了基于形式化描述的企业遗留系统的服务化封装方法,为系统封装模型的正确性验证提供了形式化基础。上述方法在操作上的可行性在一个应用案例中得到了验证。展开更多
为了实现生产管理信息系统、计量自动化系统和电力营销系统的企业应用集成,设计了一个基于面向服务架构(service-oriented architeture,SOA)的线损"四分"(分压、分区、分线、分台区)管理信息系统,分别通过可扩展置标语法描述...为了实现生产管理信息系统、计量自动化系统和电力营销系统的企业应用集成,设计了一个基于面向服务架构(service-oriented architeture,SOA)的线损"四分"(分压、分区、分线、分台区)管理信息系统,分别通过可扩展置标语法描述语言(extensible markup language shema definition,XSD)和网页服务描述语言(Web Service Description Language,WSDL)进行线损数据和线损接口封装,实现了一个统一、开放的SOA系统,并通过实例验证了服务调用的平台和语言无关性。展开更多
文摘针对目前企业遗留系统服务化封装的正确性因缺少形式化描述而导致无法验证的不足,在分析 Web 服务描述语言(WSDL)语法规范的基础上,给出了遗留系统的形式化表示和基于数据约束子集的系统分解和封装模型,进一步给出了基于形式化描述的企业遗留系统的服务化封装方法,为系统封装模型的正确性验证提供了形式化基础。上述方法在操作上的可行性在一个应用案例中得到了验证。
文摘为了实现生产管理信息系统、计量自动化系统和电力营销系统的企业应用集成,设计了一个基于面向服务架构(service-oriented architeture,SOA)的线损"四分"(分压、分区、分线、分台区)管理信息系统,分别通过可扩展置标语法描述语言(extensible markup language shema definition,XSD)和网页服务描述语言(Web Service Description Language,WSDL)进行线损数据和线损接口封装,实现了一个统一、开放的SOA系统,并通过实例验证了服务调用的平台和语言无关性。