领域模型表示-形式化本体与代码

Question

免责声明:我构建领域模型的经验有限，这纯粹是出于兴趣而被问到的。

我最近偶然发现了用本体论本体论表示数据模型的概念。这似乎是一个很好的方法来指定一个组织的软件系统所使用的领域模型。

我的问题是：

1. 是否值得以本体等格式正式指定域模型？例如，我读过“复杂的知识系统”，如生物医学编目软件使用它们，但对于一个典型的商业应用程序来说，它们会不会是太多的额外工作？
2. 如果没有一个独立于软件的域模型的表示，这通常是更好的实践吗？也就是说，让软件成为领域模型的唯一真实来源。

Answer 1

我不会重复前一个答案中提出的优秀观点，但我想补充一点，连接软件工程(SE)和本体-工程(OE)鸿沟的一个基本挑战是前者一般是封闭世界假设，后者是开放世界假设。

考虑这一点的一种方法是OE/OWL等主要关注于表示世界的结构，而SE/UML等则是关于数据和代码的结构。

作为一个实用的例子:本体论可能说每个人都有两个亲生父母；将其强制为封闭世界基数约束的数据模型将是不切实际的，因为数据库需要递归地填充父母、祖先等(因为在CWA下，保留此空将是一种违反约束的行为)。

这只是一个非常微妙的领域的一个方面，有大量的文献，研讨会等。你也可能对W3C本体驱动的体系结构文档感兴趣。对于一个快速的概述，我认为这些幻灯片是有用的。