Home // ADVCOMP 2015, The Ninth International Conference on Advanced Engineering Computing and Applications in Sciences // View article

Automated Transformation of Multi-agent Protocols to Coloured Petri Nets

Authors:
Ashwag Maghraby

Keywords: Multi-agent protocol; Colored Petri net; Automated transformation; Protocol analysis.

Abstract:
As multi-agent protocols are getting more and more complex, analyze the behavior of such protocols are becoming increasingly important to ensure that it satisfies agents objectives and terminates correctly. This paper presents a tool for automated transformation from multi-agent protocols written in Lightweight Coordination Calculus language to high level Colored Petri nets models. This automation constructs well-defined mathematical structure model that can be leveraged to formal analysis multi-agent protocol and used with the Standard Functional Programming language to automatically check whether the protocol is understandable and advantageous to the objectives of agents. The benefits of our approach consist in the new approach of analysing the MAS protocol and automatically validate key behavior properties of the MAS protocol to ensure that the protocol satisfies agents objectives.

Pages: 42 to 49

Copyright: Copyright (c) IARIA, 2015

Publication date: July 19, 2015

Published in: conference

ISSN: 2308-4499

ISBN: 978-1-61208-419-0

Location: Nice,France

Dates: from July 19, 2015 to July 24, 2015