A formal semantics of UML StateCharts by means of timed Petri Nets

被引：0
|
作者：
Hammal, Y [1 ]
机构：
[1] Univ Sci & Technol Houari Boumediene, LSI, Dept Informat, Fac Elect & Informat, Algiers, Algeria
来源：
FORMAL TECHNIQUES FOR NEWTOWRKED AND DISTRIBUTED SYSTEMS - FORTE 2005 | 2005年 / 3731卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper deals with the formalization of Unified Modeling language (UML) by means of Petri Nets. In order to improve the semantics of UML dynamic diagrams, we define a new method of embedding UML StateCharts into Interval Timed Petri Nets (ITPN). This method considers all kinds of hierarchical states together with the most of pseudo-states like history ones. Besides consistencies analysis, time intervals of ITPN model well event generation and dispatching delays making it possible to achieve performance and time properties analysis of complex systems.
引用
收藏
页码：38 / 52
页数：15
相关论文
共 50 条
  • [31] 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
  • [32] Requirements-level semantics for UML statecharts
    Eshuis, R
    Wieringa, R
    FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS IV, 2000, 49 : 121 - 140
  • [33] ON THE SEMANTICS OF PETRI NETS
    MESEGUER, J
    MONTANARI, U
    SASSONE, V
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 630 : 286 - 301
  • [34] The Petri-Nets to Statecharts Transformation Case
    Van Gorp, Pieter
    Rose, Louis M.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (135): : 16 - 31
  • [35] Timed approximate Petri nets
    Suraj, Zbigniew
    Fryc, Barbara
    FUNDAMENTA INFORMATICAE, 2006, 71 (01) : 83 - 99
  • [36] Processes of timed Petri nets
    Winkowski, J
    THEORETICAL COMPUTER SCIENCE, 2000, 243 (1-2) : 1 - 34
  • [37] Timed Catalytic Petri Nets
    Aman, Bogdan
    Ciobanu, Gabriel
    Pinna, G. Michele
    14TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2012), 2012, : 319 - 326
  • [38] Formal Verification of UML Statecharts using the LOTOS Formal Language
    Javani, Mohamad
    Neysiani, Behzad Soleimani
    Babamir, Seyed Morteza
    2015 2ND INTERNATIONAL CONFERENCE ON KNOWLEDGE-BASED ENGINEERING AND INNOVATION (KBEI), 2015, : 754 - 760
  • [39] Invariants of Timed Petri Nets
    D. A. Zaitsev
    Cybernetics and Systems Analysis, 2004, 40 (2) : 226 - 237
  • [40] ANALYSIS OF RAILWAY STATIONS BY MEANS OF INTERVAL TIMED COLORED PETRI NETS
    VANDERAALST, WMP
    ODIJK, MA
    REAL-TIME SYSTEMS, 1995, 9 (03) : 241 - 263
12345