期刊文献+

从Scenarios到状态图的算法分析

Analysis of Generating Statecharts Algorithms from Scenarios
下载PDF
导出
摘要 采用Scenarios进行需求建模能够反映从用户角度观察到的系统的行为,状态图是系统行为的精确描述。从Scenario到状态图的自动转换是指软件开发过程中从UML需求模型自动生成行为模型的过程,其研究对于细化系统行为,保持开发过程中模型间的一致性有重要意义。对其研究现状及进展进行了介绍,并对现有算法进行了总结和分类,进一步指出这些算法的不足和今后需要改进的方向。 Scenarlo-based requirements engineering reflects system behaviors in users' views, Scenarios are usually described by sequence diagrams. Statecharts are precise descriptions of system behaviors. Generating statecharts from scenarios is the process automated generating behaviors models form UML requirement models. This research is important for rapidly generating system prototypes and keeping consistency between models. The status quo of this research is presented in this paper. Existing methods is surveyed and classed. The shortcoming of these methods is further presented, Then the prospect of this research is given.
出处 《计算机应用研究》 CSCD 北大核心 2006年第3期55-56,63,共3页 Application Research of Computers
基金 国家科学技术部资助项目(2002EC0000158)
关键词 Scenarios 顺序图 状态图 状态转换 Scenarios Sequence Diagram Statechart State Transfer
  • 相关文献

参考文献14

  • 1Kurt Bittner,Ian Spence.Use Case Modeling[M].Addison-Wesley,2003.248. 被引量:1
  • 2Harel D,Lachover H,Naamad A,et al.Statemate:A Working Environment for the Development of Complex Reactive Systems[J].IEEE Transactions on Software Engineering,1990,16(4):403-414. 被引量:1
  • 3K Weidenhaupt,et al.Scenarios in System Development:Current Practice[J].IEEE Software,1998:34-45. 被引量:1
  • 4D Harel.Statecharts:A Visual Formalism for Complex Systems[J].Science of Computer Programming,1987,8:231-274. 被引量:1
  • 5K Koskimies,E M Akinen.Automatic Synthesis of State Machines from Trace Diagrams[J].Softw.Pract.Exper,1994,24:643-658. 被引量:1
  • 6Koskimies K,et al.Automated Support for Modeling OO Software[J].IEEE Softw,1998,15:87-94. 被引量:1
  • 7Makinen E,Systa T.Minimally Adequate Teacher Designs Software[R].Dept.Of Computer and Information Sciences,University of Tampere,Report A-2000-7,2000. 被引量:1
  • 8Makinen E,Systa T.Implementing Minimally Adequate Synthesizer[R].Dept.Of Computer and Information Sciences,University of Tampere,Report A-2000-9,2000. 被引量:1
  • 9D Angluin.Inference of Reversible Languages[J].ACM,1982,9:741-765. 被引量:1
  • 10D Angluin.Learning Regular Sets from Queries and Counterexamples[J].Inf.Comput,1987,75:87-106. 被引量:1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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