1 / 28

META Models and Transformations for Software Development Innovation

Enhance software development productivity with model-driven approaches. Develop a framework for model management, verification, and compilation promoting quality, interoperability, and reuse. Apply in novel domains like Safety Systems and Bioinformatics.

cmaria
Download Presentation

META Models and Transformations for Software Development Innovation

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. META: Models, Environments, Transformations and Applications TIN 2006-15175 (coordinated) METAMETHOD MOMENT ESFINGE DÉDALO MEDWSA 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 Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid). Nombre Evento

  2. Fundamental Goals • 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). Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid) Nombre Evento

  3. Fundamental Goals • 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. Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid) Nombre Evento

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

  5. Achievement of Planned Goals I • 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. Achiev. Planned Goals Summary of results Technology Transfer Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid) Nombre Evento

  6. Achievement of Planned Goals II • 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 Achiev. Planned Goals Summary of results Technology Transfer Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid) Nombre Evento

  7. Summary of Results: Publications Achiev. Planned Goals Summary of results Technology Transfer Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid) Nombre Evento

  8. Human resources training & education • 4 PhDThesisalready defended, • Several International Stays • Universidad de Leicester (UK), con Prof. ReikoHeikel • Universidad de Illinois en Urbana-Champaign (USA), con Prof. José Meseguer • Univ. de Braunchsweigh (Alemania), con Hans DieterEhrich • Universidad de Leicester (UK), con Prof. JoseLuizFiadeiro • 6 FPI/FPU grant holders (4 Ministry of Education, 1 Regional Gov., 1 UPV) Achiev. Planned Goals Summary of results Technology Transfer Collaborationswith: • MEDWSA: Study cases forAmbient Prisma, DSL forRoboticsusing Prisma-CASE. • ESFINGE: MOMENT Platform, Definition of metrics at metamodel level . • DEDALO: MOMENT Platform, V&V models, Maude. Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid) Nombre Evento

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

  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 Engineering4 Doctoral Students/PhD CandidatesModel Quality2 Doctoral Students/PhD Candidates

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

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

  13. Overview Reqs Eng. Model Quality Summary of results Technology Transfer Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid) Nombre Evento

  14. Human resources training & education • 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 Overview Reqs Eng. Model Quality Summary of results Technology Transfer Collaborationswith: • MEDWSA: Home AutomationRequirement Catalogue using REMM, requirementtrazability, verification of properties. • MOMENT: MOMENT Platform, V&V models, Maude. • ESFINGE: Security reqs, Security ontologies Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid) Nombre Evento

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

  16. ESFINGE: “Evolution of Software Factories using Empirical Software Engineering” TIN2006-15175-C05-05 Subproject leader: M. Piattini. 20 researchers (14 seniors, 6 juniors)

  17. Achievement of Planned Goals I • 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. Achiev. Planned Goals Summary of results Technology Transfer Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid) Nombre Evento

  18. Achievement of Planned Goals II • 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 Achiev. Planned Goals Summary of results Technology Transfer Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid) Nombre Evento

  19. Summary of Results: Publications Achiev. Planned Goals Summary of results Technology Transfer Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid) Nombre Evento

  20. Human resources training & education • 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 Achiev. Planned Goals Summary of results Technology Transfer 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 . Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid) Nombre Evento

  21. 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 Achiev. Planned Goals Summary of results Technology Transfer Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid)

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

  24. Tele-operated service robots Overview Robotics WSAN Home Automation Summary of results 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. Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid) Nombre Evento

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

  26. 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). Home Automation Applications Overview Robotics WSAN Home Automation Summary of results Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid) Nombre Evento

  27. Collaborationswith: • DEDALO: Home AutomationRequirement Catalogue using REMM, requirementtrazability, verification of properties. • MOMENT: Study cases forAmbient Prisma, DSL forRoboticsusing Prisma-CASE. • ESFINGE: Metricsfor UML ActivityDiagrams, Metricsfor DSL. 2 defended PhD Thesis. 4 ongoing PhD Thesis. 1 FPI grant holder. 2 EU (VII FP) project proposals. 3 pre/post-doctoral stays. Overview Robotics WSAN Home Automation Summary of results Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid) Nombre Evento

  28. Summary of results META Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid)

More Related