A Formal Evaluation Approach to UML State Model Based on Polychromatic Sets

The United Model Language (UML) has been applied in various areas and disciplines. Among UML, the state diagram is an important descriptive means to model object state transition. But it is still lack of feasible and effective validation method which can be utilized to formalize and revise the UML state diagram. In this thesis, a new approach for this problem is proposed based on the polychromatic set theory. Based on this theory, it can be realized the mapping from state model to the PS contour matrix, and implement model revision effectively. Firstly, the transformation method from UML state diagram to contour matrix model of polychromatic sets was established. Connection types among states were recognized as the elements of polychromatic sets. Secondly, the evaluation and reduction algorithm of the state model was presented. Finally, an example of software requirement state transformation diagram was provided for application of the theory and method mentioned above. As a result, the state model can be optimized and evaluated quantitatively by the new method.