Verification of fuzzy UML models with fuzzy Description Logic
Verification of fuzzy UML models with fuzzy Description Logic
复制标题
用模糊描述逻辑验证模糊 UML 模型
DOI：
10.1016/j.asoc.2018.08.025
复制
发表时间：
2018-12
影响因子：
8.7
通讯作者：
Cheng Jingwei
中科院分区：
文献类型：
--
作者：
Zhang Fu;Cheng Jingwei
引入了模糊UML模型，以便在许多应用程序中对不精确的数据进行概念建模。如何通过验证模糊UML模型的正确性，在建模过程中尽可能早地预防、检测和纠正错误是需要的。但人工验证模型的正确性是困难的。由于模糊描述逻辑（dl）的有效推理服务，它们被认为是支持模糊UML模型验证的自然候选者。在本文中，我们提出了一种用模糊dl验证模糊UML模型的完整而实用的方法。详细地，我们首先提出了一种将模糊UML模型转换为模糊DL知识库的方法。然后将模糊UML模型的验证任务进一步简化为转换后的模糊DL知识库的推理问题。验证了该方法的正确性，并给出了一个运行实例来详细说明该方法。最后实现了一个将模糊UML模型转换为模糊DL知识库的原型。实例研究表明，该方法是可行的，原型翻译器实际运行良好。通过我们的方法和工具，可以将转换后的模糊DL知识库和推理任务输入到现有的模糊DL推理器中，推理器报告的推理结果可以传递给设计者，从而提高模糊UML模型的质量。
The fuzzy UML model has been introduced to enable the conceptual modeling of imprecise data in many applications. How to prevent, detect, and correct errors as early as possible in the modeling process by verifying the correctness of fuzzy UML models is desirable. But it is difficult to manually verify the correctness of the models. Thanks to the effective reasoning service of fuzzy Description Logics (DLs), they are considered as natural candidates for supporting the verification of fuzzy UML models. In this paper we propose a complete and practical approach for verifying fuzzy UML models with fuzzy DLs. In detail, we first propose an approach for transforming a fuzzy UML model into a fuzzy DL knowledge base. Then we further reduce the verification tasks of the fuzzy UML model to reasoning problems of the transformed fuzzy DL knowledge base. Also, the correctness of the approach is proved, and a running example is provided to explain the approach in detail. Final we implemented a prototype that can transform fuzzy UML models into fuzzy DL knowledge bases. Case studies show that the proposed approach is feasible and the prototype translator actually works. By means of our approach and tool, the transformed fuzzy DL knowledge base and reasoning tasks can be input into the existing fuzzy DL reasoners, and the reasoning results reported by the reasoners can be passed back to the designer to improve the quality of the fuzzy UML model.
登录
查看更多内容
影响因子：
14.4
作者：
Berardi, D;Calvanese, D;De Giacomo, G
通讯作者：
De Giacomo, G
DOI：
10.3233/ica-2011-0366
发表时间：
2011-04
期刊：
Integr. Comput. Aided Eng.
影响因子：
--
作者：
Zongmin Ma;Fu Zhang;Li Yan;Jingwei Cheng
通讯作者：
Zongmin Ma;Fu Zhang;Li Yan;Jingwei Cheng
DOI：
10.1145/1141277.1141703
发表时间：
2006-04
期刊：
Proceedings of the 2006 ACM symposium on Applied computing
影响因子：
--
作者：
Hugues Malgouyres;G. Motet
通讯作者：
Hugues Malgouyres;G. Motet
影响因子：
--
作者：
ZADEH, LA
通讯作者：
ZADEH, LA
DOI：
10.3233/ia-130045
发表时间：
2007-09
期刊：
--
影响因子：
--
作者：
Marco Cadoli;Diego Calvanese;Giuseppe De Giacomo;Toni Mancini
通讯作者：
Marco Cadoli;Diego Calvanese;Giuseppe De Giacomo;Toni Mancini