|
|
|
|
| Bachelorprojekt - Softwareteknologi | Project No. 0169: Analysis of Graphs of Interactions |
| Aktuelle | Tidligere |
Concurrent and distributed programs can be specified using high-level interaction-oriented languages (workflows, protocols, message sequence charts, choreographies,...). Such high-level specifications make the analysis of some program properties (deadlocks, information leakages, performance flaws) easier with respect to directly analysing the implementation of the program in some process-oriented languages (Java threads, Scala Actors, MPI processes,...).
The goal of the project is to implement a graph-based analysis technique for an interaction-oriented language. The tool should be able to extract a graph of interactions from a program and perform some analysis on the resulting graph. The analysis can be focused on aspects related to performance, correctness or security. There is also the possibility to exploit existing tools for extracting graphs from programs and focus on the analysis only, or on the visualisation of the graphs. Chor ( http://www.chor-lang.org/) can be used as language for interactions, but other options are possible.
| Prerequisites: | Ability to design algorithms and implement them in some programming language, as well as a basic background on software engineering and graph theory is necessary. Familiarity with concepts related to concurrency and formal methods may be useful. |
Supervisor(s) Alberto Lluch Lafuente
| Sidst opdateret: Nov 2, 2015 af Hans Henrik Løvengreen |