一种应用系统部署体系结构建模和验证方法

摘要

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