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

基于Petri网的UML顺序图分析 被引量：1

Analysis of the UML Sequence Diagram Based on Petri Net
下载PDF
导出
摘要 本文针对顺序图形式分析上存在的困难,引进消息事件序约束的概念,利用Petri网理论定义了顺序图的分析模型,并给出了UML顺序图冲突和语义一致性的检查方法,最后通过一个实例说明了方法的使用。实例表明,该方法是可行和高效的。 A formal semantics of the UML sequence diagram based on the Petri net theory is defined based on the Message Event Sequence Constraint. The algorithm for the check of consistency and collision is given. Finally, the effectiveness and practicability of the method are demonstrated by an example.
作者 胡建军
机构地区 甘肃联合大学数学与信息学院
出处 《计算机工程与科学》 CSCD 北大核心 2009年第3期115-117,共3页 Computer Engineering & Science
关键词 顺序图 消息事件序约束 激活期 容量函数 sequence diagram MESC action period capacity function
分类号 TP301.2 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献7

二级参考文献31

  • 1徐锋.实战OO:交互建模[J].程序员,2004(5):55-57. 被引量：1
  • 2[1]UML version 1.3. http://www.omg.org.
  • 3[2]Booch, G., Rumbaugh, J., Jacobson, I. The Unified Modeling Language User Guide. Boston: Addison-Wesley, 1999.
  • 4[3]Jézéquel, J.M., Le Guennec, A., Pennaneach, F. Validating distributed software modeled with UML. In: Bézivin, J., Muller, P.A.,eds. Proceedings of the lst International Workshop on the Unified Modeling Language, UML'98-Beyond the Notation. Vol. 1618 of LNCS, Springer-Verlag, 1998.331～340. http://www.essaim. univ-mulhouse.fr/uml/evenements/.
  • 5[4]Evans, A., France, R., Lano, K., et al. Developing the UML as a formal modelling notation. In: Bézivin, J., Muller, P.A., eds.Proceedings of the lst International Workshop on the Unified Modeling Language, UML'98-Beyond the Notation. Vol. 1618 of LNCS, Springer-Verlag, 1998. 293～307. http://www.essaim. univ-mulhouse.fr/uml/evenements/.
  • 6[5]Offutt, J., Abdurazik, A. Generating tests from UML specifications. In: France, R., Rumpe, B., eds. Proceedings of the 2nd International Conference on UML'99, the United Modeling Language, Beyond the Standard. Vol. 1723 of LNCS, Springer-Verlag,1999. http://www.cs.colostate.edu/UML99/.
  • 7[6]Arafjo, J. Formalizing sequence diagrams. In: Andrade, L., Moreira, A., Deshpande, A., eds. Proceedings of the OOPSLA'98 Workshop on Formalizing UML. Why? How? 1998. http://www.acm.org/sigplan/oopsla/oopsla98/.
  • 8[7]Geisler, R. Precise UML semantics through formal metamodeling. In: Andrade, L., Moreira, A., Deshpande, A., eds. Proceedings of the OOPSLA'98 Workshop on Formalizing UML. Why? How? 1998. http://www.acm.org/sigplan/oopsla/oopsla98/.
  • 9[8]Kim, S.K., Carrington, D. Formalizing the UML class diagram using object_z. In: Rumpe, B., France, R.B., eds. Proceedings of the 2nd International Conference on the Unified Modeling Language. Vol. 1723 of LNCS. 1999. http://www.cs.colostate.edu/UML99/.
  • 10[9]von der Beeck, M. A concise compositional statecharts semantics definition. In: Proceedings of the FORTE/PSTV 2000. Kluwer,2000. http://forte-pstv-2000.cpr, it/

共引文献40

同被引文献3

引证文献1

二级引证文献1

计算机工程与科学
2009年 第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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