Change search
ReferencesLink to record
Permanent link

Direct link
Analysing the transformability from Action Language for fUML to ALF
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
2015 (English)Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
Abstract [en]

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.

Place, publisher, year, edition, pages
2015. , 20 p.
National Category
Computer Engineering
URN: urn:nbn:se:mdh:diva-28245OAI: diva2:820271
Subject / course
Computer Science
Available from: 2015-06-30 Created: 2015-06-11 Last updated: 2015-06-30Bibliographically approved

Open Access in DiVA

fulltext(1119 kB)21 downloads
File information
File name FULLTEXT01.pdfFile size 1119 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Malm, JeanSkoog, Jonas
By organisation
Embedded Systems
Computer Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 21 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 81 hits
ReferencesLink to record
Permanent link

Direct link