Skip to main content

Research Repository

Advanced Search

Verifying resource requirements for distributed rule-based systems

Alechina, Natasha; Logan, Brian; Nga, Nguyen Hoang; Rakib, Abdur

Authors

Natasha Alechina

Brian Logan

Nguyen Hoang Nga

Profile Image

Rakib Abdur Rakib.Abdur@uwe.ac.uk
Senior Lecturer in Mobile Security



Contributors

Nick Bassiliades
Editor

Guido Governatori
Editor

Adrian Paschke
Editor

Abstract

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.

Citation

Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2008). Verifying resource requirements for distributed rule-based systems. In N. Bassiliades, G. Governatori, & A. Paschke (Eds.), Rule Representation, Interchange and Reasoning on the Web (31-38). https://doi.org/10.1007/978-3-540-88808-6_6

Publication Date Oct 30, 2008
Deposit Date Jun 16, 2017
Print ISSN 0302-9743
Publisher Springer Verlag
Peer Reviewed Peer Reviewed
Volume 5321 LNCS
Pages 31-38
Book Title Rule Representation, Interchange and Reasoning on the Web
ISBN 3540888071; 9783540888079
DOI https://doi.org/10.1007/978-3-540-88808-6_6
Keywords rule-based system, distributed reasoning, model checking
Public URL https://uwe-repository.worktribe.com/output/1008081
Publisher URL http://dx.doi.org/10.1007/978-3-540-88808-6_6
Related Public URLs https://link.springer.com/chapter/10.1007%2F978-3-540-88808-6_6