Allomorphic allows you to model the behavior of your software product, and computes the system that powers it