Semantics of UML statecharts in PVS

被引：0
|
作者：
Aredo, DB [1 ]
机构：
[1] Norwegian Comp Ctr, N-0314 Oslo, Norway
来源：
7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL IX, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING: II | 2003年
关键词：
formal semantics; UML; PVS; method integration; statecharts;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper, we propose formal semantics for UML statecharts in the PVS specification language. Based on the semantics, we develop a general framework for translating UML statechart diagrams into PVS specifications, and show how the resulting specification can be model-checked by using the PVS toolkits. This work is part of a long-term vision to explore how the PVS formalism can be used to underpin practical tools for checking correctness of UML models, and it contributes to the ongoing effort on providing precise semantic definitions for UML notations with the aim of clarifying the language as well as supporting development of semantically based CASE tools.
引用
收藏
页码：77 / 82
页数：6
相关论文
共 50 条
  • [1] An approach to formalizing the semantics of UML statecharts
    Zhan, XD
    Miao, HK
    CONCEPTUAL MODELING - ER 2004, PROCEEDINGS, 2004, 3288 : 753 - 765
  • [2] UML Statecharts' PTL Formal Semantics
    Zhang, PengFei
    Duan, ZhenHua
    Tian, Cong
    2009 THIRD INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION, VOL 1, PROCEEDINGS, 2009, : 381 - +
  • [3] UML Statecharts Compositional Semantics in LOTOS
    Mrowka, Rafal
    Szmuc, Tomasz
    PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED COMPUTING, 2008, : 459 - 463
  • [4] Formalizing the semantics of UML statecharts with Z
    Zhan, XD
    Miao, HK
    Liu, L
    FOURTH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, PROCEEDINGS, 2004, : 1116 - 1121
  • [5] Mechanized semantics and refinement of UML-Statecharts
    Feng Sheng
    Liang Dou
    Zong-yuan Yang
    Frontiers of Information Technology & Electronic Engineering, 2017, 18 : 1773 - 1783
  • [6] A structured operational semantics for UML-statecharts
    Michael von der Beeck
    Software and Systems Modeling, 2002, 1 (2): : 130 - 141
  • [7] A method for describing the syntax and semantics of UML statecharts
    Yan Jin
    Robert Esser
    Jörn W. Janneck
    Software & Systems Modeling, 2004, 3 (2) : 150 - 163
  • [8] On semantics and refinement of UML statecharts: A coalgebraic view
    Sun, M
    Zhang, NX
    Barbosa, LS
    PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2004, : 164 - 173
  • [9] Mechanized semantics and refinement of UML-Statecharts
    Sheng, Feng
    Dou, Liang
    Yang, Zong-yuan
    FRONTIERS OF INFORMATION TECHNOLOGY & ELECTRONIC ENGINEERING, 2017, 18 (11) : 1773 - 1783
  • [10] Requirements-level semantics for UML statecharts
    Eshuis, R
    Wieringa, R
    FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS IV, 2000, 49 : 121 - 140
12345