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 条
  • [21] Real-Time Event-Based Tracking and Detection for Maritime Environments
    Aelmore, Stephanie
    Ordonez, Richard C.
    Parameswaran, Shibin
    Mauger, Justin
    [J]. 2021 IEEE APPLIED IMAGERY PATTERN RECOGNITION WORKSHOP (AIPR), 2021,
  • [22] REAL-TIME MOTION ESTIMATION BASED ON EVENT-BASED VISION SENSOR
    Lee, Jun Haeng
    Lee, Kyoobin
    Ryu, Hyunsurk
    Park, Paul K. J.
    Shin, Chang-Woo
    Woo, Jooyeon
    Kim, Jun-Seok
    [J]. 2014 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP), 2014, : 204 - 208
  • [23] An Event-Based Near Real-Time Data Integration Architecture
    Naeem, M. Asif
    Dobbie, Gillian
    Weber, Gerald
    [J]. EDOCW: 2008 12TH ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS, 2008, : 472 - 475
  • [24] An event-based structural operational semantics of multi-threaded java
    Cenciarelli, Pietro
    Knapp, Alexander
    Reus, Bernhard
    Wirsing, Martin
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1999, 1523 : 157 - 200
  • [25] Towards action refinement for true concurrent real time
    Majster-Cederbaum, M
    Wu, JZ
    [J]. ACTA INFORMATICA, 2003, 39 (08) : 531 - 577
  • [26] Towards action refinement for true concurrent real time
    Mila Majster-Cederbaum
    Jinzhao Wu
    [J]. Acta Informatica, 2003, 39 : 531 - 577
  • [27] Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B
    Zhu, Chenyang
    Butler, Michael
    Cirstea, Corina
    [J]. 2019 13TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2019), 2019, : 1 - 8
  • [28] REAL-TIME VISUALIZATION OF CONCURRENT PROCESSES
    SHARMA, S
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 457 : 852 - 862
  • [29] Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties
    Colombo, Christian
    Pace, Gordon J.
    Schneider, Gerardo
    [J]. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2009, 5596 : 135 - +
  • [30] COSMIC: A real-time event-based middleware for the CAN-bus
    Kaiser, J
    Brudna, C
    Mitidieri, C
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2005, 77 (01) : 27 - 36
12345