To read this content please select one of the options below:

Formal analysis and verification support for reactive rule-based Web agents

Katerina Ksystra (National Technical University of Athens, Athens, Greece)
Petros Stefaneas (National Technical University of Athens, Athens, Greece)

International Journal of Web Information Systems

ISSN: 1744-0084

Article publication date: 7 November 2016

310

Abstract

Purpose

Reactive rules are used for programming rule-based Web agents, which have the ability to detect events and respond to them automatically and can have complex structure and unpredictable behavior. The aim of this paper is to provide an appropriate formal framework for analyzing such rules.

Design/methodology/approach

To achieve this goal, the authors give two alternative semantics for the basic reactive rules’ families which allow us to specify reactive rule-based agents and verify their intended behavior. The first approach expresses the functionality of production and event condition action rules in terms of equations, whereas the second methodology is based in the formalism of rewriting logic. Both semantics can be expressed within the framework of CafeOBJ algebraic specification language, which then offers the verification support and have their advantages and downsides.

Findings

The authors report on experiences gained by applying those methodologies in a reactive rule-based system and compare the two methodologies.

Originality/value

Finally, the authors demonstrate a tool that translates a set of reactive rules into CafeOBJ rewrite rules, thus making the verification of reactive rules possible for inexperienced users.

Keywords

Citation

Ksystra, K. and Stefaneas, P. (2016), "Formal analysis and verification support for reactive rule-based Web agents", International Journal of Web Information Systems, Vol. 12 No. 4, pp. 418-447. https://doi.org/10.1108/IJWIS-04-2016-0024

Publisher

:

Emerald Group Publishing Limited

Copyright © 2016, Emerald Group Publishing Limited

Related articles