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 条
  • [21] Software Components: a Formal Semantics Based on Coloured Petri Nets
    Bastide, Remi
    Barboni, Eric
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 160 : 57 - 73
  • [22] Timed processes of timed Petri nets
    Valero, V
    deFrutos, D
    Cuartero, F
    APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 490 - 509
  • [23] Mechanized semantics and refinement of UML-Statecharts
    Feng Sheng
    Liang Dou
    Zong-yuan Yang
    Frontiers of Information Technology & Electronic Engineering, 2017, 18 : 1773 - 1783
  • [24] A structured operational semantics for UML-statecharts
    Michael von der Beeck
    Software and Systems Modeling, 2002, 1 (2): : 130 - 141
  • [25] 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
  • [26] Formal infrastructure of multiagent system specified by agent UML and Petri nets
    Kunstic, DM
    Marina, BS
    International Conference on Computing, Communications and Control Technologies, Vol 2, Proceedings, 2004, : 302 - 307
  • [27] Formal Verification of UML State Machine Diagrams Using Petri Nets
    Lyazidi, Achraf
    Mouline, Salma
    NETWORKED SYSTEMS, NETYS 2019, 2019, 11704 : 67 - 74
  • [28] Formal infrastructure for modelling intelligent agents with agent UML and Petri nets
    Bagic, M
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: OTM 2004 WORKSHOPS, PROCEEDINGS, 2004, 3292 : 842 - 853
  • [29] Semantics and Execution Time of New Timed Statecharts
    Magott, Jan
    Skrobanek, Pawel
    FUNDAMENTA INFORMATICAE, 2016, 147 (04) : 387 - 414
  • [30] 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
12345