This paper is a sequel to an evolving research project on a diagrammatic methodology called thinging machine (TM). Initially, it was proposed as a base for conceptual modelling (e.g., conceptual UML) in areas such as requirement engineering. Conceptual modelling involves a high-level representation of a real-world system that integrates various components to refine it into a more concrete (computer) executable form. The TM project has progressed into a more comprehensive approach by applying it in several research areas and expanding its theoretical and ontological foundation. Accordingly, the first part of the paper involves enhancing some TM aspects related to structuring events in existence, such as absent events. The second part of the paper focuses on how to classify events and the kinds of relationships that can be recognized among events. The notion of events has occupied a central role in modelling. It influences computer science and such diverse disciplines as linguistics, probability theory, artificial intelligence, physics, philosophy and history. In TM, an event is defined as the so-called thimac (thing/machine) with a time breath that infuses dynamism into the static description of the thimac called a region. A region is a diagrammatic specification based on five generic actions: create, process, release, transfer and receive. The results of this research provide (a) an enrichment of conceptual modelling, especially concerning varieties of existence, e.g., absent events of negative propositions, and (b) a proposal that instead of semantic categorizations of events, it is possible to develop a new type of classification based on graphs grounded on the TM model diagrams.
academicConceptual Modeling and Classification of Events
- 论文ID: 2501.00276
- 标题: Conceptual Modeling and Classification of Events
- 作者: Sabah Al-Fedaghi (Kuwait University)
- 分类: cs.SE (Software Engineering)
- 发表时间: 2025年
- 论文链接: https://arxiv.org/abs/2501.00276
本文是关于图形化方法论"思维机器"(Thinging Machine, TM)的持续研究项目的续篇。TM最初被提出作为概念建模的基础(如概念UML),应用于需求工程等领域。概念建模涉及对现实世界系统的高级表示,整合各种组件并将其细化为更具体的(计算机)可执行形式。TM项目已发展成为一种更全面的方法,通过在多个研究领域的应用并扩展其理论和本体论基础。论文第一部分涉及增强TM在结构化存在事件方面的某些特性,如缺失事件。第二部分关注如何分类事件以及可以识别的事件之间的关系类型。事件概念在建模中占据核心地位,影响计算机科学以及语言学、概率论、人工智能、物理学、哲学和历史等多个学科。在TM中,事件被定义为具有时间特征的"thimac"(thing/machine),它为称为"区域"的静态thimac描述注入动态性。区域是基于五种通用动作的图形化规范:创建、处理、释放、传输和接收。
- 概念建模的挑战: 现有的概念建模方法在处理实体类型、泛化层次、关系类型、属性和基数方面存在困难
- 事件分类的复杂性: 事件概念在多个学科中都占据重要地位,但缺乏统一的分类框架
- 静态与动态建模的割裂: 传统方法难以有效处理静态结构与动态行为之间的关系
- 发展更完善的概念建模方法论,特别是在处理各种存在形式方面
- 提出基于图形结构而非语义分类的新型事件分类方法
- 增强TM模型对复杂现实世界系统的表达能力
- 增强了TM模型的理论基础: 引入了潜在性/现实性的双层结构,采用斯多葛学派的现实模式思想
- 提出了缺失事件的概念: 为负面命题的建模提供了新的理论框架
- 建立了基于图形的事件分类方法: 提出用基于TM模型图的图形分类替代传统的语义分类
- 丰富了概念建模方法: 特别在处理存在的多样性方面,如负面命题的缺失事件
本研究旨在:
- 建立一个统一的概念建模框架,能够处理静态区域和动态事件
- 为各种类型的事件(包括缺失事件)提供形式化表示
- 开发基于图形结构的事件分类系统
Thimac (Thing/Machine): TM模型的基本单元,同时具有事物和机器的双重性质:
- 作为事物:可以被创建、处理、释放、传输和接收
- 作为机器:能够创建、处理、释放、传输和接收其他事物
- Create: 在机器中显露一个事物,即将thimac注册为本体单元
- Process: 事物被改变、处理和检查,但不产生新的thimac
- Release: 事物准备传输到机器外部
- Transfer: 事物跨越边界作为机器的输入或输出
- Receive: 事物到达机器并进入机器内部
- 静态层(潜在性): 区域(Regions) - 描述可能的事件配置
- 动态层(现实性): 事件(Events) - 区域与时间的结合
- 区域和事件在现实中不可分离但不相同
- 区域是事件的静态组成部分,事件是区域在时间中的实现
- 这种关系类似于柏拉图的形式理论,但不需要引入灵魂与形式相遇的概念
- 缺失事件: 建模负面命题的事件
- 例如"约翰不在房间里"表示一个存在的事件,其中约翰作为缺失的子事件
- 缺失事件存在但其区域无法执行动作
- 使用矩形表示thimac
- 用箭头表示动作流
- 圆柱体表示存储
- 虚线箭头表示触发
论文通过多个案例验证TM模型的有效性:
对复杂逻辑表达式 (a ∨ (¬a ∧ b) ∨ c) → d 进行建模,其中:
- a: 计算机在本地网络内
- b: 计算机有有效登录ID
- c: 计算机在管理员使用下
- d: 计算机可访问互联网
对Vendler方案的四种事件类型进行TM建模:
- 活动 (Activities): 如"跑步"、"走路"
- 成就 (Accomplishments): 如"跑一英里"、"画一幅画"
- 瞬时事件 (Achievements): 如"约翰吻玛丽"
- 状态 (States): 如"在船上"、"爱"
- 静态模型: 展示thimac之间的结构关系
- 动态模型: 显示事件的时序执行
- 事件年表: 描述事件的时间顺序
- 时序图: 指定事件持续时间的扩展
TM模型成功地为各种类型的事件提供了统一的表示框架,包括:
- 传统的正面事件
- 负面命题对应的缺失事件
- 复杂的复合事件
通过对多种事件分类方案的建模验证,证明了基于图形结构的分类方法的可行性:
- 活动和成就之间的结构差异主要体现在隐式终止条件的规范上
- 不同事件类型可以通过图形的拓扑特征进行区分
成功建模了各种负面表达,如:
- "假金"作为金属事物但缺失"金"属性的事件
- "约翰不在房间"作为房间事件中约翰的缺失子事件
通过对网络访问控制逻辑的建模,展示了TM如何处理:
该案例包含15个标记点,完整描述了从计算机到互联网以及从互联网到计算机的双向通信验证过程。
对"Terry建造房子"的建模显示了TM如何区分:
- 初始概念(E1): Terry的存在
- 项目启动(E2): 房子作为未完成项目的存在
- 建造过程(E3-E5): 持续的建造和完成检查
- 最终状态(E6): 完成的房子
- Whitehead: "一切都是事件,世界由事件构成"
- Aristotle: 区分状态和事件,事件的终点和持续过程
- Vendler方案: 四种动词类型的分类框架
- UML: 作为概念建模语言的局限性
- 实体关系模型: 在处理动态行为方面的不足
- 时态逻辑: TimeML等规范语言的发展
相比现有方法,TM模型的优势在于:
- 统一的thing/machine双重性质
- 静态/动态的明确分离
- 对负面事件的形式化处理
- 理论贡献: TM模型为概念建模提供了更丰富的理论基础,特别是在处理存在的多样性方面
- 方法论创新: 提出了基于图形结构而非语义分类的新型事件分类方法
- 实用价值: 通过多个案例验证了TM模型在复杂系统建模中的有效性
- 复杂性: TM图形可能变得非常复杂,影响实际应用的可读性
- 工具支持: 缺乏成熟的工具支持来自动生成和验证TM模型
- 经验验证: 需要更多大规模实际项目的验证
- 图论基础: 基于图论(如线性图、反射图)开发结构化的分类系统
- 工具开发: 开发支持TM建模的自动化工具
- 应用扩展: 将TM方法应用到更多领域,如人工智能和数据科学
- 理论深度: 论文提供了深厚的哲学和本体论基础,特别是对存在性和缺失性的处理
- 方法创新: TM模型的双重性质(thing/machine)和双层结构(静态/动态)提供了新的建模视角
- 实例丰富: 通过多个详细案例展示了方法的适用性和有效性
- 跨学科整合: 成功整合了哲学、逻辑学和计算机科学的概念
- 表示复杂: TM图形在处理复杂系统时可能变得难以理解和维护
- 缺乏量化评估: 论文主要通过定性分析验证方法,缺乏量化的性能评估
- 工程实践: 从理论到实际软件工程实践的转化路径不够清晰
- 对比分析: 与现有概念建模方法的系统性对比分析不足
- 学术价值: 为概念建模领域提供了新的理论视角,特别是在事件建模方面
- 实用潜力: 在需求工程、系统分析等领域具有应用潜力
- 方法论贡献: 基于图形的分类方法可能启发其他建模领域的发展
- 复杂系统建模: 特别适合需要处理静态结构和动态行为的系统
- 需求工程: 在需求分析和规范阶段提供更精确的表示方法
- 事件驱动架构: 为事件驱动系统的设计提供理论基础
- 知识表示: 在人工智能的知识表示领域具有应用价值
论文引用了27篇重要文献,涵盖:
- 概念建模理论 (Rosenthal et al., 2023)
- 事件本体论 (Casati & Varzi, 2014; Whitehead, 1964)
- 时态逻辑 (Pustejovsky et al., 2022)
- 哲学基础 (Heidegger, Aristotle相关研究)
- 作者前期工作 (Al-Fedaghi系列论文)
本论文为概念建模领域提供了创新的理论框架和方法论,虽然在工程实践方面仍需进一步发展,但其理论贡献和跨学科整合的特点使其具有重要的学术价值和应用潜力。