DIMA-Maude: Toward a Formal Framework for Specifying and Validating DIMA Agents Farid Mokhati, Noura Boudiaf Mourad Badri & Linda Badri.