Research And Design On Consistency Checking In UML Models

With the development of software engineering, UML modeling is more and more important, and UML has become one of the major standards in software requirements analysis and modeling. However, UML is at last a semi-formal language, so it's difficult to maintain model consistency. Currently, in most UML modeling, the model consistency is checked by manual checking or inspecting tool integrated in UML modeling platform. These methods have flaws. Theoretically, not a complete aggregate of consistency rules exists, and from what aspects to detect consistency is a worthy research.This paper analyzes the major representation of UML model consistency in detail, and put forwards consistency standard from two aspects, including model itself and design procedure. After that, a method of UML model consistency detection is put forwarded. This method is independent of UML modeling tools, and makes use of XMI and mapping technology from XMI to relation database. It transitions from UML model to XML schema, and then to relation database schema, which in result maps UML model to relation database schema. In this way, the detection of UML model consistency is transitioned to search operation of the records in relation database, which simplifies the procedure. The key technology and design is discussed in detail: mapping XML schema to relation database, design of relation database structure, search method and checking algorithm, etc. In the end, a case is studied to show how to implement this method in practice, and the...