Towards Real-Time Semantics for a Distributed Event-Based MOP Language

被引：0

作者：

Sanabria, Mateo ^{[1
]}

Garzon Alfonso, Wilmer ^{[1
]}

Benavides Navarro, Luis Daniel ^{[1
]}

机构：

[1] Escuela Colombiana Ingn Julio Garavito, Bogota, Colombia

来源：

NEW TRENDS IN MODEL AND DATA ENGINEERING (MEDI 2018) | 2018年 / 929卷

关键词：

Rewriting logic; Semantics; Distributed programming Event oriented programming; Explicit time management;

D O I：

10.1007/978-3-030-02852-7_20

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

This paper investigates rewriting logic as a suitable means to model the semantics of distributed and concurrent systems implemented using Monitoring Oriented Programming (MOP) frameworks. MOP tools close the gap between specification and implementation, allowing several formal specifications and concrete implementations to be combined into a single executing system. To address real-time monitoring of modern distributed applications, we recently proposed REAL-T, a reactive event-based distributed programming language with explicit support for distributions and time manipulation. REAL-T allows programmers to instrument distributed applications to monitor and enforce specific behavior. It also supports requirements of modern reactive applications (responsiveness, resiliency, elasticity and asynchronous communication). The REAL-T programming model is very flexible, making the semantic specifications very challenging.

引用

页码：231 / 243

页数：13

共 50 条

[41] 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)
[42] Real-Time Event-Based Dynamic Multi-Facility Vehicle Rerouting
Madhu, Ajaykrishna
Harikrishnakumar, Ramkumar
Nannapaneni, Saideep
Krishnan, Krishna
[J]. 2020 IEEE 23RD INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING (ISORC 2020), 2020, : 152 - 153
[43] 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
[44] hARMS: A Hardware Acceleration Architecture for Real-Time Event-Based Optical Flow
Stumpp, Daniel C.
Akolkar, Himanshu
George, Alan D.
Benosman, Ryad B.
[J]. IEEE ACCESS, 2022, 10 : 58181 - 58198
[45] 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
[46] COMPARATIVE SEMANTICS FOR A REAL-TIME PROGRAMMING LANGUAGE WITH INTEGRATION
VANBREUGEL, F
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 493 : 397 - 411
[47] AN OPERATIONAL APPROACH TO SEMANTICS OF REAL-TIME PROGRAMMING LANGUAGE
HUZAR, Z
[J]. COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1991, 10 (03): : 239 - 254
[48] An algebraic semantics of event-based architectures
Fladeiro, Jose Luiz
Lopes, Antonia
[J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2007, 17 (05) : 1029 - 1073
[49] A Distributed Real-time Control System Modeling and XNM-based semantics
Zhang Jing
Zhang Yunsheng
Zhang Jiang
Chen Hao
Zhang Changsheng
xiang Fenghong
[J]. 2006 CHINESE CONTROL CONFERENCE, VOLS 1-5, 2006, : 1133 - +
[50] Real-Time Analog Event-Detection for Event-Based Synchronous Sampling of Sparse Sensor Signals
Bunaiyan, Saleh
Al-Dirini, Feras
[J]. 2021 IEEE INTERNATIONAL MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS (MWSCAS), 2021, : 1053 - 1057

← 1 2 3 4 5 →