.::. About me

PhD & MSc in Computer Science from PEDECIBA, Uruguay. Computing Systems Engineer from Universidad de la República, Uruguay. Associate Professor (Grade 4, Full Time) at Instituto de Computación, Facultad de Ingeniería, Universidad de la República. Candidate Researcher at Agencia Nacional de Investigación e Innovación (ANII). Researcher Grade 3 at PEDECIBA.

Here it is my academic profile, and here a detailed CV.

.::. Contact

Instituto de Computación .::. Facultad de Ingeniería
J. Herrera y Reissig 565 (Edificio Instituto de Computación)
Montevideo 11300, Uruguay
(+598) 2714 2714 int. 12125 .::. (+598) 2714 2714

.::. Research Interests

My research focuses on Model-Driven Engineering (MDE) which envisions a software engineering process driven by models representing different views of the system to be constructed, and model transformations providing a (semi)automatic construction process. The adoption of a model-centric approach reduces development costs, as well as improves understanding between stakeholder. Moreover, the use of automated mechanisms for the construction of the system improves efficiency on the whole process.

In this context, my research contributes with the adoption of MDE as a software engineering paradigm, in particular with:

  • the promotion of modeling as the main software development activity
  • the experimentation on the use of models in heterogeneous contexts and on software construction from them, in particular within the context of Business Process Management (BPM)
  • the improvement of the quality and reliability of MDE products by adopting verification strategies for models and transformations
  • the establishment of formal basis for logical reasoning and automatic code generation

.::. PhD & Master Theses

PhD Thesis

Heterogeneous Verification of Model Transformations (PDF).
This thesis is about formal verification in the context of the MDE paradigm. The heterogeneity we find in the properties of interest to verify, and in the verification approaches, suggests the need of using different logical domains.
We define a unified environment that allows formal verification of model transformations using heterogeneous verification approaches, in such a way that the formal translations of the MDE elements between logical domains can be automated. We formally base the environment on the Theory of Institutions, which provides a sound basis for representing MDE elements without depending on any specific logical domain. It also provides a way for specifying semantic-preserving translations from these elements to other logical domains. Finally, we evidence the feasibility of the environment by the development of a functional prototype supported by the Heterogeneous Tool Set (HETS).

Master Thesis

UML 2.0 Interactions with OCL/RT Constraints (PDF).
The main problem addressed in this work is the definition of a formal semantics for the fusion of the UML 2.0 Interactions and the OCL for Real Time (OCL/RT) languages. The semantics allows recognizing valid and invalid behaviors of a system with time constraints. Intended for formal verification, an analysis of the properties derived from the semantics is also done. In particular, the notions of refinement of interactions and refinement of constraints are explored.