Verification of fuzzy UML models with fuzzy Description Logic.

Fu Zhang Jingwei Cheng

Published in: Appl. Soft Comput. (2018)

Keyphrases

fuzzy description logics
uml models
fuzzy ontology
fuzzy information
object oriented
fuzzy logic
description logics
fuzzy sets
model checking
test cases
sequence diagrams
fuzzy numbers
reasoning tasks
data model
test generation
dl lite