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

被引：2
|
作者：
Sun, XL [1 ]
Zhang, WY
Wu, JZ
机构：
[1] Chinese Acad Sci, Chengdu Inst Comp Applicat, Chengdu 610041, Peoples R China
[2] Univ Mannheim, Fak Math & Informat, D-68131 Mannheim, Germany
来源：
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY | 2004年 / 19卷 / 06期
基金：
中国国家自然科学基金;
关键词：
action refinement; real-time process algebra; semantics; timed event structure; formal method;
D O I：
10.1007/BF02973446
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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
页数：12
相关论文
共 50 条
  • [1] Event-based operational semantics and a consistency result for real-time concurrent processes with action refinement
    Xiu-Li Sun
    Wen-Yin Zhang
    Jin-Zhao Wu
    [J]. Journal of Computer Science and Technology, 2004, 19 : 828 - 839
  • [2] Operational semantics for real-time processes with action refinement
    Sun, XL
    Wu, JZ
    [J]. SEFM 2005: THIRD IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2005, : 54 - 63
  • [3] Action Refinement for Real-Time Concurrent Processes with Urgency
    Qin, Guangping
    Wu, Jinzhao
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 139 (01) : 123 - 144
  • [4] Action Refinement for Real-Time Concurrent Processes with Urgency
    Guang-Ping Qin
    Jin-Zhao Wu
    [J]. Journal of Computer Science and Technology, 2005, 20 : 514 - 525
  • [5] Action refinement for real-time concurrent processes with urgency
    Qin, GP
    Wu, JZ
    [J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005, 20 (04) : 514 - 525
  • [6] Towards Real-Time Semantics for a Distributed Event-Based MOP Language
    Sanabria, Mateo
    Garzon Alfonso, Wilmer
    Benavides Navarro, Luis Daniel
    [J]. NEW TRENDS IN MODEL AND DATA ENGINEERING (MEDI 2018), 2018, 929 : 231 - 243
  • [7] Real-Time Concurrent Constraint Calculus: The Complete Operational Semantics
    Gerardo, M.
    Sarria, M.
    [J]. ENGINEERING LETTERS, 2011, 19 (01) : 38 - 45
  • [8] An equivalence theorem for the operational and temporal semantics of real-time, concurrent programs
    Cardell-Oliver, R
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (04) : 545 - 567
  • [9] Event-Based Line SLAM in Real-Time
    Chamorro, William
    Sola, Joan
    Andrade-Cetto, Juan
    [J]. IEEE ROBOTICS AND AUTOMATION LETTERS, 2022, 7 (03) : 8146 - 8153
  • [10] Real-Time Event-Based Energy Metering
    Simonov, Mikhail
    Chicco, Gianfranco
    Zanetto, Gianluca
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2017, 13 (06) : 2813 - 2823
12345