一种基于逻辑约束的软件设计过程验证方法及其工程实践  

A Software Development Process Validation Method Research and Practice Based on the Logic Restrict Condition Management

作　　者：何俊梅[1] 邹显春[1] 

机构地区：[1]西南大学计算机与信息科学学院,重庆400715

出　　处：《西南师范大学学报（自然科学版）》2007年第4期82-86,共5页Journal of Southwest China Normal University(Natural Science Edition)

基　　金：西南大学教改项目(2006JY44)

摘　　要：如何在软件设计过程中对软件需求加以正确描述和验证一直是软件开发过程中困扰开发者的重要问题之一.在传统UML面向对象的分析与设计方法的基础上,提出一种利用RSL对系统进行逻辑约束,在开发设计过程中不断进行系统逻辑规约验证的有效反方法.该方法提高了系统的稳定性与可靠性.我们还将该方法用于开发了一个教学管理系统以验证该方法的系统设计能力.One of the most important problems of software development is the correct description and validation about the software requirements. Based on the traditional UML object-oriented methods of software analysis and design, the authors of this paper propose an efficient method to have logic restriction to the system with RSL, which carries on logic validation to the system development. It improves the stability and reliability of the developed system and has been applied to develop an instruction management system successfully.

关 键 词：统一建模语言 逻辑约束 教学管理平台 RAISE规范语言 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]