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 条
  • [1] 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 - +
  • [2] A formal semantics of UML statecharts by model transition systems
    Varró, D
    GRAPH TRANSFORMATIONS, PROCEEDINGS, 2002, 2505 : 378 - 392
  • [3] Formal Analysis of Timed Continuous Petri Nets
    Kloetzer, Marius
    Mahulea, Cristian
    Belta, Calin
    Recalde, Laura
    Silva, Manuel
    47TH IEEE CONFERENCE ON DECISION AND CONTROL, 2008 (CDC 2008), 2008, : 245 - 250
  • [4] GIVING SEMANTICS TO SA/RT BY MEANS OF HIGH-LEVEL TIMED PETRI NETS
    ELMSTROM, R
    LINTULAMPI, R
    PEZZE, M
    REAL-TIME SYSTEMS, 1993, 5 (2-3) : 249 - 271
  • [5] 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
  • [6] Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS
    Lano, K.
    Kolahdouz-Rahimi, S.
    Maroukian, K.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (135): : 101 - 105
  • [7] Consistent Timed Semantics for Nested Petri Nets with Restricted Urgency
    Dworzanski, Leonid W.
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2016, 2016, 9884 : 3 - 18
  • [8] A (Timed) State-Transition Semantics for Reflective Petri Nets
    Capra, Lorenzo
    PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, 2009, : 164 - 170
  • [9] An interleaving semantics for UML 2 interactions using Petri nets
    Bouabana-Tebibel, Thouraya
    Rubin, Stuart H.
    INFORMATION SCIENCES, 2013, 232 : 276 - 293
  • [10] An approach to formalizing the semantics of UML statecharts
    Zhan, XD
    Miao, HK
    CONCEPTUAL MODELING - ER 2004, PROCEEDINGS, 2004, 3288 : 753 - 765
12345