| The existing development environment is mostly object-oriented, but data are often stored in relational database which is based on decomposin-g functions. Among those database supported by DBMS(Database Management System), relational database is the most popular one,so the problem that how to unify object-oriented thoughts and relational databa-se modes comes into being.Unified Modeling Language(UML) has been one of the effective and popular modeling languages for object-oriented software development, so there is a necessity for unification of UML mode and database design which will improve the extendability and robustness of database model.A large number of graphical symbols have been applied to UML-mode. A software development of high quality relies on a careful and comprehensive application of analysis, design and thorough audit, but an inappropriate application of these methods might bring about various problems, such as contradiction, ambiguity, vagueness and confusion of abstract-level. Formal method provides a means of confirmation on top level, which can not only prove whether the design, specification matching and program codes are correct or not through mathematical method, but also create convenience for the realization of automated audit in future.This paper systematically introduces the design of object-oriented software that includes how to transform class mode to the data mode of relational database with UML and how to implement system. Firstly, a mode of evaluation-system of China Petroleum and Chemical Industry Association is built with use-case, sequence, class diagrams and state diagrams. Then, mistakes in class mode are checked with a formal framework of representation for UML and the class mode is optimized. Finally, this paper establishes tables in the evaluation-system database for China Petroleum and Chemical Industry Association and implements the system with jsp, with the approach which transforms relations among classes to that of relational database. |
PDF Full Text Request