Representation and Processing of Instantaneous and Durative Temporal Phenomena

Pitsikalis, Manolis, Lisitsa, Alexei and Luo, Shan ORCID: 0000-0003-4760-0372 (2022) Representation and Processing of Instantaneous and Durative Temporal Phenomena. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021), 13290. pp. 135-156.

Access the full-text of this item by clicking on the Open Access link.

Text
2108.13365v1.pdf - Published version
Download (254kB) | Preview

Official URL: http://dx.doi.org/10.1007/978-3-030-98869-2_8

Abstract

Event definitions in Complex Event Processing systems are constrained by the expressiveness of each system's language. Some systems allow the definition of instantaneous complex events, while others allow the definition of durative complex events. While there are exceptions that offer both options, they often lack of intervals relations such as those specified by the Allen's interval algebra. In this paper, we propose a new logic based temporal phenomena definition language, specifically tailored for Complex Event Processing, that allows the representation of both instantaneous and durative phenomena and the temporal relations between them. Moreover, we demonstrate the expressiveness of our proposed language by employing a maritime use case where we define maritime events of interest. Finally, we analyse the execution semantics of our proposed language for stream processing and introduce the `Phenesthe' implementation prototype.

Item Type:	Article
Additional Information:	Pre-proceedings paper presented at the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021), Tallinn, Estonia, and Virtual, September 7-8, 2021 (arXiv:2107.10160)
Uncontrolled Keywords:	Event definition language, Temporal logic, Stream processing, Event recognition
Divisions:	Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User:	Symplectic Admin
Date Deposited:	26 May 2022 15:55
Last Modified:	18 Jan 2023 21:00
DOI:	10.1007/978-3-030-98869-2_8
Open Access URL:	https://arxiv.org/pdf/2108.13365.pdf
Related URLs:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3155545