A Formal Analysis Method and Its Application Based on UML Requirement Modeling
Jiang Chun · Journal of Shenyang Normal University · 2009
UML has been widely used in the software development process,but it lacks precise semantics,so it is difficult to verify and refine the requirement models modeled by UML,and hard to further improve the correctness and reliability of the software,and unable to achieve the software's automation yet.For so,the paper studied a kind of method on how to formalize requirement modeling based on UML.We use Object-Z to formally describe the requirement models modeled by UML,so far Object-Z has not been an automatic tool in terms of refinement and verification,but Perfect is complementary to it.At last explained its feasibility by the application of an instance.