Formal Representation and Verification of Fuzzy Object Design Using UML

Object-oriented methods create software artifacts through the application of a large number of rules. Rules are typically formulated in two-valued logic but sometimes they can be represented using fuzzy logic to decrease the design weakness. In all of these approaches, verification and improvement of a design is done unintelligently and manual so, this causes to a weak design because of the large number of conflicting rules and discarding and ignorance of alternative design solutions. To improve this problem and make the design properties better, this paper proposes an intelligent optimization model and its algorithm that is a class of constraint satisfaction problems (CSP) and uses fuzzy rules as its improvement and heuristic functions to automatically find better design alternatives. Therefore, first we show how an initial design based on UML can be fuzzified. Then, this fuzzified initial design model is injected as the input of the algorithm and by automatic applying of fuzzy O.O. rules, an improved and qualified design will be gained.

Keywords:

Fuzzy Logic , OO Rules , Fuzzy Object Design , Fuzzy UML