Handling of Past and Future with Phenesthe+

Pitsikalis, Manolis, Lisitsa, Alexei and Totzke, Patrick ORCID: 0000-0001-5274-8190 (2023) Handling of Past and Future with Phenesthe+. .

Text 2310.00997v1.pdf - Open Access published version Download (408kB) | Preview

Abstract

Writing temporal logic formulae for properties that combine instantaneous events with overlapping temporal phenomena of some duration is difficult in classical temporal logics. To address this issue, in previous work we introduced a new temporal logic with intuitive temporal modalities specifically tailored for the representation of both instantaneous and durative phenomena. We also provided an implementation of a complex event processing system, Phenesthe, based on this logic, that has been applied and tested on a real maritime surveillance scenario. In this work, we extend our temporal logic with two extra modalities to increase its expressive power for handling future formulae. We compare the expressive power of different fragments of our logic with Linear Temporal Logic and dyadic first-order logic. Furthermore, we define correctness criteria for stream processors that use our language. Last but not least, we evaluate empirically the performance of Phenesthe+, our extended implementation, and show that the increased expressive power does not affect efficiency significantly.

Item Type:	Conference or Workshop Item (Unspecified)
Divisions:	Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User:	Symplectic Admin
Date Deposited:	12 Dec 2023 16:19
Last Modified:	12 Dec 2023 16:21
DOI:	10.4204/eptcs.390.3
Related URLs:	Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3177287