From AO Methodologies to MAS Infrastructures: The SODA Case Study