基于系统模型的建模语言语义定义
System Model-Based Definition of Modeling Language Semantics
摘要：
在本文中，我们提出了一种方法来定义面向对象建模语言的语义。这种语义的一个重要属性是支持未指定和不完整的模型。为此，语义被赋予作为语义域的元素上的谓词。这个领域被称为系统模型，它是对象系统的一般声明性表征。系统模型非常详细，因为它捕获了各种相关的结构、行为和交互方面。这允许我们将系统模型作为各种面向对象建模语言的域进行重用。作为一个主要的结果，语言语义的集成是直接的。整个方法都得到了工具的支持，这些工具不限制语义定义的表达能力和灵活性，同时使其可通过机器检查。
英文摘要：
In this paper, we present an approach to define the semantics for object-oriented modeling languages. One important property of this semantics is to support underspecified and incomplete models. To this end, semantics is given as predicates over elements of the semantic domain. This domain is called the system model which is a general declarative characterization of object systems. The system model is very detailed since it captures various relevant structural, behavioral, and interaction aspects. This allows us to re-use the system model as a domain for various kinds of object-oriented modeling languages. As a major consequence the integration of language semantics is straight-forward. The whole approach is supported by tools that do not constrain the semantics definition's expressiveness and flexibility while making it machinecheckable.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
