From AOSE methodologies to MAS infrastructures: The SODA case study