Introduction to Cologne

Cologne is a declarative optimization platform that enables constraint optimization problems (COPs) to be declaratively specified and incrementally executed in distributed systems. Cologne integrates the RapidNet declarative networking engine with the Gecode constraint solver. Cologne uses the Colog declarative language that combines distributed Datalog used in declarative networking with language constructs for concisely specifying goals and constraints used in COPs. We believe Cologne platform has tremendous practical value in facilitating extensible distributed systems optimizations:

  • Cologne can flexibly support a wide range of policy-based optimizations in distributed systems (e.g., cloud computing and wireless networking).
  • Cologne results in orders of magnitude (about 100X) less code compared to imperative implementations.
  • Cologne is highly efficient with low overhead and fast convergence times.

  • Cologne system overview