Main Page
From Atenea
Contents |
Intro
Atenea is a group of researchers interested in Modeling Software Systems. The team is part of the GISUM group, 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, 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.
Research interests
Our premier research areas are focused on:
- 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, defining the structure of system specifications for both complete systems and for specific aspects of particular domains;
- Functions and tools to support different kinds of formal analyses of distributed systems; and
- Quality models and tools for evaluating the quality of IT systems and their individual components.
Check the Research interests page for further information about them.
Tools/Downloads
- e-Motions
- Wires*
- reSynch
- Maudeling
- Formal Specification and Analysis of Domain Specific Languages using Maude (see also "Maudeling")
- A Metamodel for Maude
- MagicDraw v15+ plugin for RM-ODP and UML4ODP
- VIASCO
- Visualization of Wiki systems
- Towards a Rewriting Logic Semantics for ATL
- ToolIDL - an Interface Description Language for tools
Members
The current members of Atenea are:
- Antonio Vallecillo
- Francisco Durán
- José Raúl Romero
- Manuel Fernández Bertoa
- Manuel Roldán Castro
- José E. Rivera
- Fernando López
- José M. Bautista
- Daniel Ruiz
- Juan Ignacio Jaén
- Javier Troya Castilla
- Nathalie Moreno
Information about them can be found at their personal web pages, or from the GISUM site.
The list of Atenea publications can be obtained from the Atenea members' personal web pages (see, e.g., av or duran) or from the GISUM site
Further information
- Ongoing research projects and actitivities.
- Resources: logos, presentations, slides templates, etc.
Contact details
For further information about Atenea you can contact any of its members.
For surface mail, we are physically located at:
- Dpto. Lenguajes y Ciencias de la Computación.
- Universidad de Malaga. ETSI Informatica.
- Bulevar Louis Pasteur, 35.
- (29071) Malaga. Spain.
- Voice: +34.95.213.2794.
- Fax: +34.95.213.1397
- http://atenea.lcc.uma.es/
