| 基于UML需求建模的一种形式化分析方法及其应用 |
| |
| 引用本文： | 江春. 基于UML需求建模的一种形式化分析方法及其应用[J]. 沈阳师范大学学报(自然科学版), 2009, 27(3): 331-334 |
| |
| 作者姓名： | 江春 |
| |
| 作者单位： | 苏州大学计算机科学与技术学院,江苏苏州,215006 |
| |
| 基金项目： | 江苏省高校自然科学研究项目 |
| |
| 摘 要： | UML是软件开发过程中广泛使用的建模语言,但由于缺乏精确的语义,难以直接对其建立的需求模型进行精化和验证,因而无法进一步提高软件的正确性和可靠性,也不具备实现软件自动化的前提条件.提出了一种基于UML需求建模进行形式化分析的方法.采用Object-Z对UML建立的需求模型进行形式化描述,采用Perfect弥补了Object-Z在精化与验证方面缺少自动化工具支持的不足,最后通过一个实例说明了该方法在实际应用中的可行性.
|
| 关 键 词： | 形式化方法 |
A Formal Analysis Method and Its Application Based on UML Requirement Modeling |
| |
| JIANG Chun. A Formal Analysis Method and Its Application Based on UML Requirement Modeling[J]. Journal of Shenyang Normal University(Natural Science Edition), 2009, 27(3): 331-334 |
| |
| Authors: | JIANG Chun |
| |
| Abstract: | 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. |
| |
| Keywords: | UML Object-Z Perfect UML Object-Z Perfect formal methods |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
