I'm interested in knowing of other formal, graphical modelling languages that can be executed and/or easily composed -ex: BT can using specific tools, UML can not AFAIK.