An integrated modeling, simulation, analysis, and synthesis framework for promise networks.