有向无环图的约束怎么表达-《分析模式》漫谈39

DDD领域驱动设计批评文集

做强化自测题获得"软件方法建模师"称号

《软件方法》各章合集

"Analysis Patterns"的第3章的图3.10,原图如下:

2004和2020中译本都只是翻译了文字,在2024中译本中,我们先照猫画虎用UML改编如下:

但还有一个问题没有解决,在"观察概念"的自反关联中,Fowler标了一个[dag]:

DAG即有向无环图(Directed Acyclic Graph),意思是"观察概念"自反关联组成的对象图应该是一个有向无环图,像下面这样:

这个约束是为了防止出现某个实例的超类型直接或间接地又把该实例作为超类型。

之所以是有向无环图,是因为"超类型"一端的多重性可以为"多",如果最多为1,那就是一棵有向树,例如:

虽然Fowler在附录中有说明,[dag]是类别图的一个约束标记,但这样表示是不严谨的。

之前漫谈文章中评点过图3.5,图上也放了一个标记[bag]:

这是可以的,因为它约束的是某个"复合单位"链接到的"原子单位"集合(无序、可重复)。

而本文开头图3.10中的[dag]并不是对某个"观察概念"的"超类型"集合的约束,而是描述存在图中所定义自反关联的所有"观察概念"以及它们之间的链接所形成的图,在"超类型"那里简单这样标一下是不合适的。

如果想更严谨地表达这个约束,可以用OCL,如下:

意思是,对于任何一个"观察概念",不允许出现这样的情况:求它的"超类型"闭包所得的"观察概念"集合中包含它自己。

最后得到的图3.10如下:

相关推荐
FAREWELL000756 小时前
C#核心学习(二)面向对象——封装(1)成员变量与成员方法
学习·c#·面向对象·oop·成员变量和成员方法
Jayden16 小时前
Spring Boot 实战:DDD 分层架构落地全解析
spring boot·ddd·ddd架构·ddd落地
刀法如飞1 天前
Go语言架构实践:从 MVC 到 DDD 的演进之路
go·mvc·领域驱动设计
FAREWELL000752 天前
C#核心学习(一)面向过程与面向对象编程---初识类和对象
学习·c#·面向对象
FreakStudio2 天前
一文速通 Python 并行计算:05 Python 多线程编程-线程的定时运行
单片机·嵌入式·多线程·面向对象·并行计算·电子diy
吴八月3 天前
UML用例图-UML Use Case Diagram
uml
FreakStudio5 天前
一文速通Python并行计算:04 Python多线程编程-多线程同步(上)—基于条件变量、事件和屏障
python·嵌入式·开发工具·面向对象·线程同步·代码阅读·电子diy
FreakStudio6 天前
一文速通Python并行计算:03 Python多线程编程-多线程同步(上)—基于互斥锁、递归锁和信号量
python·嵌入式·多线程·面向对象·并行计算·线程同步·电子diy
郝YH是人间理想6 天前
Python面向对象
开发语言·python·面向对象
FreakStudio9 天前
一文速通Python并行计算:01 Python多线程编程-基本概念、切换流程、GIL锁机制和生产者与消费者模型
python·嵌入式·多线程·面向对象·并行计算·电子diy