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 条
  • [41] Fuzzy timed Petri nets
    Pedrycz, W
    Camargo, H
    FUZZY SETS AND SYSTEMS, 2003, 140 (02) : 301 - 330
  • [42] Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata
    Zhou, Yu
    Baresi, Luciano
    Rossi, Matteo
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2013, 28 (01) : 188 - 202
  • [43] Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata
    Yu Zhou
    Luciano Baresi
    Matteo Rossi
    Journal of Computer Science and Technology, 2013, 28 : 188 - 202
  • [44] Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata
    周宇
    Luciano Baresi
    Matteo Rossi
    JournalofComputerScience&Technology, 2013, 28 (01) : 188 - 202
  • [45] Limits of fluidification for a stochastic Petri Nets by timed continuous Petri Nets
    Benaya, N.
    El-Akchioui, N.
    Mourabit, T.
    2018 INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND COMPUTER VISION (ISCV2018), 2018,
  • [46] Petri nets model of unified modeling language statecharts
    Guo, Feng
    Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2007, 13 (07): : 1300 - 1307
  • [47] Interpreted synchronous extension of time Petri nets Definition, semantics and formal analysis
    Godary-Dejean, Karen
    Leroux, Helene
    Andreu, David
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2022, 32 (01): : 27 - 64
  • [48] Formal test-case generation for UML statecharts
    Gnesi, S
    Latella, D
    Massink, M
    NINTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS: NAVIGATING COMPLEXITY IN THE E-ENGINEERING AGE, 2004, : 75 - 84
  • [49] Formal semantics of UML 2.0
    School of Computer Science and Technology, Soochow University, Suzhou 215006, China
    不详
    不详
    Nanjing Youdian Daxue Xuebao (Ziran Kexue Ban), 2007, 3 (39-43):
  • [50] On Petri nets semantics for π-calculus
    School of Electronic and Information Engineering, Xi'an Jiaotong University, Xi'an 710049, China
    不详
    Kongzhi yu Juece Control Decis, 2007, 8 (864-868):
12345