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

doi:10.11896／j.issn.1002-137X.2018.09.018

计算机科学 ›› 2018, Vol. 45 ›› Issue (9): 119-122.doi: 10.11896／j.issn.1002-137X.2018.09.018

• 第十六届全国软件与应用学术会议 • 上一篇下一篇

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

张晓¹, 李智^1,2, 赵子岩¹, 付昌兰¹, 李伟东¹, 禹月昆¹, 王超¹

广西师范大学计算机科学与信息工程学院广西桂林541004¹
广西师范大学广西多源信息挖掘与安全重点实验室广西桂林541004²

收稿日期:2017-10-15 出版日期:2018-09-20 发布日期:2018-10-10
通讯作者: 李智(1969-),男,博士,教授,CCF高级会员,主要研究方向为软件需求工程、经验软件工程和软件测试,E-mail:zhili@gxnu.edu.cn
作者简介:张晓(1991-),男,硕士,主要研究方向为软件开发方法与理论,E-mail:494471788@qq.com;赵子岩(1991-),男,硕士,主要研究方向为软件需求工程;付昌兰(1990-),女,硕士,主要研究方向为软件需求工程;李伟东(1989-),男,硕士,主要研究方向为软件需求工程;禹月昆(1991-),女,硕士,主要研究方向为软件需求工程;王超(1993-),男,硕士,主要研究方向为软件需求工程。
基金资助:
本文受广西研究生教育创新计划项目(XYCSZ2017066),学位与研究生教育改革课题(XJGY201809),校级双语教学课程建设项目(A-0201-00-00013F),国家自然科学基金项目(61262004),广西区域多源信息集成与智能处理协同创新中心,广西多源信息挖掘与安全重点实验室2014年度主任基金课题(14-A-03-01),2015年系统性研究课题(15-A-03-01),广西科学研究与技术开发计划项目(桂科合1347004-22),广西自然科学基金项目(2012GXNSFCA053010),广西科技基地和人才专项(桂科AD16380008)资助。

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

ZHANG Xiao¹, LI Zhi^1,2, 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²

Received:2017-10-15 Online:2018-09-20 Published:2018-10-10

摘要/Abstract

摘要： 建模软件是辅助需求工程师分析的工具,在需求设计阶段必不可少。目前,很少有需求建模工具可以跨平台运行,支持在线多用户协同以及验证需求模型正确性和完整性等功能。鉴于问题框架方法在需求工程领域获得了较大关注,文中开发了一款用户体验较好、兼容多平台的计算机辅助问题框架建模软件。本研究解决了自动化校验问题图的正确性和完整性以及复杂问题图拆分等难题,实现了用户登录、云端数据库存储设计和多人协同建模和验证,从而构建了一个在线需求建模、共享和验证的平台。

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

Abstract: 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.

Key words: Collaborated modeling, odeling software, Problem diagram decomposition, Problem frames

中图分类号:

TP311

张晓, 李智, 赵子岩, 付昌兰, 李伟东, 禹月昆, 王超. 面向问题的软件开发协同建模工具的研究与实现[J]. 计算机科学, 2018, 45(9): 119-122. https://doi.org/10.11896／j.issn.1002-137X.2018.09.018

ZHANG Xiao, LI Zhi, ZHAO Zi-yan, FU Chang-lan, LI Wei-dong, YU Yue-kun, WANG Chao. Research and Implementation of Collaborated Modeling Approach for Problem-oriented Software Development[J]. Computer Science, 2018, 45(9): 119-122. https://doi.org/10.11896／j.issn.1002-137X.2018.09.018

参考文献

[1]CLELAND-HUANG J,CHANG C K,CHRISTENSEN M.
Event-Based Traceability for Managing Evolutionary Change[J].IEEE Transactions on Software Engineering,2003,29(9):796-810.
[2]SEATER R,JACKSON D.Problem frame transformations:deriving specifications from requirements[C]∥International Workshop on Advances and Applications of Problem Frames.ACM,2006:71-80.
[3]JACKSON M.软件开发问题框架:现实世界问题的结构化分析:analyzing and structuring software development problems[M].China Machine Press,2005.
[4]CHEN X H,YIN B,JIN Z.Ontology-Guided Requirements
Modeling Based on Problem Frames Approach[J].Journal of Software,2011,22(2):177-194.(in Chinese)
陈小红,尹斌,金芝.基于问题框架的需求建模:一种本体制导的方法[J].软件学报,2011,22(2):177-194.
[5]QUERALT A,TENIENTE E.Verification and Validation of
UML Conceptual Schemas with OCL Constraints[J].Acm Transactions on Software Engineering & Methodology,2012,21(2):1-41.
[6] RICHTERS M,GOGOLLA M.On formalizing the UML object constraint language OCL[C]∥International Conference on Conceptual Modeling.Springer,Berlin,Heidelberg,1998:449-464.
[7]JIANG Z F,WANG L Z,LI X D,et al.An Approach to Genera-te Test Cases Based on UML Sequence Diagrams[J].Computer Science,2004,31(7):131-136.(in Chinese)
江泽凡,王林章,李宣东,等.基于UML顺序图的测试方法[J].计算机科学,2004,31(7):131-136.
[8]LI Z,HALL J G,RAPANOTTI L.On the systematic transformation of requirements to specifications[J].Requirements Engineering,2014,19(4):397-419.
[9]JACKSON M.Where,Exactly,Is Software Development?[M]∥
Formal Methods at the Crossroads.From Panacea to Foundational Support.Springer Berlin Heidelberg,2003:115-131.
[10]CHEN X,LIU J L.Analysis and Comparison between the Structures of Client/Server and Browser/Server[J].Journal of Chongqing Institute of Technology Management,2000,14(2):100-103.
[11]JACKSON M.System Behaviours and Problem Frames:Concepts,Concerns and the Role of Formalisms in the Development of Cyber-physical Systems[M].Dependable Software Systems Engineering,2015:79-104.

相关文章 9

[1]	张子良, 庄毅, 叶彤. 基于元模型的协同建模模型组装与更新方法 Cooperative Modeling Model Combination and Update Method Based on Meta-model 计算机科学, 2021, 48(12): 67-74. https://doi.org/10.11896/jsjkx.201100024
[2]	李智, 邓杰, 杨溢龙, 韦尚锋. 从信息物理融合系统问题模型到UML用例图的变换方法 Transformational Approach from Problem Models of Cyber-Physical Systems to Use Case Diagrams in UML 计算机科学, 2020, 47(12): 65-72. https://doi.org/10.11896/jsjkx.201200044
[3]	刘喆,李智. 基于多通道交互技术的计算机辅助需求分析系统的研发 Research and Development of Computer-aided Requirements Engineering Tool Based on Multi-modal Interaction Technologies 计算机科学, 2017, 44(4): 177-181. https://doi.org/10.11896/j.issn.1002-137X.2017.04.039
[4]	高宁,李智. 基于问题框架的行为驱动开发研究 Research on Behavior-driven Development Based on Problem Frames 计算机科学, 2017, 44(11): 187-190. https://doi.org/10.11896/j.issn.1002-137X.2017.11.028
[5]	何正海,李智. 基于人机交互的计算机辅助软件需求分析工具的研发 Research and Development of Computer-aided Requirements Analysis Tool Based on Human-computer Interaction 计算机科学, 2015, 42(12): 181-183.
[6]	朱利鲁,李智. 问题框架中问题领域因果行为的形式化验证 Formal Validation of Causal Behaviors of Problem Domains in Problem Frames Approach 计算机科学, 2015, 42(12): 136-142.
[7]	蒋逸,张伟,赵海燕,金芝. 互联网环境中基于环境激发效应的协同式概念建模 Stigmergy-based Collaborative Conceptual Modeling in Web Environment 计算机科学, 2015, 42(11): 228-234. https://doi.org/10.11896/j.issn.1002-137X.2015.11.047
[8]	刘国源,万光海,庞柳,李智. 基于问题框架的计算机辅助需求工程工具的研发 Research and Development of Computer-aided Requirements Engineering Tool Based on Problem Frames 计算机科学, 2014, 41(11): 137-140. https://doi.org/10.11896/j.issn.1002-137X.2014.11.027
[9]	金瑛浩，孙立镌. 协同语义特征建模技术研究 Research on Collaborative Semantic Feature Modeling System 计算机科学, 2012, 39(2): 280-282.

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

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

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

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 9

Metrics

本文评价

推荐阅读 0