Forschungsthemen
[DA] Towards a Type System for Roles
Todays distributed and highly available software infrastructures always need to anticipate changing context. New business rules and functions should be implemented and adapted targeting specific platforms. The concept of role modeling and programming is frequently discussed for decades across different scientific areas. It allows for modeling and implementing context-dependent information and behavior wrt. dynamically changing context. Hence, future software systems will benefit from introducing roles.
The Compartment Role Object Model (CROM) represents such a role-based modeling language, whereas SCala ROLes Language (SCROLL) is a novel role-based programming language. Until now the implementation with existing (object-oriented) programing languages always require the generation of a specific runtime environment and management code. However, these workarounds are not able to cope with essential role-specific features, such as true delegation or dynamic role binding. To make things worse, their correctness cannot be statically verified, without extending the classical type system. As a result, for future software systems such an extended type system is indispensable.
Currently, there exists no type system for roles that combines CROM and SCROLL. Thus, the goal of this thesis is to explore different approaches, adapt and implement one of them to prototypically enhance SCROLL with typing information extracted from CROM. This will enables type-safe role-dispatch supporting the programmer of role- based systems. The provided solution must be easy to maintain and extend to enable further development.
To achieve these goals, the student must perform the following tasks:
Betreuer: Max Leuthäuser