Bachelor and Master Theses

Title: An ALF/UML to ALF/SWEET translator
Subject: Computer Science
Level: Basic
Description: Action Language for Foundational UML (ALF) is used to define the semantics for the processing that occurs in actions in UML models. It is in principle an object-oriented language with conventional control constructs, basic data types, objects, and events.

It is sometimes of interest to find out properties of these modeled actions. Such properties include the possible flows through the modeled action, like constraints on the number of times a loop can be iterated or mutual exclusivity constraints. The tool SWEET (SWEdish Execution Time tool), developed at MDH, can analyse code in order to find such constraints. SWEET analyses the intermediate code format ALF (Artist2 Language for Flow analysis, not to be mixed up with UML ALF). SWEET can also analyse other languages, like C, by a translation into ALF.

The topic of this BSc project is to create and validate an ALF/UML-to-ALF/SWEET translator, which will enable the use of SWEET to analyse ALF/UML models with regard to possible flows. The main tasks are the following:

1. Identify the requirements on the translator,

2. identify a suitable subset of ALF/UML to translate,

3. Implement the translator, and

4. Validate its functionality, possibly using some use cases from SAAB.

The translator might be restricted to take as input Object Action Language (OAL), which is a simplified version of ALF/UML. The exact target will be decided at project start.

The project can be done by one or two BSc students. The workload will be adjusted accordingly.
Company: SAAB, kontaktperson: Anders Eriksson
Prel. end date: 2015-06-07
Presentation date: 2015-06-05
Student: Jonas Skoog jsg11007@student.mdh.se
Student: Jean Malm jmm11001@student.mdh.se
IDT supervisor: Jan Gustafsson
jan.gustafsson@mdh.se, +46-21-101462
Examinator: Björn Lisper
Björn Lisper
bjorn.lisper@mdh.se, +46-21-151709
Misc: The project will be done in cooperation with SAAB. The students will be located at MDH, but may make shorter visits to SAAB in Linköping.

Rapport och bilagor

Size

Senaste uppdatering

TR1741.pdf

1145426

2015-05-27, 23:01


  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2017.03.25