|Title:||An ALF/UML to ALF/SWEET translator|
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|
|Student:||Jonas Skoog email@example.com|
|Student:||Jean Malm firstname.lastname@example.org|
|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.|