Atenea Research Group

Modeling Software Systems

About us

The team is part of the ITIS Software institute, and conducts basic and applied research on modeling software systems, and on the provision of engineering tools to design, analyse, evaluate and implement distributed information systems.

Fundamental to this objective is the recognition that information systems must be realized in an environment where data and processing are distributed across heterogeneous IT resources and multiple organizational domains, work in physical environments, and are mainly developed and deployed by re-using or integrating existing components and applications, most of which are either commercial off-the-shelf artefacts (models, components), legacy systems, or external applications.

We also rely on the formal specification of systems, at the appropriate level of abstraction, and with the help of notations and tools that can be easily used by system engineers in their daily work. This is why Model-Based Software Engineering is so important for us.

Research interests

Our premier research areas are focused on:

Modeling languages for expressing specifications of systems and their integration and distribution.

Functions and tools to support different kinds of formal analyses of distributed systems, including Model-based Testing.

Performance, scalabilty and correctness analysis of models and model transformations.

Techniques and tools for relating different specifications of the same system

Quality models and tools for evaluating the quality of IT systems and their individual components


The following tools and prototypes have been developed as part of our research projects. For further information about any of them, please contact us.


The current members of Atenea are:

Antonio Vallecillo

Javier Troya

Nathalie Moreno

Manuel Fernández

Lola Burgueño

Paula Muñoz

Antonio Maña

Francisco Navarrete

Lorenzo Toro

The list of publications and research projects can be obtained from the Atenea members' personal web pages (see, e.g., A. Vallecillo or J. Troya) or from the ITIS Software web site.



Universidad de Malaga. ETSI Informatica. Bulevar Louis Pasteur, 35.
(29071) Malaga. Spain.