his.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
2007 (English)In: the 2007 inaugural international conference on Distributed event-based systems, ACM Press, 2007, 71-74 p.Conference 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
ACM Press, 2007. 71-74 p.
Keyword [en]
Design, Verification, CEP, Timed automata
National Category
Computer and Information Science
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 OAI: oai:DiVA.org:his-2110DiVA: diva2:32386
Conference
2007 Inaugural International Conference on Distributed Event-Based Systems, DEBS'07;Toronto, ON;20 June 2007through22 June 2007
Available from: 2008-05-30 Created: 2008-05-30 Last updated: 2013-03-26

Open Access in DiVA

No full text

Other links

Publisher's full textScopushttp://portal.acm.org/ft_gateway.cfm?id=1266906&type=pdf&coll=&dl=&CFID=30097765&CFTOKEN=98329584

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 741 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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