UML准则和一致性规则的理论分析
A Language-theoretic View on Guidelines and Consistency Rules of UML
摘要：
UML的准则和一致性规则用于控制语言提供的自由度以防止错误。准则用于特定领域（例如，航空电子设备），以建议正确使用的技术。一致性规则用于处理模型中的不一致性。然而，指南和一致性规则对语言的使用非正式的限制，这使得检查变得困难。在本文中，我们考虑这些问题，从语言理论的观点。我们提出了C系统的形式化，简称“形式语言控制系统”。C系统由受控文法和控制文法组成。准则和一致性规则被形式化为控制UML使用的控制语法，即使用UML语法的派生。这种方法可以实现为一个解析器，它可以自动验证XMI格式的UML用户模型上的规则。与相关工作的比较显示了我们的贡献：一个通用的自顶向下和基于语法的方法，在编译时检查语言级的约束。
英文摘要：
Guidelines and consistency rules of UML are used to control the degrees of freedom provided by the language to prevent faults. Guidelines are used in specific domains (e.g., avionics) to recommend the proper use of technologies. Consistency rules are used to deal with inconsistencies in models. However, guidelines and consistency rules use informal restrictions on the uses of languages, which makes checking difficult. In this paper, we consider these problems from a language-theoretic view. We propose the formalism of C-Systems, short for "formal language control systems". A C-System consists of a controlled grammar and a controlling grammar. Guidelines and consistency rules are formalized as controlling grammars that control the uses of UML, i.e. the derivations using the grammar of UML. This approach can be implemented as a parser, which can automatically verify the rules on a UML user model in XMI format. A comparison to related work shows our contribution: a generic top-down and syntax-based approach that checks language level constraints at compile-time.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
