License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.TIME.2022.4
URN: urn:nbn:de:0030-drops-172519
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2022/17251/
Go to the corresponding LIPIcs Volume Portal

Mackey, Isaac ; Chimni, Raghubir ; Su, Jianwen

Early Detection of Temporal Constraint Violations

pdf-format:
LIPIcs-TIME-2022-4.pdf (0.9 MB)

Abstract

Software systems rely on events for logging, system coordination, handling unexpected situations, and more. Monitoring events at runtime can ensure that a business service system complies with policies, regulations, and business rules. Notably, detecting violations of rules as early as possible is much desired as it allows the system to reclaim resources from erring service enactments. We formalize a model for events and a logic-based rule language to specify temporal and data constraints. The primary goal of this paper is to develop techniques for detecting each rule violation as soon as it becomes inevitable. We further develop optimization techniques to reduce monitoring overhead. Finally, we implement a monitoring algorithm and experimentally evaluate it to demonstrate our approach to early violation detection is beneficial and effective for processing service enactments.

BibTeX - Entry

@InProceedings{mackey_et_al:LIPIcs.TIME.2022.4,
  author =	{Mackey, Isaac and Chimni, Raghubir and Su, Jianwen},
  title =	{{Early Detection of Temporal Constraint Violations}},
  booktitle =	{29th International Symposium on Temporal Representation and Reasoning (TIME 2022)},
  pages =	{4:1--4:16},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-262-4},
  ISSN =	{1868-8969},
  year =	{2022},
  volume =	{247},
  editor =	{Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2022/17251},
  URN =		{urn:nbn:de:0030-drops-172519},
  doi =		{10.4230/LIPIcs.TIME.2022.4},
  annote =	{Keywords: temporal constraints, monitoring, events, early violation detection}
}

Keywords: temporal constraints, monitoring, events, early violation detection
Collection: 29th International Symposium on Temporal Representation and Reasoning (TIME 2022)
Issue Date: 2022
Date of publication: 29.10.2022

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI