Lerisk-i^＊框架自动建模与编辑工具介绍  

Introduction of i Star Framework Auto Modeling and Edit Software Tool “Lerisk”

作　　者：李天颍[1] 刘璘[1] 寇晓溪 赵德旺[1] 

机构地区：[1]清华大学软件学院,北京100084

出　　处：《计算机科学》2014年第9期45-51,79,共8页Computer Science

基　　金：国家基础研究发展计划(973计划)(2009CB320706);国家高技术研究发展计划(863计划)(2012AA040904);国家自然科学基金重大项目(90818026)资助

摘　　要：在需求工程中,基于主体的i*建模框架(主要包括策略依赖模型及策略推理模型)已经成为最常用的早期需求建模与分析的工具之一,而且关于i*建模框架的编辑工具开发也有很多相关的研究工作。然而现有的这些工具往往只提供诸如模型图编辑、存储等基本功能,而笔者需要在需求工程小组的项目中为对需求文本进行建模的结果进行模型可视化,同时提供编辑存储及自动布局功能,并开发出新的基于i*建模框架的工具。文中首先对主流的i*建模工具进行了调研,研究了建模工具的基本功能,同时分析了其功能的不足点,在此基础上提出了新工具设计的功能补充点;然后对i*框架的布局问题进行介绍并详细描述了其自动布局算法的实现,给出了可视化工具的详细设计;最后在此工具的基础上,进行了实际需求文本的建模及模型编辑功能的实验,并将此工具与主流工具的功能进行对比,以展示本工具的功能特点。In the field of requirements engineering, the subject based on i^＊ framework including the strategy dependency model and strategy rationale model has become one of the most commonly used tools in the early requirements modeling and analysis. At the same time, many research works focus on the development of i^＊ modeling framework editing tools. However, the existing tools often provide only basic functions, such as model diagram editing, storage, etc. , which do not satisfy the requirements that we need to visualize the modeling results of requirements text in our requirements engineering group, and also provide the editing storage and the automatic layout. Therefore, it is needed to develop a new tool based on i^＊ framework. Firstly, this thesis investigated and surveyed the well-known modeling tools and analyzed the basic functions of them, as well as the shortcomings. Then, on this basis, we proposed and designed the supplement functions of our new tool,and introduced the layout problems of i^＊ framework,as well as detailedly described the implementation of its automatic layout algorithm. Finally, we presented the detailed design of the visualization tool. Based on the proposed tool, we carried out experiments on the requirements text modeling and the model editing functions, and also compared them with the corresponding functions of well-known modeling tools to demonstrate the features of our tool.

关 键 词：i^＊建模框架 可视化工具 自动布局 策略依赖 策略推理 

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