Título de la presentación

1. Título de la presentación Autores Congreso País, Mes 2009

2. Atenea • Atenea is a group of researchers from the GISUM group at the University of Málaga, interested in ModelingSoftware Systems • Atenea conducts basic and applied researchon Modeling Software Systems, and on the provision of Engineering Toolsto design, analyse, evaluate, implement and maintain 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 Congreso, Pais

3. Atenea activities around MDE • Domain Specific Modeling / DSLs • Model Management • Model Simulation and Analysis • Viewpoint Modeling (and Synchronization) • Formal Semantics of Models/Metamodels • Contexts • ISO/IEC and ITU-T work on RM-ODP http://www.rm-odp.net • Model-Driven Web Engineering (UWE, WebML,…) http://www.lcc.uma.es/~nathalie/WEI/ http://www.pst.ifi.lmu.de/projekte/mdwenet/index.php/Main_Page • Eclipse-based tools (moving to Web-services) http://atenea.lcc.uma.es/index.php/Main_Page/Resources/Maudeling http://atenea.lcc.uma.es/index.php/Main_Page/Resources/E-motions Congreso, Pais

4. MAUDELING Ourapproachto MDE • Eclipse-based tool for Model Management • Use of Maude as underlying platform (logic) • Semantic Mappings from EMF and other domains • Implements a set of Model Management operations • Difference, Subtyping, Type Inference, Model Metrics… http://atenea.lcc.uma.es/index.php/Main_Page/Resources/Maudeling • Model Simulation and Analysis • Specification of the dynamic behavior of DSLs • Semantic Mappings from EMF, Graph Transformations to Maude and other formalisms with tool support • Simulation • Reachability Analysis • Model Checking http://atenea.lcc.uma.es/index.php/Main_Page/Resources/E-motions

5. Our approach to Viewpoint Modeling • In the context of ISO/IEC | ITU-T RM-ODP • UML Profiles for ODP viewpoints and correspondences • MagicDraw plugin for ODP http://www.rm-odp.net http://atenea.lcc.uma.es/index.php/Main_Page/Resources/MagicDraw_v15%2B_plugin_for_RM-ODP_and_UML4ODP • Formalization of individual viewpoints • Correspondence modeling • Change propagation and viewpoint synchronization • In the context of Web Engineering (UWE, WebML,MDWEnet) • Interoperability between MDWE notations and tools • Common metamodel vs. pair-wise mappings http://www.lcc.uma.es/~nathalie/WEI/ http://www.pst.ifi.lmu.de/projekte/mdwenet/index.php/Main_Page Congreso, Pais

6. Ourapproachto Software Quality • Software Measurement terminology and metamodel • Evaluation of Software Components • Quality Model for Software Components • Evaluation of COTS Components “Usability” • Evaluation of Component-based systems • Visualization of Component-based systems • Detection of Design Anomalies in CBS • VIASCO Project: http://viasco.lcc.uma.es • Quality in Use as the driving factor • Evaluation of Model-based systems Congreso, Pais

7. Projects • Funded Research projects • MOVIS: Modernización y visualización de sistemas de información complejos (P07-TIC-3184). 2008-2011 • VIASCO: Visualización de anomalías en aplicaciones basadas en componentes (PET2006-0682-0), 2007-09 • MDD-MERTS: Diseño y Monitorización Dirigido por Modelos de Sistemas Empotrados y de Tiempo Real (TIN2008-03107), 2009-11 • Standardization Activities • Edition of ISO/IEC 19793, ITU-T X.906: Use of UML for specification of ODP systems. • Edition of ISO/IEC 10746-2 and ISO/IEC 10746-3 (ITU-T Rec. X.902 and X.903) • Research Networks • MDWEnet, Red DSDM, Red Maude, Red Servicios Web y SOA Congreso, Pais