Event-based operational semantics and a consistency result for real-time concurrent processes with action refinement

被引：0
|
作者：
Xiu-Li Sun
Wen-Yin Zhang
Jin-Zhao Wu
机构：
[1] The Chinese Academy of Sciences,Chengdu Institute of Computer Applications
[2] Universität Mannheim,Fakultät für Mathematik und Informatik
来源：
Journal of Computer Science and Technology | 2004年 / 19卷
关键词：
action refinement; real-time process algebra; semantics; timed event structure; formal method;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
In this paper an event-based operational interleaving semantics is proposed for real-time processes, for which action refinement and a denotational true concurrency semantics are developed and defined in terms of timed event structures. The authors characterize the timed event traces that are generated by the operational semantics in a denotational way, and show that this operational semantics is consistent with the denotational semantics in the sense that they generate the same set of timed event traces, thereby eliminating the gap between the true concurrency and interleaving semantics.
引用
收藏
页码：828 / 839
页数：11
相关论文
共 50 条
  • [41] A SPECIFICATION-ORIENTED SEMANTICS FOR THE REFINEMENT OF REAL-TIME SYSTEMS
    SCHOLEFIELD, D
    ZEDAN, H
    HE, JF
    [J]. THEORETICAL COMPUTER SCIENCE, 1994, 131 (01) : 219 - 241
  • [42] RVERL: Run-time verification of real-time and reactive programs using event-based real-time logic approach
    Jahli, Saeed
    MirzaAghaei, Mehdi
    [J]. SERA 2007: 5TH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH, MANAGEMENT, AND APPLICATIONS, PROCEEDINGS, 2007, : 550 - +
  • [43] An Event-Based Framework for Facilitating Real-Time Sentiment Analysis in Educational Contexts
    Chen, Weisi
    Liu, Bin
    Zhang, Xu
    Al-Qudah, Islam
    [J]. 2022 11TH INTERNATIONAL CONFERENCE ON EDUCATIONAL AND INFORMATION TECHNOLOGY (ICEIT 2022), 2022, : 57 - 61
  • [44] Real-time event-based formation control of a group of VTOL-UAVs
    Guerrero-Castellanos, J. F.
    Vega-Alonzo, A.
    Marchand, N.
    Durand, S.
    Linares-Flores, J.
    Mino-Aguilar, G.
    [J]. 2017 3RD INTERNATIONAL CONFERENCE ON EVENT-BASED CONTROL, COMMUNICATION AND SIGNAL PROCESSING (EBCCSP), 2017,
  • [45] An event-based approach for formally verifying runtime adaptive real-time systems
    Nissaf Fredj
    Yessine Hadj Kacem
    Mohamed Abid
    [J]. The Journal of Supercomputing, 2021, 77 : 3110 - 3143
  • [46] A Discrete Event-Based Simulation Model for Real-Time Traffic Management in Railways
    Luis Espinosa-Aranda, Jose
    Garcia-Rodenas, Ricardo
    [J]. JOURNAL OF INTELLIGENT TRANSPORTATION SYSTEMS, 2012, 16 (02) : 94 - 107
  • [47] An event-based approach for formally verifying runtime adaptive real-time systems
    Fredj, Nissaf
    Hadj Kacem, Yessine
    Abid, Mohamed
    [J]. JOURNAL OF SUPERCOMPUTING, 2021, 77 (03): : 3110 - 3143
  • [48] EventiC: A Real-Time Unbiased Event-Based Learning Technique for Complex Systems
    Danishvar, Morad
    Mousavi, Alireza
    Broomhead, Peter
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2020, 50 (05): : 1649 - 1662
  • [49] A Reconfigurable Architecture for Real-time Event-based Multi-Object Tracking
    Gao, Yizhao
    Wang, Song
    So, Hayden Kwok-Hay
    [J]. ACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS, 2023, 16 (04)
  • [50] Event-Based Methodology for Real-Time Data Analysis in Cyber Physical Systems
    Kristiansen, Stein
    Goebel, Vera
    Oyri, Karl
    Plagemann, Thomas
    [J]. CYBERNETICS APPROACHES IN INTELLIGENT SYSTEMS: COMPUTATIONAL METHODS IN SYSTEMS AND SOFTWARE 2017, VOL. 1, 2018, 661 : 184 - 195
12345