基于问题框架的需求和领域模型的变换及验证

项目名称： 基于问题框架的需求和领域模型的变换及验证

项目编号： No.61262004

项目类型： 地区科学基金项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 李智

作者单位： 广西师范大学

项目金额： 43万元

中文摘要： )：作为软件工程学科的一个重要分支，软件需求工程在软件开发项目中起着至关重要的作用。大型软件项目的客户、开发人员以及软件工程的研究人员普遍认为，在项目中恰当地对需求进行建模和分析并将其转换为正确的软件规格说明是导致软件开发项目成功的关键因素。问题框架是需求工程的主要方法之一，它已得到需求工程界的广泛重视和研究。但如何系统地变换问题框架模型并导出和验证所得出的软件设计规格，是该方法目前有待解决的一个难题。本课题在问题框架的建模基础上研究如何从与软件交互的应用领域中挖掘并获取相关需求和领域知识及问题模式，在形式化的基础上采用模型驱动架构（MDA）为问题框架模型的推理、变换和验证提供有效技术支持。本课题还将开发出问题框架模型变换与验证支持工具原型，并结合某些实际应用问题进行案例研究。

中文关键词： 需求工程；问题框架；模型变换；模型验证；模型驱动架构

英文摘要： As an important branch of software engineering, software requirements engineering plays an essential role in large-scale software development projects. It is widely accepted, among customers, developers and software engineering researchers, that analyzing and transforming requirements models into correct software specifications is one of the key contributing factors to project success. Problem frames are one of the major approaches in requirements engineering, and they have been gaining popularity among pactitioners and researchers. However, how to systematically transform and validate problem frame models and the derived specifications remains a difficult problem. In this project, we plan to carry out research on mining and capturing relevant domain knowledge and problem patterns from software enviroment, and then support the reasoning, transformation and validation of problem frame models by using formal techniques and model-driven architecture (MDA). We also plan to develop a software prototype for tool support, which will be applied in several case studies of software development.

英文关键词： requirements engineering；Problem Frames；model transformation；model validation；model-driven architecture