期刊文献+

基于环境的多形态时间需求建模方法 被引量:2

Modeling Software Timing Requirements: An Environment Based Approach
下载PDF
导出
摘要 时间需求作为嵌入式系统的关键要素,其重要性越来越突出.但是目前的时间需求存在着多样的环境时间描述与单一的软件时间描述融合问题.文中在基于环境的功能性需求的基础上,提出基于环境的多形态时间需求建模方法,试图在需求层次上为该问题提供解决方案.文中构建了支持这个方法的多形态时间需求模型,在环境因素的基础上增加了多形态时间描述,并提出该需求模型制导的需求建模过程,帮助需求分析员在功能性需求的基础上建模时间需求.文中还给出了从多样的环境时间描述得到软件时间需求规约的步骤,指导需求分析人员抽取时间需求规约. Timing requirement as a key element in the embedded systems is becoming more and more important. However, at present, there is an integration problem between multiple environment time description and single software time description in timing requirements. On the basis of the environment based functional requirements, this paper proposes a multiform time require ments modeling approach trying to provide a solution to the integration problem at the require- ment level. A multiform time requirement model is built by adding multiform time description to environment elements for supporting this approach. A timing requirements modeling process guided by the requirement model is also presented for helping timing requirements description on the basis of functional requirements. Steps from timing requirements to timing requirement specification are also given. Following these steps, requirements analysts can obtain the timing requirements specification easily.
作者 陈小红 刘静
出处 《计算机学报》 EI CSCD 北大核心 2013年第1期88-103,共16页 Chinese Journal of Computers
基金 国家自然科学青年基金(61202104 60903021) 国家自然科学重点基金(61170084) 国家"九七三"重点基础研究发展规划项目基金(2009CB320702) 国家"八六三"高技术研究发展计划项目基金(2011AA010101) 教育部博士点基金(20120076120016) 创新群体(61021004) 浙江师范大学计算机软件与理论省级重中之重学科开放基金(ZSDZZZZXK30)资助~~
关键词 时间需求 多形态时间 基于环境建模 嵌入式系统 timing requirements multiform time environment based modeling embedded systems
  • 相关文献

参考文献25

  • 1Sarma S, Brock D, Ashton K. The networked physical world. Massachusetts Institute of Technology, Massachu- setts: Technical Report MIT-AUTOID-WH 001, 2000.
  • 2Domestic policy council office of science and technology policy, USA. American Competitiveness Initiative. http:// www. casted, org. cn/upload/news/Attach 20080805111202. pdf.
  • 3Alur R, Courcoubetis C, Dill D L. Model-checking in dense real-time. Information and Computation, 1993, 104 ( 1 ) : 2 34.
  • 4Alur R, Henzinger T A. A really temporal logic. Journal of the ACM, 1994, 41(1): 181 204.
  • 5Lamsweerde V A. Goal oriented requirements engineering: A guided tour//Proceedings of the 5th IEEE International Symposium on Requirements Engineering ( RE' 01 ). Toronto, 2001, 249-263.
  • 6Yu E. Agent orientation as modeling paradigm. Wirtschaftsinformatik, 2001, 43(2): 123 132.
  • 7Chen Xiaohong, Liu Jing, Mallet Frederic, Jin Zhi. Model ing timing requirements in problem frames using CCSI.// Proceedings of the 18th Asian Pacific Software Engineering Conferenee(APSEC 2011). Vienam, 2011:381-388.
  • 8何积丰.Cyber-physicalsystems.中国计算机学会通讯,2010,(1):25-29.
  • 9Benveniste A, Caspi P, Edwards S A, Halbwaehs N, Le Guernic P, de Simone R. The synchronous languages 12 years later. Proceedings of the IEEE, 2003, 91(1): 64-83.
  • 10OMG. UMI. profile for Modeling and Analysis of Real Time and Embedded Systems (MARTE). OMG document hum her: realtime/2005 02 06. Framing Ham: Obiect Manage- ment Group, 2005.

二级参考文献33

  • 1Van Lamsweerde A. Goal-Oriented requirements engineering: A guided tour. In: Titsworth FM, ed. Proc. of the 5th IEEE Int'l Symp. on Requirements Engineering (RE 2001). Washington: IEEE Computer Society, 2001. 249-263. [doi: 10.1109/ISRE.2001. 948567].
  • 2Yu E. Towards modeling and reasoning support for early-phase requirements engineering. In: Proc. of the 3rd IEEE Int'l Symp. on Requirements Engineering (RE'97). Washington: IEEE Computer Society, 1997. 226-235.
  • 3Dardenne A, Van Lamsweerde A, Fickas S. Goal-Directed requirements acquisition. Science of Computer Programming, 1993, 20(1-2):3-50. [doi: 10.1016/0167-6423(93)9002[G].
  • 4Yu E. Agent orientation as a modeling paradigm. Wirtschaflsinformatik, 2001,43(2): 123-132.
  • 5Bresciani P, Perini A, Giorgini P, Giunchiglia F, Mylopoulos J. Tropos: An agent-oriented software development methodology. Autonomous Agents and Multi-Agent Systems, 2004,8(3):203-236, Idol: 10.1023/B:AGNT.0000018806.20944.ef].
  • 6Jackson M. Software Requirements and Specifications: A Lexicon of Practice, Principles and Prejudices. Addison-Wesley, 1995.
  • 7Jackson M. Problem Frames: Analyzing and Structuring Software Development Problems. Addison-Wesley, 2001.
  • 8Jackson M. Problems, methods and specialization. Software Engineering Journal, 1994,9(6):249-255. [doi: 10.1049/sej.1994.0034].
  • 9Jackson M. Problem analysis using small problem frames. South African Computer Journal, 1999.22:47-60.
  • 10Jackson M. Problem analysis and structure. In: Hoare T, Broy M, Steinbruggen R, eds, Proc. of the NATO Summer School. Amsterdam: IOS Press, 2000.3-20.

共引文献46

同被引文献5

引证文献2

二级引证文献14

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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