A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis

被引：0
|
作者：
Lima, Lucas [1 ]
Iyoda, Juliano [1 ]
Sampaio, Augusto [1 ]
机构：
[1] Univ Fed Pernambuco, Ctr Informat, Recife, PE, Brazil
来源：
PROCEEDINGS OF THE 2014 2ND INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2014) | 2014年
关键词：
Sequence Diagrams; SysML; Semantics; CML; CHECKING;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We propose a semantics for Sequence Diagrams based on the COMPASS Modelling Language (CML): a formal specification language to model systems of systems. A distinguishing feature of our semantics is that it is defined as part of a larger effort to define the semantics of several diagrams of SysML, a UML profile for systems engineering. We have defined a fairly comprehensive semantics for Sequence Diagrams, which comprises sequential and parallel constructors, loops, breaks, alternatives, synchronous and asynchronous messages. We illustrate our semantics with a scenario of a case study of a system of systems. We also discuss an analysis strategy which involves an integrated view of several diagrams.
引用
收藏
页码：317 / 324
页数：8
相关论文
共 50 条
  • [1] Formal Semantics of Interactions in Sequence Diagrams for Embedded Software
    Ejnioui, Abdel
    Otero, Carlos E.
    Qureshi, Abrar A.
    2013 IEEE CONFERENCE ON OPEN SYSTEMS (ICOS), 2013, : 106 - +
  • [2] A semantics of sequence diagrams
    Cho, SM
    Kim, HH
    Cha, SD
    Bae, DH
    INFORMATION PROCESSING LETTERS, 2002, 84 (03) : 125 - 130
  • [3] A FORMAL SEMANTICS FOR OBJECT MODEL DIAGRAMS
    BOURDEAU, RH
    CHENG, BHC
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (10) : 799 - 821
  • [4] Feature diagrams: A survey and a formal semantics
    Schobbens, Pierre-Yves
    Heymans, Patrick
    Trigaux, Jean Christophe
    Bontemps, Yves
    RE'06: 14TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, PROCEEDINGS, 2006, : 139 - +
  • [5] A formal semantics for object model diagrams - Comment
    Botting, RJ
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1996, 22 (12) : 911 - 911
  • [6] A formal semantics of UML sequence diagram
    Li, XS
    Liu, ZM
    He, JF
    2004 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2004, : 168 - 177
  • [7] Formal semantics for AUML agent interaction protocol diagrams
    Cabac, L
    Moldt, D
    AGENT-ORIENTED SOFTWARE ENGINEERING V, 2005, 3382 : 47 - 61
  • [8] ON π-CALCULUS SEMANTICS AS A FORMAL BASIS FOR UML ACTIVITY DIAGRAMS
    Lam, Vitus W.
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2008, 18 (04) : 541 - 567
  • [9] Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification
    Mouakher, Ines
    Dhaou, Fatma
    Attiogbe, J. Christian
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2022, 37 (01) : 4 - 28
  • [10] Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification
    Inès Mouakher
    Fatma Dhaou
    J. Christian Attiogbé
    Journal of Computer Science and Technology, 2022, 37 : 4 - 28
12345