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

Tools/Downloads

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

Members

The current members of Atenea are:

Antonio Vallecillo


Javier Troya


Nathalie Moreno


Manuel Fernández


Loli Burgueño


Paula Muñoz


Antonio Maña


Miguel Ángel Gallardo


Francisco Navarrete



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.

Contact


Address

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