马克·里希特斯；马丁·果戈拉 OCL：语法、语义和工具。 （英语） Zbl 1042.68787号 Clark，Tony（编辑）等人，《OCL的对象建模》。对象约束语言背后的基本原理。柏林：施普林格出版社（ISBN 3-540-43169-1）。莱克特。注释计算。科学。2263, 42-68 (2002). 概要：对象约束语言OCL允许在UML模型上正式指定约束。我们提出了一种基于集合论的OCL形式语法和语义，包括表达式、不变量和前置条件和后置条件。OCL的正式基础使约束的含义精确，并有助于消除歧义和不一致。精确的语言定义也是实现CASE工具的先决条件，CASE工具为UML模型和OCL约束提供了增强的支持。我们对一些OCL工具进行了调查，并对其中一种工具进行了更详细的讨论。支持UML模型和OCL约束验证的USE工具的设计和实现基于本文提出的形式化方法。有关整个系列，请参见[兹伯利0983.68680]. 引用于2文件 MSC公司： 68单位99 计算方法和应用 68甲19 其他编程范式（面向对象、顺序、并发、自动等） PDF格式BibTeX公司 XML格式引用 \textit{M.Richters}和\textit{M.Gogolla}，莱克特。注释计算。科学。2263，42-68（2002；Zbl 1042.68787） 全文： 链接