UML指南与一致性规则的语言理论视角
软件工程
2009-05-15 v1 形式语言与自动机理论
摘要
UML的指南和一致性规则用于控制语言提供的自由度，以防止错误。指南在特定领域（例如航空电子）中使用，以推荐技术的正确使用。一致性规则用于处理模型中的不一致性。然而，指南和一致性规则对语言的使用施加了非正式的限制，这使得检查变得困难。在本文中，我们从语言理论的角度考虑这些问题。我们提出了C-Systems的形式化方法，即“形式语言控制系统”的简称。一个C-System由一个受控文法和一个控制文法组成。指南和一致性规则被形式化为控制文法，用于控制UML的使用，即使用UML文法的推导。这种方法可以实现为一个解析器，它可以在XMI格式的UML用户模型上自动验证规则。与相关工作的比较显示了我们的贡献：一种通用的、自顶向下的、基于语法的方法，用于在编译时检查语言级别的约束。
引用
@article{arxiv.0905.2367,
title = {A Language-theoretic View on Guidelines and Consistency Rules of UML},
author = {Zhe Chen and Gilles Motet},
journal= {arXiv preprint arXiv:0905.2367},
year = {2009}
}
备注
16 pages. In Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA 2009), Enschede, The Netherlands, Lecture Notes in Computer Science 5562, pp. 66-81. Springer, 2009