[发明专利]一种应用系统部署体系结构建模和验证方法

摘要

本发明提出一种应用系统部署体系结构建模和验证方法，属于电子信息技术领域。包括：步骤一：分析应用系统体系结构的部署需求，形成应用系统访问路径规划列表和应用系统体系结构部署规划图；步骤二：自底向上对四层树形结构的应用系统部署体系结构进行建模；步骤三：由设备类型服务调用图自动生成期望性质公式；步骤四：对建立的应用系统部署体系结构模型的连通性进行验证；步骤五：对路径上相邻设备类型进行互操作性验证；步骤六：结合连通性验证和设备互操作性验证结果。本发明采用高阶类型化应用系统体系结构建模和验证语言，结合模型驱动的软件工程中已有的方法和工程技术，逐层建模，在建模过程中可即时反映需求的完整性。

主权项

1.一种应用系统部署体系结构建模和验证方法，其特征在于，对面向部署的应用系统执行如下步骤：步骤一：分析应用系统体系结构的部署需求，形成应用系统的访问路径规划列表和体系结构部署规划图；应用系统的体系结构部署规划图包括应用系统的构成设备以及设备之间的连线；将应用系统部署体系结构的需求自顶向下分为应用系统、设备、功能类型以及设备功能四层树形结构，并进行统一编码；将应用系统体系结构部署规划图生成设备类型服务调用图，并转化为相同语义的XML文件，得到设计要求；步骤二：自底向上对四层树形结构的应用系统部署体系结构进行建模，依次为基本数据类型层、基本接口类型层、设备类型层和体系结构框架类型层；建模时，根据设备类型服务调用图，生成各层的类型以及类型关系，并自动生成相对应的类型规则；构建基本数据类型层时，遍历应用系统的软硬件，获得数据类型、扩展的数据类型和带标签的类型映射，构建类型关系，自动生成类型规则；其中，每一个设备功能定义为一个带标签的类型映射，每一个带标签的类型映射由标签名称以及输入参数到输出参数的映射构成；构建基本接口类型层时，将每一个功能类型定义成一个基本接口类型，每个基本接口类型由类型变量、成员变量类型和函数类型构成，函数类型是基本数据类型层中的一组带标签的类型映射，类型变量是指带标签的类型映射中包含的类型变量，成员变量类型是根据带标签的类型映射中的调用关系所添加的数据类型；根据定义自动生成基本接口类型，构建类型关系及对应的类型规则；构建设备类型层时，每个设备类型由一组基本接口类型聚合得到，与需求设计中的设备相对应，自动生成类型间的关系及类型规则，设备类型层中存在的类型关系有：设备类型与基本接口类型的聚合关系，包含同一个基本接口类型的设备类型之间的关联关系；构建应用系统体系结构框架类型层时，每个结构框架类型包含一组设备类型，与需求设计中的应用系统相对应，自动生成类型关系和规则，应用系统体系结构框架类型层中存在的类型关系有：结构框架类型与设备类型的聚合关系，包含同一个设备类型的结构框架类型之间的关联关系；步骤三：由设备类型服务调用图，将应用系统的访问路径规划列表中的路径对应为一组设备类型序列，得到的所有的设备类型序列及其类型关系作为模型所需满足的期望性质公式；步骤四：通过对期望性质公式里每个逻辑单元中的连通关系进行判定，来对构建的应用系统部署体系结构模型的连通性进行验证；步骤五：对期望性质公式里每个逻辑单元中的可调用关系进行判定，来对路径上相邻设备类型进行互操作性验证，进而判断所构建的应用系统部署体系结构模型是否具备部署的互操作性需求；步骤六：结合连通性验证和设备互操作性验证结果，若每一条路径的连通性验证和互操作性验证均通过，则判定所构建的应用系统部署体系结构模型满足该应用系统面向实际部署的需求，如果存在验证不通过的路径，则根据验证过程找到错误结点以及原因，对模型进行修改。