Modeling and Optimization Case Studies for Clafer Tools

This project explores optimization problems taken from existing literature or inspired by industrial problems. These include:

1) Server allocation problems: given a set of services (e.g, Mail, Calendar, Search) with a given requirements (e.g., CPU and memory), and a set of machines (servers) with resource constraints (provided SPU and memory). The task is to distribute each service among several machines, so that all requirements and resource limits are satisfied, and the number of used machines is minimized.

2) Optimization of system architectures. Given software components and hardware topologies, the task is to distribute software components among compatible hardware components, so that the given constraints are satisfied, and to optimize this allocation with respect to cost, communication rate, or other objectives.

GitHub link: github.com/gsdlab/ClaferCaseStudies