Vincent Hilaire, Pablo Gruer, Abder Koukam, Olivier Simonin. Formal Specification Approach of Role Dynamics in Agent Organisations: Application to the Satisfaction-Altruism Model. International Journal of Software Engineering and Knowledge Engineering, 17(5):615-641, 2007. [doi]
Abstract is missing.