Modeling and computational analyses are fundamental activities within science engineering. Analysis can take various forms, such as simulation of executable models, formal verification model properties, or inference hidden variables. Traditionally, tools for modeling analysis have similar workflows: (i) a user designs textual graphical the is inferred from data, (ii) tool performs on model, (ii...