Mourad Badri

Formal Development of Multi-Agent Systems with FPASSI: Towards Formalizing PASSI Methodology using Rewriting Logic

2017

Agent technology has showed its ability and efficiency in modeling complex distributed applications. During the last two decades, several MAS development methodologies have been proposed like, for instance, Gaia, Tropos, and PASSI. Although these methodologies …