摘要
UML是软件开发过程中广泛使用的建模语言,但由于缺乏精确的语义,难以直接对其建立的需求模型进行精化和验证,因而无法进一步提高软件的正确性和可靠性,也不具备实现软件自动化的前提条件。提出了一种基于UML需求建模进行形式化分析的方法。采用Object-Z对UML建立的需求模型进行形式化描述,采用Perfect弥补了Object-Z在精化与验证方面缺少自动化工具支持的不足,最后通过一个实例说明了该方法在实际应用中的可行性。
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.
出处
《沈阳师范大学学报（自然科学版）》
CAS
2009年第3期331-334,共4页
Journal of Shenyang Normal University:Natural Science Edition
基金
江苏省高校自然科学研究项目(08KJB520010)
