A Tool for Defining Agent Protocols in HAPN: (Demonstration)
Nitin Yadav, Lin Padgham, Michael Winikoff · RMIT Research Repository (RMIT University Library) · 2015
This demonstration is exhibiting an interactive tool for defining 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.