Topics Related to Alloy, Tools and Trends: