期刊文献+

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

A Model-Driven Software Requirements Analysis Method and Its Technical Support
下载PDF
导出
摘要 模型驱动工程(model-driven engineering,简称MDE)已成为软件工程领域的研究热点之一,它的核心基础是模型驱动架构(model-driven architecture,简称MDA)。本文在深入研究问题框架方法的基础上,结合模型驱动架构理论提出并开发了一种面向问题的领域和需求模型变换技术及辅助支持工具,并且通过一个案例研究来展示该技术的实际应用过程。结果表明,所开发的计算机辅助软件工程工具既实现了模型的可视化变换,又实现了需求文本的同步自动变换,从而增强了工具在实际使用时的交互性和易理解性。 Problem Frames have become a major approach to the study of 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 its core foundation is model-driven architecture(MDA).Based on previous in-depth research on Problem Frames and inspired by the MDA approach,a problem-oriented domain 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 the tool in its practical application.
出处 《广西师范大学学报(自然科学版)》 CAS 北大核心 2013年第2期19-26,共8页 Journal of Guangxi Normal University:Natural Science Edition
基金 国家自然科学基金资助项目(61262004) 广西自然科学基金资助项目(2012GXNSFCA053010) 北京大学高可信软件技术教育部重点实验室开放课题(HCST201102) 2013年广西研究生教育创新计划项目(YC-SZ2012059)
关键词 问题框架 需求分析和建模 模型变换 计算机辅助软件工程 problem frames requirements analysis and modeling model transformation computer-aided software engineering(CASE)
  • 相关文献

参考文献25

  • 1SCHMIDT C D.Guest editor's introduction:model-driven engineering[J].IEEE Computer,2006,39(2):25-31.
  • 2SOMMERVILLE I.Software engineering[M].9th ed.Boston,MA:Addison-Wesley,2011.
  • 3ALEXANDER I F,MAIDEN N.Scenarios,stories,use cases through the systems development life-cycle[M].Hoboken,NJ:John Wiley and Sons,Ltd.,2004.
  • 4VAN LAMSWEERDE A.Goal-oriented requirements engineering:a guided tour[C] //Proceedings of the 5th IEEE International Symposium on Requirements Engineering.Los Alamitos,CA:IEEE CS Press,2001:249-262.
  • 5YU 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.
  • 6JACKSON A M.Problem frames:analyzing and structuring software development problems[M].Boston,MA:Addison-Wesley,2001.
  • 7BERRY M D.Software requirements and design:the work of Michael Jackson by Bashar Nuseibeh and Pamela Zave[J].ACM SIGSOFT Software Engineering Notes,2011,36 (2):39-40.
  • 8LI 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.
  • 9RAPANOTTI L,HALL G J,LI Zhi.Deriving specifications from requirements through problem reduction[J].Journal of IEE Proceedings-Software,2006,153(5):183-198.
  • 10LI Zhi,HALL G J,RAPANOTTI L.From requirements to secifications:a formal approach[C] //Proceedings of the IWAAPF'06,the 28th International Conferrence on Software Engineering.New York:ACM Press,2006:65-70.

二级参考文献27

  • 1廖军,谭浩,刘锦德.基于Pi-演算的Web服务组合的描述和验证[J].计算机学报,2005,28(4):635-643. 被引量:107
  • 2陆汝钤,金芝,万荣林,夏幼明.基于领域知识的需求信息获取[J].软件学报,1996,7(3):137-144. 被引量:26
  • 3金芝.Revisiting the Meaning of Requirements[J].Journal of Computer Science & Technology,2006,21(1):32-40. 被引量:10
  • 4侯丽珊,金芝.基于环境变迁的构件组合模型[J].电子学报,2005,33(B12):2370-2375. 被引量:4
  • 5钟茂生,廖辉传,谢勇.面向用户兴趣的Web信息过滤系统[J].广西师范大学学报(自然科学版),2006,24(4):171-174. 被引量:3
  • 6HaumerP PohlK WeidenhauptK.Requirements elicitation and validation with real world scenes[J].Technical Report CREWS Report(Germany),1998,:98-06.
  • 7ROCCHIO J J. Relevance feedback in information retrieval[C]//SALTON G. The SMART Retrieval System. Englewood Cliffs ,NJ :Prentice-Hall, 1971 : 313-323.
  • 8JOACHIMS T. Text categorization with support vector machine :Learning with many relevant features[C]//Nedellec C,Rouveirol C. Proc. of the 10th European Conf. on Machine Learning (ECML-98). Chemnitz: Springer-Verlag, 1998: 137-142.
  • 9GRUBER T R. A translation approach to portable ontology specifications[J]. Knowledge Acquisition, 1993 (5):199-220.
  • 10CHAUDHRI V K,FARQUHAR A,FIKES R,et al. OKBC:A progammatic foundation for knowledge base interoperability[C]//Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence. Menlo Park CA:American Association for Artificial Intelligence, 1998,600-607.

共引文献34

同被引文献20

引证文献5

二级引证文献9

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部