Conference Proceedings
A tool for defining agent protocols in HAPN (demonstration)
N Yadav, L Padgham, M Winikoff
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems Aamas | Published : 2015
DOI: 10.65109/gstu8382
Abstract
This demonstration is exhibiting an interactive tool for denning agent protocols using a new notation "HAPN" which we have developed to overcome issues we have experienced with commonly used agent protocol notations such as AUML. The notation has a formal semantics which facilitates back end support within the tool for checking desirable or undesirable properties of a specification. The notation is an extension of hierarchical finite state machines and the tool is implemented in HTML5 and Javascript.