Natasha Alechina
Verifying resource requirements for distributed rule-based systems
Alechina, Natasha; Logan, Brian; Nga, Nguyen Hoang; Rakib, Abdur
Authors
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.
Presentation Conference Type | Conference Paper (Published) |
---|---|
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 |
Contract Date | Jun 16, 2017 |
You might also like
A logic for context-aware non-monotonic reasoning agents
(2014)
Presentation / Conference Contribution
Advancing underutilized crops knowledge using SWRL-enabled ontologies - A survey and early experiment
(2014)
Presentation / Conference Contribution
MyGeo-Explorer: A semantic search tool for querying geospatial information
(2015)
Journal Article
Modeling and verifying context-aware non-monotonic reasoning agents
(2015)
Presentation / Conference Contribution
A temporal description logic for resource-bounded rule-based context-aware agents
(2014)
Presentation / Conference Contribution
Downloadable Citations
About UWE Bristol Research Repository
Administrator e-mail: repository@uwe.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search