Understanding Promise Theory Using Rewriting Logic

Authors:
Kyrre Begnum;Mark Burgess
Affiliations:
Oslo University College, Norway;Oslo University College, Norway
Venue:
AIMS '07 Proceedings of the 1st international conference on Autonomous Infrastructure, Management and Security: Inter-Domain Management
Year:
2007

Citing 2
Cited 0

Adaptive provisioning using virtual machines and autonomous role-based management

ICAS '06 Proceedings of the International Conference on Autonomic and Autonomous Systems
Voluntary cooperation in pervasive computing services

LISA '05 Proceedings of the 19th conference on Large Installation System Administration Conference - Volume 19

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe our effort to evaluate the syntax and constraints of Promise Theory using a tool developed in the Maude framework. Through the development of a Maude module we are able to do searches and queries in all possible syntactically valid Promise expressions of an arbitrary initial state of participants and constraints. We use this approach to improve the set of grammatical rules that is already available.