Bachelor and Master Theses

Title: Building a tiny OCL interpreter in C++ (2 students)
Subject: Computer Science
Level: Advanced
Description: To remain competitive within the development of complex products and systems, there is a need of continuous improvement of quality factors like the time-to-market. The addition of new functionalities usually demands for the update of network nodes, an operation which is expected to be as smooth as possible. However, the complexity of each network element and the data locally stored on it makes it difficult to predict possible upgrade issues, like inconsistencies and conflicts. In fact, the current configuration data is the only available and hence verifiable against possible problems; on the contrary, the local configuration on each node will be merged later on when will be only possible to discover the problem during the application of the upgrade. As a consequence, developers are required to manually inspect update troubles and adopt possible solutions, which is a time consuming task. The goal for this thesis is to investigate the possibility to realize a tiny OCL parser which is possible to install on the node element and hence enabling a local evaluation of OCL constraints. The aim of the work is to able to compute the whole set of current constraints to be met in order to successfully update the system, and thus foresee possible troubles in the upgrade process.

Thesis goal
• To get acquainted with the overall system architecture (CPP and COM based network nodes, configuration manager, exchanged file formats).
• To get acquainted with methods for model-based specification of the system and of the new configurations through a dedicated UML profile.
• To get acquainted with the typology of possible constraints and upgrade failure scenarios.
• To get acquainted with constraints specification and verification for OCL.
• Realize a tiny OCL parser in C++ able to enable local evaluation of update constraints on the node elements, taking into account the following major points:
o Survey on existing open source OCL parsers
o Realization of the tiny evaluator
o Installation of the tiny evaluator on the node element
o Design of a meaningful output able to point out the locations of upgrade problems with respect to unsatisfied constraints
Company: Ericsson, kontaktperson: Martin Söderlund
Prel. end date: 2010-06-04
Presentation date: 2010-06-04
Student: Satish Kumar Jaiswal
Student: Inderjeet Singh Oberoi
IDT supervisor: Antonio Cicchetti, +46-21-151762
Examinator: Mikael Sjödin
Mikael Sjödin, +46 70 288 2829

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