期刊文献+

合成状态图中非预期状态转换路径的确认 被引量:1

Identifying unexpected state transition paths in synthesized statecharts
下载PDF
导出
摘要 利用Scenario进行需求建模能够反映从用户角度观察到的系统行为,而利用状态图能够从对象角度对系统行为进行精确描述。从Scenario到状态图的自动转换指软件开发过程中,从UML需求模型自动生成行为模型的过程。在分析已有的自动转换算法存在的不足的基础上,提出了从语法角度出发,对用例进行分析,提取合适的状态向量;利用在算法中增加Scenario的相关信息,确定非预期状态转换路径。 Scenarios present system behaviors from users' perspectives by specifying collaboration and interaction between objects or components. Statecharts are precise descriptions of system behaviors. Automatic transition from scenarios to statechart is the process which system behavior models are generated automatically from UML requirement models. Based on analyzing the deficiency of the existing transition algorithm, an approach of capturing appropriate state vectors is proposed by analyzing use case syntax, and unexpected transition paths are identified by adding the scenarios information to the algorithm.
出处 《计算机工程与设计》 CSCD 北大核心 2007年第6期1251-1254,共4页 Computer Engineering and Design
基金 国家自然科学基金项目(69903005) 吉林大学985基金项目 吉林大学创新基金项目
关键词 Scenafio 状态图 顺序图 转换 状态向量 非预期状态转换路径 scenario statechart scequence diagram transition state vector unexpected state transition path
  • 相关文献

参考文献8

  • 1GradyBooch JamesRumbaugh IvarJacobson.UML用户指南[M].北京:机械工业出版社,2001..
  • 2Kurt Bittner,Ian Spence.Use case modeling[M].影印版.北京:清华大学出版社,2003.
  • 3Whittle J,Schumann J.Generating statechart designs from scenarios[C].New York,USA:Proceedings of International Conference on Software Engineering (ICSE2000),ACM Press,2000.314-323.
  • 4Whittle J.Transformations and software modeling languages:Automating transformations in UML[C].Dresden,Germany:Proceedings of The Unified Modeling Language:5th International Conference,Springer Berlin,2002.227-242.
  • 5Makinen E,Systa T.An interactive approach for synthesizing UML statechart diagrams form sequence diagrams[C].New York,USA:Preceedings of OOPSLA2000,ACM Press,2000.7-12.
  • 6Makinen E,Systa T.Minimally adequate teacher designs software,department of computer and information sciences[R].University of Tampere,Report A-2000-7,2000.
  • 7Makinen E,Systa T.Implementing minimally adequate synthesizer,department of computer and information sciences[R].University of Tampere,Report A-2000-9,2000.
  • 8Uchitel S.Synthesis of behavioral models from scenarios[J].IEEE Transactions on Software Engineering,2003,29(2):99-115.

共引文献36

同被引文献9

  • 1褚华,李青山,陈平,郭俊丽.一种基于UML序列图的状态图合成方法[J].系统工程与电子技术,2005,27(3):524-528. 被引量:5
  • 2Garfaotioi A, Riccobene E, Scandurra P. A modeldriven validation & verification environment for embedded systems. Industrial Embedded Systems, 2008,13(11):241 - 244.
  • 3Kansomkeat S, Offutt J, Abdurazik A, Baldini A. A comparative evaluation of tests generated from different UML diagrams. Software Engineering, Artificial Intelligence, Networking, and Parallel/ Distributed Computing, 2008. Ninth ACIS International Conference. 2008.867 - 872.
  • 4Makinen E, Systa T. An interactive approach for synthesizing UML statechart diagrams from sequence diagrams. OOPSLA 2000 Workshop: Scenario based round-trip engineering, New York: ACM, 2000.7 - 12.
  • 5Whittle J, Schumann J. Generating statechart designs from scenarios. Proc. of 22nd International Conference on Software Engineering(ICSE2000). New York: ACM, 2000.314 - 323.
  • 6Graaf B, Deursen VA. Model-Driven consistency checking of behavioral specifications. Proc. of the Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2007,31(31):115- 126.
  • 7Ziadi T, Helouet L, Jezequel JM. Revisiting statechart synthesis with an algebraic approach. In: Proc. of 26th International Conference on Software Engineering(ICSE2004). Washington, DC: IEEE Computer Society, 2004.242 - 251.
  • 8Hennicker R, Knapp A. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag, 2007.
  • 9崔萌,袁海,史耀馨,李宣东,郑国梁.一种基于MDA的UML顺序图到状态图的转换方法[J].南京大学学报(自然科学版),2004,40(4):470-482. 被引量:4

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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