Checking Temporal Constraints of Events in EBS at Runtime

IF 16.4 1区化学 Q1 CHEMISTRY, MULTIDISCIPLINARY

Accounts of Chemical Research Pub Date : 2024-03-01 DOI:10.2478/cait-2024-0005

Thanh-Binh Trinh, H. Nguyen, Dinh-Hai Nguyen, Van-Khanh To, Ninh-Thuan Truong

引用次数: 0

Abstract

As a kind of software system, the Event-Based Systems (EBS) respond to events rather than executing a predefined sequence of instructions. Events usually occur in real time, so it is crucial that they are processed in the correct order and within temporal constraints. The objective of this work is to propose an approach to check if events of EBS at runtime preserve the specification of temporal constraints. To form the approach by logic process, we have formalized the EBS model, through which, we have proved that the complexity of the checking algorithms is only polynomial. The approach has been implemented as a tool (VER) to check EBS at runtime automatically. The results of the proposed method are illustrated by checking a real-world Event Driven Architecture (EDA) application, an Intelligent transportation system.

查看原文本刊更多论文

在运行时检查 EBS 中事件的时间限制

作为一种软件系统，基于事件的系统（EBS）对事件做出响应，而不是执行预定义的指令序列。事件通常是实时发生的，因此必须按照正确的顺序并在时间限制内处理这些事件。这项工作的目的是提出一种方法，用于检查运行时 EBS 的事件是否符合时间约束规范。为了通过逻辑过程形成这种方法，我们对 EBS 模型进行了形式化，通过这种形式化，我们证明了检查算法的复杂性仅为多项式。该方法已作为工具（VER）实现，可在运行时自动检查 EBS。我们通过检查一个真实世界的事件驱动架构（EDA）应用--智能交通系统--来说明所提方法的结果。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Accounts of Chemical Research 化学-化学综合

CiteScore

31.40

自引率

1.10%

发文量

312

审稿时长

2 months

期刊介绍： Accounts of Chemical Research presents short, concise and critical articles offering easy-to-read overviews of basic research and applications in all areas of chemistry and biochemistry. These short reviews focus on research from the author’s own laboratory and are designed to teach the reader about a research project. In addition, Accounts of Chemical Research publishes commentaries that give an informed opinion on a current research problem. Special Issues online are devoted to a single topic of unusual activity and significance. Accounts of Chemical Research replaces the traditional article abstract with an article "Conspectus." These entries synopsize the research affording the reader a closer look at the content and significance of an article. Through this provision of a more detailed description of the article contents, the Conspectus enhances the article's discoverability by search engines and the exposure for the research.