面向问题的软件开发协同建模工具的研究与实现  

Research and Implementation of Collaborated Modeling Approach for Problem-oriented Software Development

作　　者：张晓 李智[1,2] 赵子岩 付昌兰 李伟东 禹月昆 王超 ZHANG Xiao;LI Zhi;ZHAO Zi-yan;FU Chang-lan;LI Wei-dong;YU Yue-kun;WANG Chao(College of Computer Science and Information Technology,Guangxi Normal University,Guilin,Guangxi 541004,China;Guangxi Key Laboratory of Multi-source Information Mining&Security,Guangxi Normal University,Guilin,Guangxi 541004,China)

机构地区：[1]广西师范大学计算机科学与信息工程学院,广西桂林541004 [2]广西师范大学广西多源信息挖掘与安全重点实验室,广西桂林541004

出　　处：《计算机科学》2018年第9期119-122,134,共5页Computer Science

基　　金：广西研究生教育创新计划项目(XYCSZ2017066);学位与研究生教育改革课题(XJGY201809);校级双语教学课程建设项目(A-0201-00-00013F);国家自然科学基金项目(61262004);广西区域多源信息集成与智能处理协同创新中心;广西多源信息挖掘与安全重点实验室2014年度主任基金课题(14-A-03-01);2015年系统性研究课题(15-A-03-01);广西科学研究与技术开发计划项目(桂科合1347004-22);广西自然科学基金项目(2012GXNSFCA053010);广西科技基地和人才专项(桂科AD16380008)资助

摘　　要：建模软件是辅助需求工程师分析的工具,在需求设计阶段必不可少。目前,很少有需求建模工具可以跨平台运行,支持在线多用户协同以及验证需求模型正确性和完整性等功能。鉴于问题框架方法在需求工程领域获得了较大关注,文中开发了一款用户体验较好、兼容多平台的计算机辅助问题框架建模软件。本研究解决了自动化校验问题图的正确性和完整性以及复杂问题图拆分等难题,实现了用户登录、云端数据库存储设计和多人协同建模和验证,从而构建了一个在线需求建模、共享和验证的平台。Software modeling tools are essential for assisting requirements engineers in system analysis during the requirements and design phase.At present,few existing requirements modeling tools can be run across different platforms,support online multi-user collaborations,and verify the correctness and completeness of requirements models.As the problem frames(PF)approach attracts much attention in the requirements engineering community,a computer-aided PF modeling tool,which provides good user experience and is compatible with multiple platforms,was developed in this paper.This work solves two difficult problems,i.e.,automatic verification of the correctness and completeness of problem diagrams and mechanized decomposition of complex problem diagrams.Therefore,an online platform for requirements modeling,sharing and verification was established to support multi-user logins,deploy databases in the clouds and facilitate multi-user collaborations.

关 键 词：建模软件 问题框架 问题图拆分 协同建模 

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