Analysing the transformability from Action Language for fUML to ALF

Abstract: Graphical modelling languages, such as UML, are commonly used by software developers to plan and design larger systems. In order to test these designs, executable models such as foundational UML utilizing the action language Alf have been introduced. This added functionality makes it possible to analyse the system during the design phase. One type of analysis that may be of interest is the flow analysis. One way of performing such an analysis is through the use of the SWEET (SWEdish Execution Time) tool, developed at Mälardalen University.SWEET requires code to be in the intermediate language ALF (not to be confused with Alf for modelling), so in order to perform a flow analysis during the design phase of a system, the textual modelling language Alf has to be translated to the intermediate language for flow analysis ALF. This paper begins by presenting the problem and background of performing such a translation and continues by describing the methods used to determine a subset of Alf suited for translation. The proposed translation is finally validated through the (manual) translation and verification of a case study.