Nombre Evento1 Five subprojects/ research groups/ IP: MOMENT / Technical University Valencia / I. Ramos (Project leader) DÉDALO / University of Murcia.

Presentación del tema: "Nombre Evento1 Five subprojects/ research groups/ IP: MOMENT / Technical University Valencia / I. Ramos (Project leader) DÉDALO / University of Murcia."— Transcripción de la presentación:

1 Nombre Evento1 Five subprojects/ research groups/ IP: MOMENT / Technical University Valencia / I. Ramos (Project leader) DÉDALO / University of Murcia / A. Toval ESFINGE / Castilla-La Mancha University/ M. Piattini METAMETHOD / European Sw Institute / X. Larrucea MEDWSA / Technical University Cartagena / P.Sánchez NN researchers (NN seniors, NN juniors –PhD students/candidates-) Será la suma de todos los que pongáis en vuestras transparencias META: Models, Environments, Transformations and Applications TIN 2006-15175 (coordinated) META: Models, Environments, Transformations and Applications MOMENT DÉDALOESFINGE METAMETHOD MEDWSA Jornada de Seguimiento de Proyectos en Tecnologías Informáticas 20/02/09, Boadilla del Monte (Madrid).

2  The fundamental goal of this project is to increase the productivity of software development teams, to improve the quality of the code that is generated automatically from models, and to make software maintenance easier.  Design, formalization and implementation of a generic framework for Modelling, transformation, verification and compilation of metamodel- independent software artifacts that ensures quality, interoperability, reuse and productivity.  To demonstrate the feasibility of a such a framework in the newest approaches to software development, such as AOSD, CBSE, Software Architectures, and Software Product Lines, among others, as well as their corresponding software processes, from requirements analysis and specification to code generation, applying quality metrics and formal verification techniques to guarantee the correctness and usefulness of transformations.  To apply the technology to novel application domains: Safety Oriented Systems, Bioinformatics, Sensor networks.  Definition of a framework based on model management and using the software product line approach for the development of reactive systems.  Development of a set of tools and techniques to develop reactive systems in such a framework  Validation of the proposal in a reactive system case study (e.g. domotic systems, teleoperated robots). Nombre Evento2 Fundamental Goals Jornada de Seguimiento de Proyectos en Tecnologías Informáticas 20/02/09, Boadilla del Monte (Madrid)

3  Definition of generic processes for Requirements Engineering based on quality, reuse, traceability, ontologic engineering and safety, such that theyprovide support to the early phases of a model-driven process.  Definition of generic processes for model verification, validation and transformation; comparative studies of MDE-supporting tools, and their enrichment with V&V, transformation and model simulation support.  Definition of a set of metrics and indicators for model evolution (UML/OCL models, architectural models, technology-specific models, etc.)  Definition of a model-based software testing environment.  Development of techniques for Business Process models improvement and evolution.  Definition of techniques and metrics for the development of model-based safety software.  Development of a framework based on method engineering and MDE for the specification of development methodologies. Nombre Evento3 Fundamental Goals Jornada de Seguimiento de Proyectos en Tecnologías Informáticas 20/02/09, Boadilla del Monte (Madrid)

4 MOMENT: “Model Management” TIN2006-15175-C01 Subproject leader: I. Ramos. 22 researchers (10 seniors, 11 juniors)

5  The aim of the MOMENT Project has been to define a framework to provide a formal, reusable and automatic solution for developing and maintaining software using code generation techniques and Object-Oriented, Aspect- Oriented or architectural models.  Goal 1.1. To design, formalize, and implement a generic framework for model management (model comparison, model transformations, queries, traceability, etc.) by using industrial standards (MOF, QVT, OCL, XMI, …).  Goal 1.2. To demonstrate de viability of this framework in current software development approaches (AOSD, CBSE, Software Architectures, Software Product Lines).  Goal 1.3. To apply the technology that has been developed in new research fields such as emergency management systems or bioinformatics applications.  Applying MDD to other software development fields  Goal 2.1.1 Requirements engineering. This extension takes into account the artefacts and mechanisms to deal properly with the rationale throughout the software development process.  Goal 2.1.2 Software architectures and AOSD: a CASE tool was developed to help in the process of modelling aspect-oriented software architectures. The tool was successfully applied to the domain of robotic systems. Nombre Evento5 Achievement of Planned Goals I Achiev. Planned Goals Summary of results Technology Transfer Jornada de Seguimiento de Proyectos en Tecnologías Informáticas 20/02/09, Boadilla del Monte (Madrid)

6  Goal 2.1.3 Distributed software systems. Models for the development of distributed software systems, by using ambients.  Goal 2.1.4 Dynamic evolution of software systems: a new viewpoint has been addressed to have maintenance and evolution as goals from the early stages of the development process.  Emergency Management Systems Modeling  Goal 3.1: a ontology for Emergency Management (EM) is expected to be finalized before the end of the project.  Goal 3.2: flexible processes specification and enactment, and information presentation. We have defined a language integrating graph-based and rule-based expressiveness to provide a linguistic tool for the definition of flexible processes  Goal 3.3: we have worked in the definition of hypermedia interfaces and their derivation from flexible process models using model transformations.  Goal 3.4 we have defined a reference architecture for emergency management systems Nombre Evento6 Achievement of Planned Goals II Achiev. Planned Goals Summary of results Technology Transfer Jornada de Seguimiento de Proyectos en Tecnologías Informáticas 20/02/09, Boadilla del Monte (Madrid)

7 Nombre Evento7 ContributionSummary -Book Chapters -Journals -Conferences -Workshops -Technical Reports 2 4 International, 3 Latin American, 1 National 29 International, 5 Latin American, 11 National 6 International, 3 National 3 JCR Int. Journals Int. Confs.  Information and Software Technology (IST), Journal of Systems and Software (JSS), International Journal of Cooperative Information Systems, IEEE América Latina  Model-Driven Engeineering Languages and Systems (MODELS), Software Engineering and Advanced Applications (SEAA), International Conference on Web Engineering (ICWE), … Jornada de Seguimiento de Proyectos en Tecnologías Informáticas 20/02/09, Boadilla del Monte (Madrid) Achiev. Planned Goals Summary of results Technology Transfer Summary of Results: Publications

8 Nombre Evento8  4 PhD Thesis already defended,  Several International Stays  Universidad de Leicester (UK), con Prof. Reiko Heikel  Universidad de Illinois en Urbana-Champaign (USA), con Prof. José Meseguer  Univ. de Braunchsweigh (Alemania), con Hans Dieter Ehrich  Universidad de Leicester (UK), con Prof. Jose Luiz Fiadeiro  6 FPI/FPU grant holders (4 Ministry of Education, 1 Regional Gov., 1 UPV) Human resources training & education Jornada de Seguimiento de Proyectos en Tecnologías Informáticas 20/02/09, Boadilla del Monte (Madrid) Collaborations with: -MEDWSA: Study cases for Ambient Prisma, DSL for Robotics using Prisma-CASE. -ESFINGE: MOMENT Platform, Definition of metrics at metamodel level. -DEDALO: MOMENT Platform, V&V models, Maude. Achiev. Planned Goals Summary of results Technology Transfer

9 Jornada de Seguimiento de Proyectos en Tecnologías Informáticas 20/02/09, Boadilla del Monte (Madrid) 9 Technology Transfer Achiev. Planned Goals Summary of results Technology Transfer Capgemini “Desarrollo de prototipo de herramienta gvCase (MOMENT-CASE)”. Tool Demo JISBD’07

10 DÉDALO: “Quality Systems Development based upon models and requirements” TIN2006-15175-C05-03 Subproject leader: A. Toval. 10 researchers (4 seniors, 6 juniors) Research Directions: Requirements Engineering 4 Doctoral Students/PhD Candidates Model Quality 2 Doctoral Students/PhD Candidates

11 Nombre Evento11 Domain Knowledge (experts, previous projects, docs,…) SIRENf/SIRENw PDP Catalogues Security Development with reuse SyRS SRS SyTS STST IRS Development for reuse Regulations, Law, Standards,… TOS Car Industry Requs Reuse, RE Methods, Reqs Metamodels, Security Reqs, Ontologies, CARE: SIRENTool, REMM-Studio… Overview Reqs Eng. Model Quality Summary of results Technology Transfer Jornada de Seguimiento de Proyectos en Tecnologías Informáticas 20/02/09, Boadilla del Monte (Madrid)

12 Nombre Evento12 Overview Reqs Eng. Model Quality Summary of results Technology Transfer Jornada de Seguimiento de Proyectos en Tecnologías Informáticas 20/02/09, Boadilla del Monte (Madrid) (UML, WIS…) V&V Process, usability, MDE, Model consistency,,…- Maude/Eclipse

13 Nombre Evento13 ContributionSummary Related projects and contracts Ints. journals & LNCS Book chapters Int. conferences Nat./Spanish-American confs. ( 3 ) projects (public funding) ( 1+2) contracts ( 5 ) non indexed&LNCS ( 3+3+3 )*indexed (JCR) ( 1 ) Nats. ( 2) Ints. ( 4 ) Workshops/Demo( 6+0+1) * Main confs. ( 5 ) Nats. ( 2 ) Spanish-American *-Caption: Published/Accepted + Accepted subject to new revision + Submitted JCR Int. Journals Other Journals&LNCS Int. Confs.  Requirements Eng. Journal (REJ 09), Information & Software Technology (IST09), J. of Adv. In Engineering Software (JAES 09), Int. J. of Computer Systems Science and Engineering (IJCSSE 08)  Journal of Object Technology (JOT 07), LNCS (07, 08)  LA-WEB 08, CAiSE 08, FARES 08, HEALTHINF-08, ICSOFT 07, TOOLS Europe 07, … Overview Reqs Eng. Model Quality Summary of results Technology Transfer Jornada de Seguimiento de Proyectos en Tecnologías Informáticas 20/02/09, Boadilla del Monte (Madrid)

14 Nombre Evento14  4 PhD Thesis to be defended 2009 (goals accomplished, at least one indexed publications + int. conferences & other merits…)  2 International Stays (Univ. Trento, Italy; Univ. Leicester, UK)  2 FPI grant holders (1 Ministry of Education, 1 Regional Gov.)  1 of the above FPI transferred to CENTIC Human resources training & education Overview Reqs Eng. Model Quality Summary of results Technology Transfer Jornada de Seguimiento de Proyectos en Tecnologías Informáticas 20/02/09, Boadilla del Monte (Madrid) Collaborations with: -MEDWSA: Home Automation Requirement Catalogue using REMM, requirement trazability, verification of properties. -MOMENT: MOMENT Platform, V&V models, Maude. -ESFINGE: Security reqs, Security ontologies

15 Nombre Evento15 CARE Builders Other sw dev. companies (beneficiaries) GIS - UMU (researcher) ( researched object) RE & CARE Advice, Proposals, reviews, training,… (Action&Observation) Catalogs, Requests,… (Action&Observation) coordination GARTIC-CENTIC (Reference Critical Group) coordination SIREN Catalogs SIRENTool 5 own catalogs produced, 4 in use Reusable Catalogs 5 software companies Jornada de Seguimiento de Proyectos en Tecnologías Informáticas 20/02/09, Boadilla del Monte (Madrid) Overview Reqs Eng. Model Quality Summary of results Technology Transfer

16 Universidad de MurciaDepartamento de Informática y Sistemas ESFINGE: “Evolution of Software Factories using Empirical Software Engineering” TIN2006-15175-C05-05 Subproject leader: M. Piattini. 20 researchers (14 seniors, 6 juniors)

17 Nombre Evento17 Achievement of Planned Goals I Achiev. Planned Goals Summary of results Technology Transfer Jornada de Seguimiento de Proyectos en Tecnologías Informáticas 20/02/09, Boadilla del Monte (Madrid) 1.To develop measures and indicators for different models Measures for state transition diagrams, OCL expressions and datawarehouse models A measurement framework in SME Definition of metrics at metamodel level 2. To develop a framework for reingeneering and evolution of software factories based on MDD A reengineering framework based both in static and dynamic analysis of databases Knowledge management techniques for the easiness of the software factories evolution. A method for reingeneering legacy systems to business process 3. To define an environment for software testing Techniques for test cases based on mutation Test techniques for software product lines.

18 Nombre Evento18 Achievement of Planned Goals II Achiev. Planned Goals Summary of results Technology Transfer Jornada de Seguimiento de Proyectos en Tecnologías Informáticas 20/02/09, Boadilla del Monte (Madrid) 4. To develop an environment for the improvement and evolution of business process Measures for predicting business models maintainability expressed in Business Process Modeling Notation (BPMN) 5. To validate agile practices in software factories Experiments about pair-programming and pair- designing Experiments with test-driven development and test- after-code 6. To define and validate techniques and metrics for model driven secure software development. Methodology for developing secure web services Models for secure business processes Definition of secure OLAP environments Security requirements for software product lines Security maturity model

19 Nombre Evento19 ContributionSummary Related projects and contracts Ints. journals & LNCS Book chapters Int. conferences Nat./Spanish-American confs. ( 3 ) projects (public funding) ( 5 ) contracts ( 10 ) non indexed&LNCS ( 30+6+8 )*indexed (JCR) ( 15 ) Nats. ( 10 ) Ints. ( 10 ) Workshops/Demo ( 80 ) Main confs. ( 15 ) Nats. ( 20 ) Spanish-American *-Caption: Published/Accepted + Accepted subject to new revision + Submitted JCR Int. Journals Int. Confs.  Software Testing, Verification and Reliability, Information Sciences, Information and Software Technology, Information Systems, The Journal of Systems and Software, IEEE Computer, Software Quality Journal, European Journal of Information Systems, Empirical Software Engineering, Journal of Software Maintenance and Evolution: Research and Practice, Data and Knowledge Engineering, JSEKE, Computer Standards and Interfaces, JRPIT, JUCS, Knowledge Eng. Review Journal,...  TrustBus, BPM, QOIS, WISE, ICCI, IS, SEKE, QSIC, ICIQ, … Jornada de Seguimiento de Proyectos en Tecnologías Informáticas 20/02/09, Boadilla del Monte (Madrid) Achiev. Planned Goals Summary of results Technology Transfer Summary of Results: Publications

20 Nombre Evento20  7 PhD Thesis already defended, 8 will be defended in 2009 (goals accomplished, at least one indexed publications + int. conferences & other merits…), another 5 in progress  Several International Stays (Univ. Bari and Univ. Sannio, Italy; Univ. Ghent, Belgium)  3 FPI grant holders (1 Ministry of Education, 2 Regional Gov.)  1 of the above FPI transferred to Centro Mixto de Investigación y Desarrollo UCLM-Indra Human resources training & education Jornada de Seguimiento de Proyectos en Tecnologías Informáticas 20/02/09, Boadilla del Monte (Madrid) Collaborations with: -DEDALO: Security reqs, Security ontologies -MEDWSA: Metrics for UML Activity Diagrams, Metrics for DSL. -MOMENT: MOMENT Platform, Definition of metrics at metamodel level. Achiev. Planned Goals Summary of results Technology Transfer

21 Jornada de Seguimiento de Proyectos en Tecnologías Informáticas 20/02/09, Boadilla del Monte (Madrid) 21 Technology Transfer Achiev. Planned Goals Summary of results Technology Transfer Sistemas Técnicos de Loterías del Estado, S.A. “Innovation of the Methodological Envirnoment for Developing and Maintaining Software”. SICAMAN NUEVAS TECNOLOGÍAS, S.L. “Developing Secure Databases” Alhambra-Eidos, S.A. “Distributed Software Factories” INDRA Software Lab “Developing and maintaining IS using MDE” MaatGKnowledge (Caja Rural de Toledo Quality assesment of the system SIGTB_ORUS Hospital General de Ciudad Real Business Process Modeling using BPMN Creation of Alarcos Quality Center, S.L. (August 2008) Spinoff of the UCLM

22 MEDWSA: Conceptual Frameworks for Model Driven Development of Reactive Systems Subproject leader: Dr. Pedro Sánchez-Palma. 12 researchers. TIN2006-15175-C05-02

23 Nombre Evento23 MEDWSA: Conceptual Frameworks for Model Driven Development of Reactive Systems Home Automation Applications Tele-operated service robots Wireless Sensor and Actor Networks Characterization Methodologies Models Metrics Tools Model Driven Engineering Overview Robotics WSAN Home Automation Summary of results Jornada de Seguimiento de Proyectos en Tecnologías Informáticas 20/02/09, Boadilla del Monte (Madrid) Case studies for validating the META project proposals

24 Nombre Evento24 Tele-operated service robots Results:  A tool for developing architectural component models for service robots (V3Studio).  Automatic model driven transformations from component to object-oriented models using design patterns.  A tool for modeling ACROSET models using PRISMA CASE.  Integration of PRISMA with V3Studio. Overview Robotics WSAN Home Automation Summary of results Jornada de Seguimiento de Proyectos en Tecnologías Informáticas 20/02/09, Boadilla del Monte (Madrid)

25 Nombre Evento25 Wireless Sensor and Actuator Networks An experiment deployed in an ecological crop Results:  A Domain Specific Language for WSAN applications.  Basic mappings to component models.  Automatic generation of code for the Tiny-OS/NesC platform. Overview Robotics WSAN Home Automation Summary of results Jornada de Seguimiento de Proyectos en Tecnologías Informáticas 20/02/09, Boadilla del Monte (Madrid)

26 Nombre Evento26 Home Automation Applications Results:  A new methodology for developing Home Automation Systems.  A catalogue of reusable requirements for reuse (integrated into REMM-Studio tool).  A Domain Specific Language using Eclipse-GMF.  Graph transformations to a component metamodel (V3Studio) integrated into the Eclipse environment.  Correspondences with concrete technologies (i.e. EIB-KNX platform). Overview Robotics WSAN Home Automation Summary of results Jornada de Seguimiento de Proyectos en Tecnologías Informáticas 20/02/09, Boadilla del Monte (Madrid)

27 Nombre Evento27 2 defended PhD Thesis. 4 ongoing PhD Thesis. 1 FPI grant holder. 2 EU (VII FP) project proposals. 3 pre/post-doctoral stays. JCR International Journals Intl. Conferences Spanish Conferences and Journals  IEEE Robotics & Automation Magazine (IEEE RAM 06)  Robotica Journal (IFR 06)  Revista Iberoamericana de Automática e Informática Industrial (RIAI 06)  Int. Journal of Cooperative Inform. Systems (JCIS 07)  Computers & Electronics in Industry (Elsevier 09)  Information & Software Technology 08  IEEE Robotics & Automation Magazine (IEEE RAM 09) Ada Europe 06 ECBS 06 IEEE A.Latina 06 IFIP WSAN 07 2x ECSA 07 2x ICSOFT 07 Ada Europe 07 IEEE ISEC 07 TOOLS 07 Serv. Robots 08 ECBS 08 Ada Europe 08 EMMSAD 08 ER 08 JISBD 07, 08 SAAEI 07, 08 JITEL 07 Automatica e Instrumentación 08 Jorn. Automatica 08 Telecoforum 06 Overview Robotics WSAN Home Automation Summary of results Jornada de Seguimiento de Proyectos en Tecnologías Informáticas 20/02/09, Boadilla del Monte (Madrid) Collaborations with: -DEDALO: Home Automation Requirement Catalogue using REMM, requirement trazability, verification of properties. -MOMENT: Study cases for Ambient Prisma, DSL for Robotics using Prisma-CASE. -ESFINGE: Metrics for UML Activity Diagrams, Metrics for DSL.

28 Summary of results META MOMENTDEDALOESFINGEMEDWSAMETAMETHODTOTAL Book Chapters2325131 National Journals134 International Journals 411467472 Latin American Journals 33 National Conferences 11215432 International Conferernces 37680161140 Latin American Conferences 7220231 National Workshops433212 International Workshops 6410424 Technical reports541221 Thesis4 62214 Total84352024815384 Jornada de Seguimiento de Proyectos en Tecnologías Informáticas 20/02/09, Boadilla del Monte (Madrid) 28