Current MSc Students
Victor Moreira, B.Sc. (ISCTE-IUL)Supervisor: Fernando Brito e AbreuProgram: MIG (ISCTE-IUL)Thesis title: A Profile for Modelling IT InfrastructuresAbstract: This research project will survey existing modeling approaches for IT infrastructures (ITIs). A UML profile for modeling ITIs will be proposed and deployed in a widely used UML modeling tool. Well-formedness rules for the aforementioned profile will be expressed in OCL. This profile will be partly instantiated with data taken from a CMDB (Configuration Management Data Base) of a real ITI (case study). Profile validation will be done with the help of ITI experts. The problem of scaling up models will be addressed by means of a graph visualization tool.
André Rodrigues, B.Sc. (FCT/UNL)Supervisor: Miguel Pessoa MonteiroProgram: MEI (FCT/UNL)Thesis title: Paralelization Framework for ScalaAbstract: This project will explore the potential of the Scala programming language as an alternative to aspect-oriented programming in supporting parallel and GPU computing. An existing framework for the paralelization of applications, coded in AspectJ, will be analysed and a functionally equivalent implementation in Scala will be developed. The two versions of the framework will be subject to a comparative analysis.
Hugo Barona, B.Sc. (FCT/UNL)Supervisor: Fernando Brito e AbreuProgram: MGSI (ISCTE-IUL)Thesis title: Checking and Improving Business Process Models in BPMN2Abstract: This research project will survey the current state-of-the-art BPMN modeling tools to assess if they prevent modelers from creating models violating known well-formedness rules. It will identify which are the most recurrent defects introduced by BPMN modelers and will check for the existence of patterns of defects co-occurrence. Last, but not the least, it will explore the hipothesis that a metamodeling-based validation facility (prototype to be constructed in the context of this project) can be used to prevent introducing modeling errors, while speeding up the learning curve.