BriefGPT.xyz
May, 2022
利用本体推理器实现 UML 类、对象和状态图的一致性
Consistency of UML class, object and statechart diagrams using ontology reasoners
HTML
PDF
Ali Hanzala Khan, Ivan Porres
TL;DR
使用逻辑推理器自动分析包含多个类、对象和状态图的UML模型的一致性和可满足性。通过将UML模型转换为OWL 2, 实现了一个工具链，不需要设计者了解OWL 2及其推理器。
Abstract
We propose an automatic approach to analyze the consistency and
satisfiability
of
unified modeling language
uml models
containing multiple
→