AteneaModeling Software Systems

http://atenea.lcc.uma.es

Universidad de Málaga

Introduction and goal

Atenea is a group of researchers interested in Modeling Software Systems

Atenea is part of the GISUM group, from the University of Málaga (Spain)

Atenea 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

Introduction to Atenea 2Jan 2010

Scope

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, 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.

Introduction to Atenea 3

In Greek mythology, Athena is the Goddess of wisdom, war, strategy,

industry, justice and skill

Jan 2010

Research interests

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

Techniques and tools for relating different specifications of the same system

Architectural frameworks for distributed processing systems

Functions and tools to support different kinds of formal analyses of distributed systems

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

Introduction to Atenea 4Jan 2010

Atenea Members

Prof. Antonio VallecilloDr. Francisco DuránDr. José Raúl RomeroDr. Manuel F. BertoaJosé E. Rivera (PhD st)Manuel Roldán (PhD st)Javier Troya (PhD st)Nathalie Moreno (PhD st)Fernando LópezJosé M. BautistaDaniel RuizJuan I. Jaén

Introduction to Atenea 5Jan 2010

Some tools

Maudeling: Model Managementhttp://atenea.lcc.uma.es/index.php/Main_Page/Resources/Maudeling

E-Motions: Behavioral Specification of modelshttp://atenea.lcc.uma.es/index.php/Main_Page/Resources/E-motions

MagicDraw plugin for ODPhttp://www.uco.es/~in1rosaj/tool_mdplugin.html

Wires*: Choreography of ATL model transformationshttp://atenea.lcc.uma.es/index.php/Main_Page/Resources/Wires*

reSynch: Model synchronization & change propagationhttp://atenea.lcc.uma.es/index.php/Main_Page/Resources/reSynch

Introduction to Atenea 6Jan 2010

AteneaModeling Software Systems

For further info visit:

http://atenea.lcc.uma.es