A comparison of Statecharts step semantics

被引：12
|
作者：
Maggiolo-Schettini, A
Peron, A
Tini, S
机构：
[1] Univ Pisa, Dipartimento Informat, I-56125 Pisa, Italy
[2] Univ Naples Federico II, Dipartimento Sci Fisiche, I-80126 Naples, Italy
[3] Univ Insubria, Dipartimento Sci CC FF MM, I-22100 Como, Italy
来源：
THEORETICAL COMPUTER SCIENCE | 2003年 / 290卷 / 01期
关键词：
Statecharts; preorders and equivalences; structural operational semantics; rule formats;
D O I：
10.1016/S0304-3975(01)00381-4
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The paper studies some variants of Statecharts step semantics in the framework of structural operational semantics. The chosen framework allows to study precongruence and congruence properties of behavioral preorders and equivalences and to compare, with respect to these properties, the different step semantics considered. (C) 2002 Elsevier Science B.V. All rights reserved.
引用
收藏
页码：465 / 498
页数：34
相关论文
共 50 条
  • [1] Semantics of UML statecharts in PVS
    Aredo, DB
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL IX, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING: II, 2003, : 77 - 82
  • [2] INTRODUCTION TO DESIGN CHOICES IN THE SEMANTICS OF STATECHARTS
    HUIZING, C
    DEROEVER, WP
    INFORMATION PROCESSING LETTERS, 1991, 37 (04) : 205 - 213
  • [3] 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
  • [4] Semantics and Execution Time of New Timed Statecharts
    Magott, Jan
    Skrobanek, Pawel
    FUNDAMENTA INFORMATICAE, 2016, 147 (04) : 387 - 414
  • [5] A semantics-preserving transformation of statecharts to FNLOG
    Sowmya, A
    Ramesh, S
    DISTRIBUTED COMPUTER CONTROL SYSTEMS 1997 (DCCS'97), 1997, : 29 - 37
  • [6] Requirements-level semantics for UML statecharts
    Eshuis, R
    Wieringa, R
    FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS IV, 2000, 49 : 121 - 140
  • [7] Explicit modeling of semantics associated with composite states in UML statecharts
    Hu Z.
    Shatz S.M.
    Automated Software Engineering, 2006, 13 (4) : 423 - 467
  • [8] Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling
    Wright, Karla Vanessa Morris
    Hoang, Thai Son
    Snook, Colin
    Butler, Michael
    THEORETICAL ASPECTS OF COMPUTING, ICTAC 2023, 2023, 14446 : 178 - 195
  • [9] Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification
    Gruer, JP
    Hilaire, V
    Koukam, A
    Rovarini, P
    JOURNAL OF SYSTEMS AND SOFTWARE, 2004, 70 (1-2) : 95 - 105
  • [10] Requirements-level semantics and model checking of object-oriented statecharts
    Eshuis R.
    Jansen D.N.
    Wieringa R.
    Requirements Engineering, 2002, 7 (4) : 243 - 263
12345