APICe » Publications » MercurioCoin10

MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper)

Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi
This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO project proposal, submitted to MIUR PRIN 2009. The aim is to develop formal models of interactions and of the related support infrastructures, that overcome the limits of the current approaches by explicitly representing not only the agents but also the computational environment in terms of rules, conventions, resources, tools, and services that are functional to the coordination and cooperation of the agents. The models will enable the verification of interaction properties of MAS from the global point of view of the system as well as from the point of view of the single agents, due to the introduction a novel social semantic of interaction based on commitments and on an explicit account of the regulative rules.
In Proceedings of 11th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems (COIN 2010), 2010
@inproceedings{SR-COIN10,

booktitle = {In Proceedings of 11th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems (COIN 2010)},

author = {Baldoni, Matteo and Baroglio, Cristina and Bergenti, Federico and Boccalatte, Antonio and Marengo, Elisa and Martelli, Maurizio and Mascardi, Viviana and Padovani, Luca and Patti, Viviana and Ricci, Alessandro and Rossi, Gianfranco and Santi, Andrea},

title = {MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper)},

year = {2010},

abstract = {This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO project proposal, submitted to MIUR PRIN 2009. The aim is to develop formal models of interactions and of the related support infrastructures, that overcome the limits of the current approaches by explicitly representing not only the agents but also the computational environment in terms of rules, conventions, resources, tools, and services that are functional to the coordination and cooperation of the agents. The models will enable the verification of interaction properties of MAS from the global point of view of the system as well as from the point of view of the single agents, due to the introduction a novel social semantic of interaction based on commitments and on an explicit account of the regulative rules.},


status = {Published},
venue = {--}}