The high interaction of software systems requieres them adapt to their surrounding execution context. One technique to cope with this requirement is achieved, at the programming langauge level, using Context-oriented programming (COP) [2]. With the advancements of COP, it is possible to develop modular programs that can change their behavior in response to changes in the surrounding environment, or context.
However, the dynamic modification of a program’s behavior opens up the possibility of bugs during the execution of a program, due to inconsistencies or incompatibilities of the introduced behavior. This problem increases in the precence of multiple interacting contexts.
The effect of bugs or inconsistent behavior in the execution of COP programs is a symptom of the lack of assurances present in the system, as no verification can take place on-line due to time complexity of such processes.
In this project we aim to use session types [1] as a verification mechanims to assure the absense of inconsistencies of interacting contextual behavior. The use of session types in this context is of particular interest in this context, as session types are used to express interactions between entities, in our case, the interactions between the adapted behavior definitions.
The implementation plan of this thesis is as follows.
n.cardozo