Symbolic model checking of interactions in sequence diagrams with combined fragments by SMV

被引：0
|
作者：
Kawakami, Yuka [1 ]
Yokogawa, Tomoyukit [1 ]
Miyazaki, Hisashi [2 ]
Amasaki, Sousuke [1 ]
Sato, Yoichiro [1 ]
Hayase, Michiyoshi [1 ]
机构：
[1] Graduate School of Systems Engineering, Okayama Prefectural University, Kuboki 111, Soja-shi, Okayama 719-1197, Japan
[2] Kawasaki University of Medical Welfare, 288 Matsushima, Kurashiki-shi, Okayama 701-0193, Japan
来源：
World Academy of Science, Engineering and Technology | 2010年 / 47卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：543 / 546
相关论文
共 50 条
  • [1] Symbolic model checking of interactions in sequence diagrams with combined fragments by SMV
    Kawakami, Yuka
    Yokogawa, Tomoyuki
    Miyazaki, Hisashi
    Amasaki, Sousuke
    Sato, Yoichiro
    Hayase, Michiyoshi
    World Academy of Science, Engineering and Technology, 2010, 71 : 543 - 546
  • [2] Symbolic model checking of UML activity diagrams
    Eshuis, R
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2006, 15 (01) : 1 - 38
  • [3] Symbolic model checking of UML statechart diagrams with an integrated approach
    Lam, VSW
    Padget, J
    11TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2004, : 337 - 346
  • [4] A Model Checking Based Approach for Containment Checking of UML Sequence Diagrams
    Muram, Faiz Ul
    Tran, Huy
    Zdun, Uwe
    2016 23RD ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2016), 2016, : 73 - 80
  • [5] Fully Symbolic Timed Model Checking using Constraint Matrix Diagrams
    Ehlers, Ruediger
    Fass, Daniel
    Gerke, Michael
    Peter, Hans-Joerg
    31ST IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2010), 2010, : 360 - 371
  • [6] A Spin / Promela Application for Model checking UML Sequence Diagrams
    Vidal-Silva, Cristian L.
    Villarroel, Rodolfo
    Rubio, Jose
    Johnson, Franklin
    Madariaga, Erika
    Campos, Camilo
    Carter, Luis
    INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2018, 9 (10) : 586 - 599
  • [7] Symbolic model checking of timed guarded commands using difference decision diagrams
    Moller, J
    Hulgaard, H
    Andersen, HR
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2002, 52-3 : 53 - 77
  • [8] Model checking PSL using HOL and SMV
    Tuerk, Thomas
    Schneider, Klaus
    Gordon, Mike
    HARDWARE AND SOFTWARE, VERIFICATION AND TESTING, 2007, 4383 : 1 - +
  • [9] Symbolic model checking
    McMillan, KL
    VERIFICATION OF DIGITAL AND HYBRID SYSTEM, 2000, 170 : 117 - 137
  • [10] A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments
    Dhaou, Fatma
    Mouakher, Ines
    Attiogbe, J. Christian
    Bsaies, Khaled
    ENASE: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2017, : 47 - 56
12345