[发明专利]一种基于SOA架构的模型检验工具集成方法

摘要

本发明涉及一种基于SOA架构的模型检验工具集成方法，其特征在于：所述的集成方法包括以下步骤：首先配置支持层、之后配置接口层、之后配置发布层、最后配置应用层。本发明的优点是：通过SOA技术将模型检验工具进行集成，提出一种高效、协同、规范、跨平台的集成方法，将封闭、功能单一的模型检验工具服务化，用户无需关心模型检验工具的服务运行在何处、不需要了解模型检验工具的输入模型和待检验性质的语法格式，另外，本方法提高了模型检验工具的使用灵活性，通过XML统一调用方式执行模型检验工具，简化模型检验工具应用的复杂性，提高模型检验工具的可用性范围，促进了模型检验工具在服务计算领域的应用和发展。

主权项

一种基于SOA架构的模型检验工具集成方法，其特征在于所述集成方法由以下步骤依次完成：首先配置支持层，其集成工作包括环境变量配置模块和模型检验工具调用模块两个模块的实现，用于实现模型检验工具与JAVA程序之间的交互；之后配置接口层，其集成工作包括功能接口封装模块、基于模板的代码转化模块和服务器配置模块三个模块的实现，用于将模型检验工具提供的功能进行对象化封装，向外提供服务接口，支持复杂业务逻辑； 之后配置发布层，集成工作包括模型检验工具的服务发布模块和模型检验工具的服务注册模块两个模块的实现，由AXIS容器发布WSDL描述的模型检验工具的服务，同时将服务注册到UDDI注册中心，支持用户检索服务；最后配置应用层，集成工作包括模型检验工具的服务查询模块和模型检验工具的服务调用模块两个模块的实现，用于设置一个用于检索服务的Web门户网站，支持远程调用服务并返回服务执行结果。