Verifying resource requirements for distributed rule-based systems

N. Alechina, B. Logan, N.H. Nga, A. Rakib

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

1 Citation (Scopus)


Rule-based systems are rapidly becoming an important component of ‘mainstream’ computing technologies, for example in business process modelling, the semantic web, sensor networks etc. However, while rules provide a flexible way of implementing such systems, the resulting system behaviour and the resources required to realise it can be difficult to predict. In this paper we consider the verification of system behaviour and resource requirements for distributed rule-based systems. More specifically, we consider distributed problem-solving in systems of communicating rule-based systems, and ask how much time (measured as the number of rule firings) and message exchanges does it take the system to find a solution. We show how standard model-checking technology can be used to verify resource requirements for such systems, and present preliminary results which highlight complex tradeoffs between time and communication bounds.
Original languageEnglish
Title of host publicationRule Representation, Interchange and Reasoning on the Web
EditorsNick Bassiliades, Guido Governatori, Adrian Paschke
Number of pages8
ISBN (Electronic)978-3-540-88807-9
ISBN (Print)978-3-540-88807-9
Publication statusPublished - 2008
Externally publishedYes

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


  • Model Check
  • Multiagent System
  • Resource Requirement
  • Horn Clause
  • Communication Bound


Dive into the research topics of 'Verifying resource requirements for distributed rule-based systems'. Together they form a unique fingerprint.

Cite this