The Object Constraint Language Second Edition, Getting Your Models Ready for MDA, by Jos Warmer and Anneke Kleppe.
The Object Constraint Language Second Edition, Getting Your Models Ready for MDA, by Jos Warmer and Anneke Kleppe.
复制标题
对象约束语言第二版，让您的模型为 MDA 做好准备，作者：Jos Warmer 和 Anneke Kleppe。
DOI：
10.5381/jot.2003.2.6.r1
复制
发表时间：
2003
期刊：
影响因子：
--
通讯作者：
C. Ashbacher
中科院分区：
文献类型：
--
作者：
C. Ashbacher
作为一名数学家，我一直被对象约束语言 (OCL) 的更正式的编程方法所吸引。有了它，您可以对代码执行之前必须正确的内容以及代码运行后保证正确的内容进行精确的数学描述。鉴于数学符号的简洁性，OCL 表达式也可以多次替换注释中的文本。统一建模语言 (UML) 和 OCL 的组合是一种强大的组合，允许您精确描述代码预期执行的操作。然而，OCL 与其他形式数学语言不同，它必须根据新的代码创建方式进行更改。
As a mathematician, I have always been drawn to the more formal programming methods of the Object Constraint Language (OCL). With it, you can place precise mathematical descriptions of what must be true before the code executes and what is guaranteed to be true after the code has run. Given the concise nature of mathematical notation, the OCL expressions also can replace many times their text in comments. The combination of Unified Modeling Language (UML) and OCL is a powerful one, allowing you to precisely describe the actions that code is expected to perform. However, the OCL is unlike other formal mathematical languages in that it must change in response to new ways of creating code.