Verified Visualisation of Textual Modelling Languages

Abstract. Many modelling languages have both a textual and a graphical form. The relationship between these two forms ought to be clear and concrete, but is instead commonly underspecified, weak, and informal. Further, processes and tool support for modelling often do not treat both forms as first-class citizens, instead choosing to favour one as the "real" representation and the other as a derivable representation. As textual and graphical forms have their individual strengths and weaknesses, ideally one should be able to view and edit a model in whichever form is most desirable at the moment. Furthermore, we should be able to do so without having to worry about semantic differences between what is seen in a graphical view versus what is seen in a textual view. If we are to develop tools that allow dual-editing--simultaneous editing of both the textual and graphical forms--then it is essential that their relationship is clearly and precisely defined. This paper details a for...

• Type: Journal
• Year: 2010
• Where: ECEASST
• Authors: Fintan Fairmichael, Joseph Kiniry
• Keywords: ECEASST 2010, ECommerce, Graphical Forms, Model, Textual