RPI.Idiom: A high-level language for first-class agent interaction protocols

In Multi-Agent Systems, first-class interaction protocols are the ones which implementations are decoupled from the agents. This paper introduces and establishes the contribution of RPI.Idiom which is a high-level language for specifying such protocols. RPI.Idiom interaction protocols satisfy several properties. They are role-based which means that they are abstract in regard of the agents. They can be automatically enacted and executed by agents in total autonomy. They are structurally generic, i.e. they are not specified as exchanged messages but in terms of behaviours which cover message exchange. They are meaningful, i.e. they explicit their own meanings. They are socially generic i.e. the meanings could express diverse forms of social prescriptions (e.g. commitments). Finally, they are modular which implies that they are reusable and potentially composable.