Understanding Promise Theory Using Rewriting Logic

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.

• Type: Conference
• Year: 2007
• Where: AIMS
• Authors: Kyrre M. Begnum, Mark Burgess
• Keywords: AIMS 2007, Computer Networks, Maude Framework, Maude Module, Valid Promise Expressions