On the declarative specification of models

Computer power and automatic graph-drawing algorithms have sufficiently advanced so as to allow the automatic placement of graph nodes on the canvas and the near optimal routing of the respective edges. So, we can design models using a declarative textual representation and subsequently view, publish, and share them in graphical form. Creating models in a declarative, textual notation offers several advantages. The model composition mechanism matches well both the programmer´s high-level skills and low-level skills.