基于单范畴本体的事件概念建模

在先前的工作中，我们提出了一种称为物化机（TM）的单范畴（名为 thimac）概念模型，该模型在不丢失概念建模中图解直觉宝贵方面的情况下，整合了静态性（如对象）和动态性（如事件）。我们曾提议将 TM 应用于软件工程中的概念建模（例如，在作为概念建模语言的 UML 层面或之上）。在本文中，为了展示这种在软件工程中的应用，我们首先给出一个图书馆服务系统的完整高层描述，以证明 TM 的适用性。此外，我们探索了 TM 的特性，着重于将 thimac 实现为事件。目的是通过将 TM 概念与相关领域中的用法进行对比，来加深对它们的理解。事件的概念在哲学、语言学、文学理论、概率论、人工智能、物理学和历史学等众多研究领域中扮演着重要角色。TM 事件是一个静态的 thimac，它带有一个时间呼吸（时间子 thimac），该时间呼吸将动态性注入 thimac。它源于 TM 的静态区域如何被时间所感染。这种观点与某些哲学和语言学对事件的定义（例如，怀特海的经验单元）形成了对比。我们还在本研究中提出了一些有趣的问题（例如，事件运动）。