论文标题
迈向概念建模的公理基础：一个例子
Towards Axiomatic Foundations for Conceptual Modeling: An Example
论文作者
论文摘要
概念建模是一个强烈的研究领域。尽管存在有关该领域主要思想的公理基础的许多建议，但仍然缺乏理解主要概念，例如系统，过程，事件，数据等。在数字现象的重要性的背景下，我们认为我们的学科需要公理的基础。除了一般的电话外，我们还使用Heraklit提供了一个特定的案例研究。这种建模基础架构涵盖了计算机集成系统的体系结构，静电和动力学。案例研究说明了在实践中具有公理基础良好的概念模型的样子。我们认为，公理基础不仅对理论研究有积极的影响，而且对实证研究有积极的影响，因为例如，假设可以明确测试公理。现在是时候引发有关我们领域的公理基础的讨论了。
Conceptual modeling is a strongly interdisciplinary field of research. Although numerous proposals for axiomatic foundations of the main ideas of the field exist, there is still a lack of understanding main concepts such as system, process, event, data, and many more. Against the background of the tremendously gaining importance of digital phenomena, we argue that axiomatic foundations are needed for our discipline. Besides the general call, we provide a particular case study using HERAKLIT. This modeling infrastructure encompasses the architecture, statics, and dynamics of computer-integrated systems. The case study illustrates how axiomatically well-founded conceptual models may look like in practice. We argue that axiomatic foundations do not only have positive effects for theoretical research, but also for empirical research, because, for instance, assumed axioms can explicitly be tested. It is now time to spark the discussion on axiomatic foundations of our field.
