A tool for defining agent protocols in HAPN: Demonstration

Yadav, N, Padgham, L and Winikoff, M 2015, 'A tool for defining agent protocols in HAPN: Demonstration', in R. H. Bordini, E. Elkind, G. Weiss and P. Yolum (ed.) Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, Istanbul, Turkey, 4-8 May 2015, pp. 1935-1936.


Document type: Conference Paper
Collection: Conference Papers

Title A tool for defining agent protocols in HAPN: Demonstration
Author(s) Yadav, N
Padgham, L
Winikoff, M
Year 2015
Conference name Autonomous Agents and Multiagent Systems
Conference location Istanbul, Turkey
Conference dates 4-8 May 2015
Proceedings title Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems
Editor(s) R. H. Bordini, E. Elkind, G. Weiss and P. Yolum
Publisher Association for Computing Machinery
Place of publication United States
Start page 1935
End page 1936
Total pages 2
Abstract 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.
Subjects Adaptive Agents and Intelligent Robotics
Keyword(s) agent protocols
Copyright notice © 2015 International Foundation for Autonomous Agents and Multiagent Systems
ISBN 9781450334136
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 4 times in Scopus Article | Citations
Access Statistics: 98 Abstract Views  -  Detailed Statistics
Created: Thu, 02 Feb 2017, 07:25:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us