将OCL和UML与设计模式一起使用

Question

是否有人尝试为具有构造型和OCL约束的设计模式创建UML配置文件？我正在尝试为Singleton模式创建一个但不确定如何以及从何处开始......

Answer 1

这将很困难：很多时候设计模式需要查看对象的使用方式，例如Singleton模式。但主要是对象使用会发生INSIDE方法（对于Singleton，例如[缺少]构造函数调用）。但是，方法体通常不用UML建模。

Answer 2

明显的问题是“为什么？”

您是否正在尝试正式描述模式？或者将它们用作架构的构建块？还有别的吗？

如果是正式描述那么你可能不需要刻板印象。使用标准类图（根据本书）对结构建模，然后使用OCL中的前置条件和后置条件对方法行为进行形式化。

有一些关于使用OCL（只是谷歌）形式化模式的论文。另一个好的来源是this book。虽然基于埃菲尔，但它使用方法的前后条件来规范所有GoF模式。 （链接上提供所有源代码）。

第h

Answer 3

关于模式形式化的论文很多，但是大多数都缺少一个或另一个，或者太复杂而不实用。但是如果你想尝试OCL会帮助你很多。例如，要指定单例模式，您只需要获取给定类的所有实例并对其进行计数。如果你把它变成一个类的不变量，你很容易得到单身。