[00891181]面向复杂软件系统的需求工程建模方法及其工具系统

面向复杂软件系统的需求工程建模方法及其工具系统主要为软件开发人员提供有效实用的软件需求分析方法和工具，适用不同的计算机应用领域和不同类型的软件系统的需求开发工作。面向复杂软件系统的需求工程建模方法是基于多视点和软件行为的需求建模方法。该建模方法完整地、系统地给出需求建模的具体流程，行为描述语言及其语义，该流程分为三个主要环节，首先是针对复杂系统划分问题子域，根据问题域建立多视点模型，其中每个视点模型包含一个或多个场景。根据这些场景，用行为描述语言建立相应的需求模型。在该需求模型的基础上，该建模方法还提供了自动检测需求模型和某些软件特性的方法和流程。检测内容主要包括三部分，即语法检查、语义检查和系统特性检测，保证需求模型的正确性和软件行为的有效性。基于该建模方法的建模过程支持从自然语言表达的用户需求逐步过渡到半形式化，最后形式化的需求模型。该方法能兼容一些现有的建模方法和技术，如状态图和工作流图等一些半形式化的图形建模技术。考虑到不同用户的习惯及经验的不同，该建模工具系统提供了图形化输入和文本输入两种建模方式，同时提供了友好的用户界面和可视化功能，帮助开发人员快捷高效地进行需求分析和建模。该建模工具系统还提供了帐户管理及划分建模权限的功能，以指导和辅助开发小组有效地进行职责划分，可在并行的需求开发基础上，统一管理需求模型。此外，该建模工具系统在需求模型可视化方面也提供了动画模拟目标软件系统动态行为的功能，加强用户对目标软件系统的直观理解，提高需求分析效率。建模工具系统的主界面需求工程建模方法及其工具系统成功开发以来，国内外同行和专家对该需求建模方法和建模工具给予较高的评价，并且通过某些大学和公司结合实际软件项目开发进行使用，已产生了较好的社会效益和经济效益，此外，需求工程建模方法及其工具系统已用于教学实践中，并获得学生们的好评。该项目组成员长期从事需求工程领域的研究与软件开发工作，获得国家自然科学基金和国家高技术研究发展计划(863计划)资助，并在国内外学术期刊和学术会议上发表论文多篇。