论文标题
使用本体论推理器的UML类，对象和Statechart图的一致性
Consistency of UML class, object and statechart diagrams using ontology reasoners
论文作者
论文摘要
我们提出了一种自动方法来分析统一建模语言UML模型的一致性和满足性，其中包含多个类，对象和Statechart图，使用逻辑推理器为Web本体论语言OWL 2。我们描述了如何在OWL 2中翻译UML模型，并且我们提出了一种工具链，该工具链实现了该翻译，该翻译可以与任何标准的适合使用的标准配置的UML模型工具一起使用。所提出的方法的范围有限，但是完全自动的，并且不需要关于猫头鹰2及其推理者的任何专业知识。
We propose an automatic approach to analyze the consistency and satisfiability of Unified Modeling Language UML models containing multiple class, object and statechart diagrams using logic reasoners for the Web Ontology Language OWL 2. We describe how to translate UML models in OWL 2 and we present a tool chain implementing this translation that can be used with any standard compliant UML modeling tool. The proposed approach is limited in scope, but is fully automatic and does not require any expertise about OWL 2 and its reasoners from the designer.
