统一建模语言（UML）为开发高质量的、低成本和耗时少的安全系统提供了很好的机会。

 作为实际行业建模标准，很多开发者在UML方面接受过正规培训。

 与先前一些具有一定用户规模的标记语言相比，UML的定义比较精确。

 现在已经有多种工具提供了使用UML所需的基本功能（如画UML图的工具）.

但为了利用好这个机会，我们也面临着一些挑战：其一，人们需要改写UML，使其适合安全关键系统的应用领域，并推动在这个应用领域内正确使用UML；其二，人们必须开发一些先进的工具，以支持用UML开发安全系统，比如依据安全需求对UML规范进行自动化分析，这就要求解决UML模型语义的灵活性和非二义性之间的矛盾。本书的目标就是克服这些困难。