DMCA
Sase+: An agile language for kleene closure over event streams (2007)
Cached
Download Links
| Citations: | 15 - 0 self |
BibTeX
@MISC{Diao07sase+:an,
author = {Yanlei Diao and Neil Immerman and Daniel Gyllstrom},
title = {Sase+: An agile language for kleene closure over event streams},
year = {2007}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
In this paper, we present SASE+, a complex event language that supports Kleene closure over event streams, and provide a formal analysis of the expressibility of this language. Complex event patterns involving Kleene closure are finding application in a growing number of stream applications including financial services, RFIDbased inventory management, monitoring in healthcare, etc. While Kleene closure has been well studied for regular expression matching, Kleene closure patterns over streams have unique features regarding the event definition, event selection, and termination criteria, which fundamentally distinguish them from patterns studied in conventional problems. This paper addresses Kleene closure in this new context. In particular, we propose a compact language that can be used to define a wide variety of Kleene closure patterns, develop a formal model that precisely describes the semantics and expressive power of the language, and characterize its relationships to standard languages in the literature as well as recent proposals for stream-based event languages. 1
Keyphrases
kleene closure event stream agile language termination criterion formal analysis complex event language stream-based event language conventional problem present sase unique feature complex event pattern expressive power formal model stream application regular expression matching financial service kleene closure pattern recent proposal event definition new context event selection wide variety inventory management compact language
