[发明专利]Web应用部署约束自动检测方法

摘要

本发明公开了一种Web应用部署约束自动检测方法，包括以下步骤：1)建立Web应用的部署方案模型D(Ω)＝，Ω为Web应用，U为部署方案的实体集合；R为实体之间的关系集合；2)根据Web应用的部署方案模型，检测应用部署约束。本发明的方法，可以在完成Web应用部署方案模型的设计后，对多种类型、多个层面的部署约束自动实施检测，在检测到当前Web应用对部署约束的违背后，能够自动定位并提示用户进行Web应用部署方案的修改来保证对部署约束的满足，从而确保后续依据部署方案进行部署操作执行的成功，大大提高了Web应用的部署效率和正确性。

主权项

Web应用部署约束自动检测方法，包括以下步骤：1)建立Web应用的部署方案模型D(Ω)＝，其中Ω为Web应用，U为实体集合{u1，…，un}；R为实体之间的关联关系集合{r1，…，rm}；2)根据Web应用的部署方案模型，检测Web应用配置约束：首先确定配置约束模板，第二步建立配置约束模板与部署方案中实体间关联关系的映射mapping(R，CP，α)，CP为配置约束模板，R为关联关系，α为映射操作；第三步遍历部署方案模型D(Ω)，得到关联关系集合R和R所关联的实体集合U，根据映射(R，CP，α)绑定对应的约束模板，将遍历获得的部署方案实例代入各个约束模板，得到当前Web应用部署所需要满足的配置约束集合；第四步将配置约束集合转换为OCL语言形式，采用OCL解析器逐一自动执行验证。