走向概念建模语义学--对塔斯基真理图式的一种推广
Towards Conceptual Modeling Semantics: Eventizing Tarski's Truth Schema
摘要：
软件工程中的建模语言（例如，UML）是从软件系统建模发展而来的，在软件系统建模中，指称和操作类型的语义是研究和实践的传统主题。根据一些作者，虽然大部分静态语义（例如，UML）似乎已经达成了共识，活动、交互和状态机的动态语义构成了一个重大挑战。语义学的核心是句子与（实际）世界之间的关系。仔细检查建模语言领域中与语义相关的问题以避免可能影响实际适用性的问题是很重要的。在这方面的一个努力是OMG发布的2020年基础UML（fUML）规范草案，其基本语义指定了与传统程序设计语言中的程序相同意义上的可执行。此外，学术界的努力已经寻求开发一种替代方法来使用形式语义（例如，使用罗素的类型理论和塔斯基的声明语义学）。本文旨在开发语义学的类似探索性冒险，只是为了一种更温和的图形建模语言，称为事物机器模型。该模型促进了对仔细审查的建模语言的深入理解，并导致相当富有成效的问题。构建thinging机器模型似乎有助于这一方向的进展，本文的初步结果表明该方法的可行性。
英文摘要：
Modeling languages in software engineering (e.g., UML) evolved from software systems modeling where denotational and operational kinds of semantics are the traditional subjects of research and practice. According to some authors, although a large portion of the static semantics (e.g., UML) seems to have reached a consensus, the dynamic semantics of activities, interactions, and state machines poses a major challenge. Central to semantics is the relationship between a sentence and the (actual) world. Carefully examining semantics-related issues in the modeling languages field to avoid problems that may affect practical applicability is important. One effort in this direction is OMG s release of a 2020 draft specification for Foundational UML (fUML), with the base semantics specifying executions that are executable in the same sense as a program in a traditional programming language. Additionally, efforts within academia have sought to develop an alternative approach to modeling languages using formal semantics (e.g., using Russell s theory of types and Tarski s declarative semantics). This paper aims at a similar exploratory venture of developing semantics, only for a much more modest diagrammatic modeling language, called the thinging machine model. The model promotes a deep understanding of the scrutinized modeling language and leads to considerably fruitful questions. Constructing the thinging machine model seems to facilitate progress in this direction, and the initial results in this paper indicate the viability of the approach.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
