A procedure for an event-condition-transaction language

Ana Sofia Gomes, José Júlio Alferes

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Citation (Scopus)
9 Downloads (Pure)


Event-Condition-Action languages are the commonly accepted paradigm to express and model the behavior of reactive systems. While numerous Event-Condition-Action languages have been proposed in the literature, differing e.g. on the expressivity of the language and on its operational behavior, existing Event-Condition-Action languages do not generally support the action component to be formulated as a transaction. In this paper, sustaining that it is important to execute transactions in reactive languages, we propose an Event-Condition- Transaction language, based on an extension of Transaction Logic. This extension, called Transaction Logic with Events (T Rev), combines reasoning about the execution of transactions with the ability to detect complex events. An important characteristic of T Revis that it takes a choice function as a parameter of the theory, leaving open the behavioral decisions of the logic, and thereby allowing it to be suitable for a wide-spectrum of application scenarios like Semantic Web, multi-agent systems, databases, etc.We start by showing howT Revcan be used as an Event-Condition-Action language where actions are considered as transactions, and how to differently instantiate this choice function to achieve different operational behaviors. Then, based on a particular operational instantiation of the logic, we present a procedure that is sound and complete w.r.t. the semantics and that is able to execute T Revprograms.

Original languageEnglish
Title of host publicationWeb Reasoning and Rule Systems - 9th International Conference, RR 2015, Proceedings
Number of pages17
ISBN (Print)9783319220017
Publication statusPublished - 2015
Event9th International Conference on Web Reasoning and Rule Systems, RR 2015 - Berlin, Germany
Duration: 4 Aug 20155 Aug 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)03029743
ISSN (Electronic)16113349


Conference9th International Conference on Web Reasoning and Rule Systems, RR 2015


  • Computational linguistics
  • Semantic Web
  • Action language
  • Application scenario
  • Choice function
  • Operational behavior
  • Multi agent systems


Dive into the research topics of 'A procedure for an event-condition-transaction language'. Together they form a unique fingerprint.

Cite this