广西师范大学学报（自然科学版） ›› 2013, Vol. 31 ›› Issue (2): 19-26.

• • 上一篇    下一篇

一种模型驱动的软件需求分析方法及技术支持

李智, 庞柳, 刘国源, 杨智尚   

  1. 广西师范大学计算机科学与信息工程学院,广西桂林541004
  • 收稿日期:2013-03-17 出版日期:2013-06-20 发布日期:2018-11-26
  • 通讯作者: 李智(1969—),男,广西桂林人,广西师范大学副教授,博士。E-mail:zhili@gxnu.edu.cn
  • 基金资助:
    国家自然科学基金资助项目(61262004);广西自然科学基金资助项目(2012GXNSFCA053010);北京大学高可信软件技术教育部重点实验室开放课题(HCST201102);2013年广西研究生教育创新计划项目(YCSZ2012059)

A Model-Driven Software Requirements Analysis Method and Its Technical Support

LI Zhi, PANG Liu, LIU Guo-yuan, YANG Zhi-shang   

  1. College of Computer Science and Information Technology,GuangxiNormal University,Guilin Guangxi 541004,China
  • Received:2013-03-17 Online:2013-06-20 Published:2018-11-26

摘要： 模型驱动工程(model-driven engineering,简称MDE)已成为软件工程领域的研究热点之一,它的核心基础是模型驱动架构(model-driven architecture,简称MDA)。本文在深入研究问题框架方法的基础上,结合模型驱动架构理论提出并开发了一种面向问题的领域和需求模型变换技术及辅助支持工具,并且通过一个案例研究来展示该技术的实际应用过程。结果表明,所开发的计算机辅助软件工程工具既实现了模型的可视化变换,又实现了需求文本的同步自动变换,从而增强了工具在实际使用时的交互性和易理解性。

关键词: 问题框架, 需求分析和建模, 模型变换, 计算机辅助软件工程

Abstract: Problem Frames have become a major approach to the studyof software requirements in the software engineering research community.It provides intuitive models and analytical methods for requirements analysis in software development.Therefore,how to deploy problem transformation techniques to derive software specifications (for programming) from user requirements is an important research topic in software requirements engineering.Model-driven engineering(MDE) has become one of the hot spots in software engineering research,and itscore foundation is model-driven architecture (MDA).Based on previous in-depthresearch on Problem Frames and inspired by the MDA approach,a problem-orienteddomain and requirements modeling transformation technique was developed.In addition a case study was conducted to illustrate its practical applications.Experimental results show that the CASE tool can implement problem transformation visually and modify textual requirements automatically in sync with each transformation step,thus enhancing the interactivity and comprehensibility of thetool in its practical application.

Key words: problem frames, requirements analysis and modeling, model transformation, computer-aided software engineering (CASE)

中图分类号: 

  • TP311
[1] SCHMIDT C D.Guest editor's introduction:model-driven engineering[J].IEEE Computer,2006,39(2):25-31.
[2] SOMMERVILLE I.Software engineering[M].9th ed.Boston,MA:Addison-Wesley,2011.
[3] ALEXANDER I F,MAIDEN N.Scenarios,stories,use cases through the systems development life-cycle[M].Hoboken,NJ:John Wiley and Sons,Ltd.,2004.
[4] VAN LAMSWEERDE A.Goal-oriented requirements engineering:a guidedtour[C]//Proceedings of the 5th IEEE International Symposium on Requirements Engineering.Los Alamitos,CA:IEEE CS Press,2001:249-262.
[5] YU E.Towards modeling and reasoning support for early-phase requirements engineering[C]//Proceedings of the 3rd IEEE International Symposium on Requirements Engineering.Los Alamitos,CA:IEEE CS Press,1997:226-235.
[6] JACKSON A M.Problem frames:analyzing and structuring software development problems[M].Boston,MA:Addison-Wesley,2001.
[7] BERRY M D.Software requirements and design:the work of Michael Jackson by BasharNuseibeh and Pamela Zave[J].ACM SIGSOFT Software Engineering Notes,2011,36(2):39-40.
[8] LI Zhi,HALL G J,RAPANOTTI L.Reasoning about decomposing and recomposing problem frames developments:a case study[C]//Proceedings of the 26th International Conferrence on Software Engineering.Los Alamitos,CA:IEEE CS Press,2004:49-53.
[9] RAPANOTTI L,HALL GJ,LI Zhi.Deriving specifications from requirements through problem reduction[J].Journal of IEE Proceedings-Software,2006,153(5):183-198.
[10] LI Zhi,HALL G J,RAPANOTTI L.From requirements to secifications:aformal approach[C]//Proceedings of the IWAAPF'06,the 28th International Conferrence on Software Engineering.New York:ACM Press,2006:65-70.
[11] LI Zhi,HALL G J,RAPANOTTI L.Modeling domain knowledge in supportof requirements analysis in software engineering[C]//Proceedings of the International Conference on Power and Energy Systems.Los Alamitos,CA:IEEE CS Press,2010:270-273.
[12] LI Zhi,HALL G J,RAPANOTTI L.On the construction of specifications from requirements[C]//Proceedings of the 14th Workshop onRequirements Engineering.Rio de Janeiro,Brazil:BDBComp,2011:431-442.
[13] LI Zhi.Progressing problems from requirements to specificationsin problem frames[C]//Proceedings of the 30th International Conference on Software Engineering.New York:ACM Press,2008:53-59.
[14] HALL G H,RAPANOTTI L,JACKSON A M.Problem-oriented software engineering:solving the package router control problem[J].IEEE Transactions on Software Engineering,2008,34(2):226-241.
[15] HALL G H,RAPANOTTI L,JACKSON A M.Problem-oriented software engineering:a design-theoretic framework for software engineering[C]//Proceedingsof the 5th IEEE International Conference on Software Engineering and Formal Methods.Los Alamitos,CA:IEEE CS Press,2007:15-24.
[16] KLEENE C S.Introduction to meta-mathematics[M].New York:D Van Nostrand,1952.
[17] SEATER R,JACKSON D,GHEYI R.Requirements progression in problem frames:deriving specifications from requirements[J].Requirements Engineering,2007,12(2):77-102.
[18] 金芝,陆汝钤,BELL A D.多范例自动需求建模和分析:一种基于本体的方法[J].中国科学:E辑,2003,33(4):297-312.
[19] 侯丽珊,金芝,吴步丹.需求驱动的Web服务建模及验证:一个基于本体的方法[J].中国科学:E辑,2006,36(10):1189-1219.
[20] WANG Pu-wei,JIN Zhi,LIU Lin,et al.Building toward capability specifications of web services based on an environment ontology[J].IEEE Transactions on Knowledge and Data Engineering,2008,20(4):547-561.
[21] 宋春晖,雷景生,赵思轩.基于本体的信息过滤需求模型构造[J].广西师范大学学报:自然科学版,2008,26(4):71-74.
[22] CHEN Xiao-hong,LIU Jing,MALLET F,et al.Modeling timing requirements in problem frames using CCSL[C]//Proceedings of the 18th Asia-Pacific Software Engineering Conference.Ho Chi Minh,Vietnam:CPS (Conference Publishing Services),2008:53-59.
[23] LIU Lin,JIN Zhi.Requirements analysesintegrating goals and problem analysis techniques[J].Tsinghua Sciences and Technology,2007,12(6):103-114.
[24] CHEN Bi-huan,PENG Xin,YU Yi-jun,et al.Are your sites down?Requirements-driven self-tuning for the survivability of web systems[C]//Proceedings of the 19th International Requirements Engineering Conference.Los Alamitos,CA:IEEE CS Press,2011:219-228.
[25] SUN Jie,WANG Ye,WANG Xin-yu,et al.Using problem frames to drive layered requirements analysis[C]//Proceedings of the 32th ACM/IEEE International Conference on Software Engineering.New York:ACM Press,2010:24-29.
[1] 俞春强, 邓方舟, 张显全, 唐振军, 陈艳, 何南. 一种基于多预测值分类的可逆信息隐藏算法[J]. 广西师范大学学报（自然科学版）, 2018, 36(2): 24-32.
[2] 周俊临, 傅彦, 孔祥迎, 丁建勇. 一种基于时间特性的二部图推荐算法[J]. 广西师范大学学报（自然科学版）, 2013, 31(3): 81-86.
[3] 徐章艳, 曾艳燕. 基于知识粒度的不完备决策表求核方法[J]. 广西师范大学学报（自然科学版）, 2012, 30(3): 154-158.
[4] 陈建辉, 钟宁. 基于数据脑的神经图像元数据立方体构建技术[J]. 广西师范大学学报（自然科学版）, 2011, 29(1): 102-108.
[5] 黄晶, 罗晓曙. 神经网络在输电线覆冰增长因素中的应用[J]. 广西师范大学学报（自然科学版）, 2011, 29(4): 25-27.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
版权所有 © 广西师范大学学报（自然科学版）编辑部
地址：广西桂林市三里店育才路15号　邮编：541004
电话：0773-5857325　E-mail: gxsdzkb@mailbox.gxnu.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发