公开(公告)号：CN103257911A

公开(公告)日：2013-08-21

申请号：CN201210032682.5

申请日：2012-02-15

Applicant: 上海大学

Inventor： 高洪皓 ,  缪淮扣 ,  曾红卫 ,  陈圣波 ,  许庆国 ,  孙茂华 ,  严吉皞

IPC: G06F11/26

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

公开(公告)号：CN103257911B

公开(公告)日：2015-12-16

申请号：CN201210032682.5

申请日：2012-02-15

Applicant: 上海大学

Inventor： 高洪皓 ,  缪淮扣 ,  曾红卫 ,  陈圣波 ,  许庆国 ,  孙茂华 ,  严吉皞

IPC: G06F11/26

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