Formal definition and characteristic analysis of UML sequence diagram

被引：0
|
作者：
Li, Xiaoli [1 ]
Long, Xiang [1 ]
Bao, Xiaolu [1 ]
Li, Hu [1 ]
机构：
[1] School of Computer Science and Technology, Beijing University of Aeronautics and Astronautics, Beijing 100191, China
来源：
Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics | 2010年 / 36卷 / 03期
关键词：
8;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：350 / 352
相关论文
共 50 条
  • [1] A formal semantics of UML sequence diagram
    Li, XS
    Liu, ZM
    He, JF
    2004 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2004, : 168 - 177
  • [2] Formal verification of UML 2.0 Sequence diagram
    Park, Sachoun
    Han, Taeman
    Kwon, Gihwon
    22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING & KNOWLEDGE ENGINEERING (SEKE 2010), 2010, : 411 - 416
  • [3] Formal Sequence: Extending UML Sequence Diagram for Behavior Description and Formal Verification
    Han, Deshuai
    Xing, Jianchun
    Yang, Qiliang
    Wang, Hongda
    Zhang, Xuewei
    PROCEEDINGS 2016 IEEE 40TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSAC), VOL 2, 2016, : 474 - 481
  • [4] Formal Specification and Verification of Few Combined Fragments of UML Sequence Diagram
    Nazir Ahmad Zafar
    Arabian Journal for Science and Engineering, 2016, 41 : 2975 - 2986
  • [5] Formal Specification and Verification of Few Combined Fragments of UML Sequence Diagram
    Zafar, Nazir Ahmad
    ARABIAN JOURNAL FOR SCIENCE AND ENGINEERING, 2016, 41 (08) : 2975 - 2986
  • [6] The Formal Semantics of an UML Activity Diagram
    梁义芝
    王延章
    刘云飞
    Journal of Shanghai University, 2004, (03) : 322 - 327
  • [7] Diagram Definition: A Case Study with the UML Class Diagram
    Elaasar, Maged
    Labiche, Yvan
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2011, 6981 : 364 - +
  • [8] Analysis of Sequence Diagram Layout in Advanced UML Modelling Tools
    Nikiforova, Oksana
    Putintsev, Sergii
    Ahilcenoka, Dace
    APPLIED COMPUTER SYSTEMS, 2016, 19 (01) : 37 - 43
  • [9] UML Sequence Diagram: An Alternative Model
    Al-Fedaghi, Sabah
    INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2021, 12 (05) : 635 - 645
  • [10] Formal Transformation of UML Diagram: Use Case, Class, Sequence Diagram with Z Notation for Representing the Static and Dynamic Perspectives of System
    Singh, Monika
    Sharma, A. K.
    Saxena, Ruhi
    PROCEEDINGS OF INTERNATIONAL CONFERENCE ON ICT FOR SUSTAINABLE DEVELOPMENT ICT4SD 2015, VOL 2, 2016, 409 : 25 - 38
12345