基于本体推理机的 UML 类图、对象图与状态图一致性分析
人工智能
2022-05-24 v1 计算与语言
软件工程
摘要
我们提出一种自动方法，利用面向网络本体语言 OWL 2 的逻辑推理机来分析包含多个类图、对象图和状态图的统一建模语言 UML 模型的一致性与可满足性。我们描述了如何将 UML 模型转换为 OWL 2，并给出了实现该转换的工具链，其可与任何符合标准的 UML 建模工具配合使用。所提方法在范围上有限，但完全自动，且不需要设计者具备关于 OWL 2 及其推理机的任何专业知识。
引用
@article{arxiv.2205.11177,
title = {Consistency of UML class, object and statechart diagrams using ontology reasoners},
author = {Ali Hanzala Khan and Ivan Porres},
journal= {arXiv preprint arXiv:2205.11177},
year = {2022}
}