期刊文献+

MSC时间表示方法与UML序列图结合建模 被引量:1

MODELING WITH UML SEQUENCE CHART COMBINED WITH MSC TIME EXPRESSION METHOD
下载PDF
导出
摘要 介绍了系统建模中的时间相关概念,以及MSC和UML序列图对时间相关概念的表示.将MSC对时间强大的表示能力和准确的表达方法应用于UML序列图,对时间进行建模,提高了UML序列图的时间建模能力,进一步满足了实际系统,尤其是实时系统建模的要求. The time-related concepts in system modeling are introduced.Based on the similarities of MSC and UML sequence chart in time modeling,MSC's powerful and exact expression method in timing is applied to UML sequence chart to establish time modeling.Thus improving the ability of UML sequence chart's time modeling and meeting the requirements for real system especially real-time system.
作者 刘亮 叶新铭
出处 《内蒙古师范大学学报(自然科学汉文版)》 CAS 2004年第3期278-280,284,共4页 Journal of Inner Mongolia Normal University(Natural Science Edition)
基金 国家自然科学基金资助项目(60263002)
关键词 统一建模语言 UML 序列图 消息序列图 MSC 时间建模 unified modeling language(UML) sequence chart message sequence chart(MSC) time modeling
  • 相关文献

参考文献4

  • 1ITU-T Recommendation Z.120(1999) . Message Sequence Chart (MSC) [S].
  • 2[美]RgoerSPress.软件工程-实践者的研究方法 [M].北京:机械工业出版社,2000..
  • 3郑人杰 殷人昆.实用软件工程 [M].北京:清华大学出版社,2000..
  • 4王立福.软件工程 [M].北京:北京大学出版社,2001..

同被引文献14

  • 1黄陇,于洪敏,陈致明.多态性在UML顺序图测试场景生成中的影响及对策[J].计算机工程与设计,2005,26(11):3072-3073. 被引量:4
  • 2徐艳丽,张亚玲,张毅坤.基于CPNs场景模型的测试用例生成技术研究[J].计算机工程,2006,32(16):80-82. 被引量:5
  • 3石双元,张浩.基于消息顺序图和Petri网的供应链工作流模型设计[J].管理学报,2007,4(6):756-759. 被引量:7
  • 41TU - T: Recommendation: Message Sequence Chart (MSC). In- ternational Standard Z. 120 (11/99) with Corrigendum 1 [ S]. ITU - T,Intemational Telecommunication Union - Teleeommuni- eationStandardisation Sector SG 10,2001.
  • 5European Telecomm Unicafions Standards Institute ETSIES 201873 - 1v3. 1. 1. Methods for Testing and Specification (MTS) ; the Testing and Test Gontrol Notation Version 3; part 1 : TTCN - 3 Core Language[ S]. 2005.
  • 6Peled D. Specification and Verification Using Message Se- quencecharts[ J ] . Electronic Notes in Theoretical Computer- Science, 2002, 65(7) :1 - 14.
  • 7A. Gohler, Eh. Frerichs , ERTMS/ETCS SUBSET - 076 - 0 2. 2.3, ERTMS/ETCS Class 1 Test Plan[ S]. 2005.
  • 8Lizhe Chen, Qiang Li. Automated Test Case Generation from Use Case : A Model BasedApproach [ J ]. Electronic Engineer- ing Institute Heifei, China.
  • 9Fei Yan, Tao Tang. A Formal Modeling and Verification Ap- proach for Real - Time System. 2008IEEE International Confer- ence on, 2008.
  • 10王伟光,丁洪达,曾庆凯.基于形式化描述测试用例生成的研究与实现[J].计算机应用,2008,28(4):1018-1022. 被引量:4

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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