MAS-DRiVE: a very first step towards decentralized
runtime verification of Agent Interaction Protocols

Software

This site provides access to the code developed for the WOA 2016 paper "MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols" by Davide Ancona, Daniela Briola, Angelo Ferrando, and Viviana Mascardi

The copyright of this code belongs to the paper authors.

**** PLEASE NOTE THAT THIS CODE IS JUST A PROOF OF CONCEPT. IT IS RELEASED AS IT IS, WITH NO WARRANTIES ON ITS FUNCTIONING ****

HOW TO USE THE GRAPH PARTITIONING PROGRAM

-- requires SWI Prolog installed
-- requires the METIS software installed and accessible from the command line (it must be in the path)
-- tested on Mageia Linux only
-- given ID the identifier of the protocol to be partitioned (which must be defined in this file following the trace expressions syntax), just call the goal partition(ID, NumPart, OutputFile) where NumPart is the number of partitions and OutputFile is the name of the file where the results will be logged.

Examples of goals:
partition(abp3, 2, './abp3Out.txt').
partition(socks, 2, './socksOut.txt').
partition(double_abp3, 2, './double_abp3Out.txt').
partition(triple_abp3, 3, './triple_abp3Out.txt').

You may download the Prolog code from here .

---

---

Please send suggestions and comments to:

Viviana Mascardi viviana.mascardi@unige.it

---

Last Updated: June, 2016