第三部分 工具支持
第6章 UMLsec的工具支持
正如前几章所述,为了更好地进行实践,拥有一个**的工具支持十分必要。本章将介绍相关背景,以及在开发支持UMLsec的工具过程中获得的一些成果。所开发工具可以用来自动检测UMLsec构造型相关的约束,这是基于所用UML画图工具的输出图XMI来完成的。本章还将描述对UMLsec构造型相关约束实现验证的一种框架,其目标是使UMLsec方法的**用户对自定义构造型的约束实现验证。
此外,我们将研究如何将UMLsec方法与系统运行时对关键**数据的自动化分析相结合。特���是,研究如何构造一种工具,它可以自动检测SAPR/3配置是否满足用UML形式化规范的**策略规则。由于这种工具具备模块化的体系结构与标准化的接口,也适合用来检测其他应用软件中的**约束,例如防火墙或其他访问控制配置等。
*后,我们将给出从UML模型到实现的一些方法。目的是确保基于系统层面的模型化方法所带来的好处可以真正如期地用于被实现的系统中。
……