Many Domain-Specific Modeling Languages (DSML) cannot formally define their semantics, leading to difficulties in identifying user-defined domain constraints. In this study, we propose a user-defined mechanism of domain constraints based on the formalization of structural semantics of DSML. First, we formally define concepts and decision methods of consistency and validity of domain constraints. Subsequently, we establish concepts and reasoning methods of domain-based model consistency. Thus, several domain constraint instances are defined and different models instances’ consistency are reasoned based on formalization of software architecture domain metamodel to illustrate our approach. Finally, our formal definition mechanism of domain constraint is added to our automatic translator for formalizing DSML and its models to automatically reason about domain constraints built based on DSML.

中文翻译：

---

一种为特定领域建模语言定义领域约束的方法

许多领域特定建模语言 (DSML) 无法正式定义其语义，导致难以识别用户定义的领域约束。在这项研究中，我们提出了一种基于 DSML 结构语义形式化的用户定义域约束机制。首先，我们正式定义了域约束的一致性和有效性的概念和决策方法。随后，我们建立了基于领域的模型一致性的概念和推理方法。因此，定义了几个域约束实例，并基于软件架构域元模型的形式化来推理不同模型实例的一致性，以说明我们的方法。最后，