《GJJ-004 分析模式及实现》，umlchina.com/url/video.html

原图6.25

EA绘制

图6.29 对应账户。

PlantUML

@startuml

skinparam nodesep 120

skinparam ranksep 100

class 账户 {

--

<i>constraints</i>

{传递: 对应账户s = 对应账户s->closure(对应账户s)}

{对称: 对应账户s->forAll(a | a.对应账户s->includes(self))}

}

class 损益表账户

class 资产负债表账户

class 当事者

损益表账户 --|> 账户

资产负债表账户 --|> 账户

账户 "0..*" -- "0..*\n-对应账户s" 账户

账户 "0..*" -- "1\n-分类者" 当事者

资产负债表账户 "0..*" -- "1\n-所有者" 当事者

@enduml

原图6.30

EA绘制

图6.30 特化账户模型以支持存货。

要在特定领域使用会计模型，就应该做这种特化。

PlantUML

@startuml

class 地点

class 账户

class 持仓

class 条目类型

class 分录 {

- 数额: 数量

}

class 会计事项 {

--

<i>constraints</i>

{分录s->sum(e | e.数额)=0}

}

class 存货分录 {

--

<i>constraints</i>

{条目类型 = 账户.条目类型}

}

class 转移 {

--

<i>constraints</i>

{分录s->forAll(e1, e2 | e1.条目类型 = e2.条目类型)}

}

持仓 --|> 账户

存货分录 --|> 分录

转移 --|> 会计事项

地点 "1" -- "0..*" 持仓

持仓 "0..*" -- "1" 条目类型

账户 "1" -- "0..*" 分录

分录 "2..*\n-分录s" -- "1" 会计事项

存货分录 "0..*" -- "1" 条目类型

@enduml

原图6.31

EA绘制

图6.31 典型的酬金/支出账户结构。

粗边框图标是明细账户，按箭头所示汇总。

PlantUML

@startuml

object "ACM: 汇总账户"

object "Megabank: 汇总账户"

object "ACM酬金: 明细账户"

object "ACM支出: 明细账户"

object "Megabank支出: 明细账户"

object "Megabank酬金: 明细账户"

object "支出: 汇总账户"

object "酬金: 汇总账户"

"ACM酬金: 明细账户" --> "ACM: 汇总账户"

"ACM支出: 明细账户" --> "ACM: 汇总账户"

"Megabank支出: 明细账户" --> "Megabank: 汇总账户"

"Megabank酬金: 明细账户" --> "Megabank: 汇总账户"

"ACM支出: 明细账户" --> "支出: 汇总账户"

"Megabank支出: 明细账户" --> "支出: 汇总账户"

"ACM酬金: 明细账户" --> "酬金: 汇总账户"

"Megabank酬金: 明细账户" --> "酬金: 汇总账户"

@enduml

原图6.32

EA绘制

图6.32 允许多个汇总账户。

这个图用有向无环图替换了图6.5的层级结构。

（译注：和图6.5相比，变化只是汇总账户关联端的多重性从1变为多，此时得到的结果为有向无环图。原图上标注的hierarchy（层级结构）、DAG（有向无环图）严格来说只是从某个视角希望（YiYin）看到的结果，不是用类的属性来描述的约束。）

PlantUML

@startuml

skinparam nodesep 120

skinparam ranksep 100

class 账户

class 汇总账户

class 明细账户

class 分录

class 会计事项

汇总账户 --|> 账户

明细账户 --|> 账户

汇总账户 "0..*" -- "0..*\n-组件s" 账户

账户 "1" --> "0..*«abstract»\n-分录s" 分录

明细账户 "1" -- "0..*\n-分录s" 分录

分录 "2..*" -- "1" 会计事项

note bottom of 汇总账户

Invariant

{ not 组件s->closure(c | c.组件s)->includes(self)}

end note

@enduml