From AOSE Methodologies to MAS Infrastructures: The SODA Case Study