UML-based High-Education Management System Design And Implementation

The higher management level is required to meet the demand of integrated andcomplicated educational management which is the core of college. It’s the effectivemeans to make the college educational management level improved and advanced byuse of the designed system. As colleges educational management system increasingdemand, the increasing complexity of educational management system and softwareengineer and management issues are increasingly prominent, it is necessary to take ofsystem analysis and design and modeling.UML(Unify Model Language) is a well-defined, easy to express, powerful anduniversal modeling language. UML for object-oriented techniques to describe anytype of system and for different stages of system development, from requirementsspecification describes the system until after the completion of testing andmaintenance. Computer hardware and software systems become more and morecomplex, how to ensure system’s accuracy and reliability is becoming an increasinglypressing issue, UML can’ not match formal verification capabilities. As many list oftheories and methods, model checking is concise and high performance of automation.To the points of the problem of educational management system project and thelack of UML model checking works. This paper work done the following points:(1)For educational management changes, we use the UML modeling language forthe educational management system analysis and design. We use UML use casediagram to describe the participants in educational management system, the functionalrequirements, got the overall structure of the whole system and the system’s function;use sequence diagram to describe the business logics process of educationalmanagement system.(2)In this paper we use model checking method for system formal verification.First we convert the sequence diagram to the pertinent timed automata model, then weuse model validation UPPAAL tool to check the whole model until the modelchecking result is right.(3) At latest we use the technologies from.NET platform to build this systemwhich can realize actual operation.