Högskolan i Skövde

his.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • apa-cv
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
REX, the Rule and Event eXplorer
University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
University of Skövde, The Informatics Research Centre.ORCID iD: 0000-0001-8362-3825
2007 (English)In: DEBS '07: Proceedings of the 2007 inaugural international conference on Distributed event-based systems, New York: Association for Computing Machinery (ACM), 2007, p. 71-74Conference paper, Published paper (Refereed)
Abstract [en]

Complex Event Processing (CEP) is a technology with support for matching patterns in a cloud or streams of events in order to support detection of specific combinations of event occurrences. A clever specification of event patterns may, for example, detect fraud attempts in a banking system, fire an alarm in response to hazardous situations in a control system or report suspicious customer behavior.

Several CEP engines have support for graphically modelling applications as well as perform tests and provide execution traces to verify the application behavior. We argue that it is beneficial to complement testing with formal verification in order to detect errors in early stages of development.

In this paper, we present the research prototype tool REX. REX is built as a loosely coupled front end to the timed-automata CASE tool UPPAAL. CEP applications and application specific properties can be specified in REX. To support formal verification, REX seamlessly transforms the CEP application together with the specified properties to the timed automata CASE tool UPPAAL where the properties are verified by the model-checker provided by UPPAAL.

Place, publisher, year, edition, pages
New York: Association for Computing Machinery (ACM), 2007. p. 71-74
Series
ACM International Conference Proceeding Series ; 233
Keywords [en]
Design, Verification, CEP, Timed automata
National Category
Computer and Information Sciences
Research subject
Technology
Identifiers
URN: urn:nbn:se:his:diva-2110DOI: 10.1145/1266894.1266906Scopus ID: 2-s2.0-34548019026ISBN: 978-1-59593-665-3 (print)OAI: oai:DiVA.org:his-2110DiVA, id: diva2:32386
Conference
The 2007 inaugural international conference on Distributed event-based systems, Toronto, June 20 - 22, 2007
Note

Copyright © 2007 ACM

Available from: 2008-05-30 Created: 2008-05-30 Last updated: 2021-02-22Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Ericsson, AnnMarieBerndtsson, Mikael

Search in DiVA

By author/editor
Ericsson, AnnMarieBerndtsson, Mikael
By organisation
School of Humanities and InformaticsThe Informatics Research Centre
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 1202 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • apa-cv
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf