| In recent years, software development scale has largely increased and software becomes more and more complicated. How to improve the efficiency of software development and keep software at high quality have become key problems in software industry. Object oriented technology is the most promising one to solve these problems. Object oriented technology is also fundamental to the automation of software development.The unified modeling language UML provides users with graphic description environment, along with various kinds of tools to support software development, and rapidly becomes a standard object oriented software modeling language in software industry. UML contains different kinds of views, semiformal semantics of mata model and formal constraints to the elements of design. The graphic notation of UML is very convenient for users to understand and use, however it is not very precise. Especially for the requirement analysis model, the description language used in the model is natural language that cannot be used to model requirements rigorously. So the designer cannot construct a strict requirement model and check, or proof and validate, the internal consistency automatically with tools. Moreover, they cannot obtain design model from requirement model automatically or semi-automatically and keep consistency among models.The formal specification is strictly based on mathematics, with precise symbolic notation and mathematic tool support. The notation has rigorous semantics and is easy to reason and calculate, thereby is suitable for tool handle. So the systems constructed with formal methods are better organized and easier to maintain, thus at higher quality.To improve the precision of models and keep consistency among them, we construct UML requirement model and design model based on formal methods. We thoroughly study the framework of 00 software construction and the static/dynamic properties of models, including class model, interaction model, component model and architecture model. Our research objectives and contribution discussed in the dissertation are listed as follows:· An object oriented software modeling strategy is proposed based on formal specification. UML (Unified Modeling Language) , RUP (Rational Unified Process) and UTP (Unified Theory of Programming) are integrated.· The process of software development and a series of models used in RUP are studied carefully, and a model system based on UML is constructed. We define conceptual model, design model, interaction model, component model and architecture model, and give the well-definedness conditions of the models according to semantics related.
|
PDF Full Text Request