期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于场景规约的系统行为建模 被引量：1

System Behavior Modeling for Scenario-Based Specifications
在线阅读 下载PDF
导出
摘要 提出一种基于场景规约的系统行为建模方法。采用消息序列图描述场景,把场景规约中构件实例之间消息传递的事件序列作为一种显式的场景提取物并给出语义表示,通过场景正样本构造前缀树接受器。此前缀树接受器是一个能接受正样本的最大确定有限自动机,通过合并状态得到商自动机,给出一个状态合并算法。该算法支持交互式增量的场景产生。 We propose to adopt semi-formal graphic language-message sequence charts to describe scenarios, regard events sequence of message transferring between use cases as an explicit scenario, and give its semantic. The main idea of this approach is to construct a prefix tree with positive scenario samples, which is a deterministic finite state automaton （DFA） accepting these positive scenario samples. A state combination algorithm that can get quotient automation is given.
作者 陈中育 缪淮扣
机构地区 上海大学计算机工程与科学学院
出处 《应用科学学报》 CAS CSCD 北大核心 2009年第4期403-408,共6页 Journal of Applied Sciences
基金 国家"973"重点基础研究发展计划基金(No.2007CB310800) 国家自然科学基金(No.60673115) 国家"863"高技术研究发展计划基金(No.2007AA01Z144) 上海市教委科研项目基金(No.07ZZ06) 上海市重点学科建设项目基金(No.J50103)资助
关键词 消息序列图 场景规约 构件行为 商自动机 message sequence chart, scenario-based specifications, component behavioral, quotient automaton
分类号 O212.7 [理学—概率论与数理统计]
  • 相关文献

参考文献11

  • 1NUSEIBEH B,EASTERBROOK S.Requirements engineering:a roadmap[C]//Proceedings of the 22nd International Conference on Software Engineering.New York:ACM Press,2000:35-46.
  • 2胡军,于笑丰,张岩,王林章,李宣东,郑国梁.基于场景规约的构件式系统设计分析与验证[J].计算机学报,2006,29(4):513-525. 被引量：40
  • 3WHITTLE J,SCHUMANN J.Generating statechart designs from scenarios[C]//Proceedings of the 22nd International Conference on Software Engineering.New York:ACM Press,2000:314-323.
  • 4KRUGER I,GROSU R,SCHOLZ P,BROY M.From MSCs to statecharts[C]//Distributed and Parallel Embedded Systems.Germany:Kluwer Academic Publishers,1999:61-71.
  • 5MAKINEN E,SYSTA T.MAS-an interactive synthesizer to support behavioral modelling in UML[C]//Proceedings of the 23rd International Conference on Software Engineering.Toronto:[s.n.],2001:15-24.
  • 6张岩,胡军,于笑丰,张天,李宣东,郑国梁.场景驱动的构件行为抽取[J].软件学报,2007,18(1):50-61. 被引量：16
  • 7胡军,于笑丰,张岩,李宣东,郑国梁.基于场景构件式实时软件设计的一致性检验[J].软件学报,2006,17(1):48-58. 被引量：13
  • 8UCHITEL S,KRAMER J,MAGEE J.Synthesis of behavioral models from scenarios[J].IEEE Transactions Software Engneering,2003,29(2):99-115.
  • 9GOLD E M.Complexity of automaton identification data[J].Information and Control,1978,37:302-320.
  • 10BREITMAN K,PRADO J C S.Scenario evolution:a closer view on relationships[C]//Proceedings of the 4th International Conference on Requirements Engineering.Schaumburg,Illinois:[s.n.],2000:95-105.

二级参考文献32

  • 1胡军,于笑丰,张岩,王林章,李宣东,郑国梁.基于场景规约的构件式系统设计分析与验证[J].计算机学报,2006,29(4):513-525. 被引量：40
  • 2Booch G, Rumbangh J, Jacobson I. The Unified Modeling Language User Guide. Addison-Wesley, 1999.
  • 3Peled DA. Software Reliability Methods. Springer-Verlag, 2001.
  • 4Alur R, Yannakakis M. Model checking of message sequence charts. In: Baeten JCM, Mauw S, eds. Proc. of the 10th Int'l Conf. on Concurrency Theory. LNCS 1664, Berlin: Springer-Verlag, 1999. 114-129.
  • 5Larsen KG, Pettersson P, Yi W. UPPAL in a nutshell. Int'l Journal of Software Tools for Technology Transfer, 1997,1(1-2):134-152.
  • 6Seemann J, Gudenberg JW. Extension of UML sequence diagrams for real-time systems. In: B6zivin J, Muller P-A, eds. Proe. of the Int'l UML Workshop. LNCS 1618, Berlin: Springer-Verlag, 1998. 240-252.
  • 7Firley T, Huhn M, Diethers K, Oehrke T, Ooltz V. Timed sequence diagrams and tool-based analysis-A case study. In: France R,Rumpe B, eds. Proc. of the 2nd Int'l Conf. on UML (UML'99). LNCS 1723, Berlin: Springer-Verlag, 1999. 645-660.
  • 8David A, Moller MO, Yi W. Formal verification of UML statecharts with real-time extensions. In: Kutsche R-D, Weber F, eds.FASF2002. LNCS 2306, Berlin: Springer-Verlag, 2002. 218-232.
  • 9de Alfaro L, Henzinger TA. Interface automata. In: Proe. of the Joint 8th European Software Engineering Conf. and 9th ACM SIGSOFT Int'l Symp. on the Foundations of Software Engineering (ESEC/FSE 2001). Austria: ACM Press, 2001, 109-120.
  • 10.[EB/OL].http://ptolemy.eecs.berkeley.edu/ptolemyⅡ/index.htm.,2005.

共引文献57

同被引文献9

引证文献1

应用科学学报
2009年 第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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