Nombre Evento1 Five subprojects/ research groups/ IP: MOMENT / Technical University Valencia / I....

Nombre Evento 1

Five subprojects/ research groups/ IP:

MOMENT / Technical University Valencia / I. Ramos (Project leader)DÉDALO / University of Murcia / A. TovalESFINGE / Castilla-La Mancha University/ M. PiattiniMETAMETHOD / European Sw Institute / X. LarruceaMEDWSA / 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 META: Models, Environments, Transformations and Applications TIN 2006-15175 (coordinated)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áticas20/02/09, Boadilla del Monte (Madrid).

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 Evento 2

Fundamental Goals

Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid)

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 Evento 3

Fundamental Goals


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

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 Evento 5

Achievement of Planned Goals I

Achiev. Planned Goals

Summary of results

Technology Transfer


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 Evento 6

Achievement of Planned Goals II


Summary of results

Technology Transfer


Nombre Evento 7

Contribution Summary

-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), …



Summary of results

Technology Transfer

Summary of Results: Publications

Nombre Evento 8

4 PhD Thesis already defended,4 PhD Thesis already defended, Several International StaysSeveral 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 6 FPI/FPU grant holders (4 Ministry of Education, 1 FPI/FPU grant holders (4 Ministry of Education, 1 Regional Gov., 1 UPV)Regional Gov., 1 UPV)

Human resources training & education


Collaborations with:Collaborations with:

- MEDWSAMEDWSA: Study cases for Ambient Prisma, DSL for : Study cases for Ambient Prisma, DSL for

Robotics using Prisma-CASE.Robotics using Prisma-CASE.

- ESFINGEESFINGE: MOMENT Platform, : MOMENT Platform, Definition of metrics at Definition of metrics at

metamodel level metamodel level ..

- DEDALODEDALO: MOMENT Platform, V&V models, Maude.: MOMENT Platform, V&V models, Maude.


Summary of results

Technology Transfer

Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid) 9

Technology Transfer


Summary of results

Technology Transfer Capgemini

“Desarrollo de prototipo de herramienta gvCase (MOMENT-CASE)”.• Tool Demo JISBD’07

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

Nombre Evento 11

Domain Knowledge (experts, previous projects, docs,…)

SIRENf/SIRENw

PDP

Catalogues

Security

Development with reuse

SyRS

SRS

SyTS

STSTIRS

Development for reuse

scenarios of use of the system (when a feature is executed) use case model behaviour: allowed sequences of events

UML state machine

FS — Functionality Specification

client’s view of product’s functionality feature model

complex features that need more details textual requirements

DCS — Domain Conceptual Schema

Services

Painting

Recycling

Scheduling

Cleaning

Simulation

Navegation

Devices Control

Tool Control

O

perational Commands

Motion Configuration

Motion

Stop

Jog Motion

Joy Motion

Pos. Devices Calibration

Tool Maintenance Commands

Tool Operation Commands

Tool Configuration

Activate Tool

Deactivate Tool

Controller Configuration

Color

B/W D

igital

Digital

Analogic

Analogic

CCIR

RS170

USB 2.0

PAL

NTFS

Tool Calibration

Coating Removal Technology

1

non-functional concerns, strategies and mechanisms to handle them

quality attribute templates

command specifications

pre and post-conditions

domain vocabulary: entities, relationships, attributes, event types UML class model

Regulations, Law,

Standards,…

TOSCar Industry

Requs Reuse, RE Methods, Reqs Metamodels, Security Reqs, Ontologies, CARE: SIRENTool, REMM-Studio…

Overview

Reqs Eng.

Model Quality

Summary of results

Technology Transfer


Nombre Evento 12

Overview

Reqs Eng.

Model Quality

Summary of results

Technology Transfer


(UML, WIS…) V&V Process, usability, MDE, Model consistency,,…- Maude/Eclipse

Nombre Evento 13


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


Nombre Evento 14

4 PhD Thesis to be defended 2009 (goals accomplished, at 4 PhD Thesis to be defended 2009 (goals accomplished, at least one indexed publications + int. conferences & other least one indexed publications + int. conferences & other merits…)merits…)

2 International Stays (Univ. Trento, Italy; Univ. Leicester, 2 International Stays (Univ. Trento, Italy; Univ. Leicester, UK)UK)

2 2 FPI grant holders (1 Ministry of Education, 1 Regional FPI grant holders (1 Ministry of Education, 1 Regional Gov.)Gov.)

1 of the above FPI transferred to CENTIC1 of the above FPI transferred to CENTIC


Overview

Reqs Eng.

Model Quality

Summary of results

Technology Transfer



- MEDWSAMEDWSA: Home Automation Requirement Catalogue using : Home Automation Requirement Catalogue using

REMM, requirement trazability, verification of properties.REMM, requirement trazability, verification of properties.

- MOMENTMOMENT: MOMENT Platform, V&V models, Maude.: MOMENT Platform, V&V models, Maude.

- ESFINGEESFINGE: Security reqs, Security ontologies: Security reqs, Security ontologies

Nombre Evento 15

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

CatalogsSIRENTool

5 own catalogs produced, 4 in use

Reusable Catalogs

5 software companies


Overview

Reqs Eng.

Model Quality

Summary of results

Technology Transfer

Universidad de Murcia Departamento 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)

Nombre Evento 17

Achievement of Planned Goals I


Summary of results

Technology Transfer


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.

Nombre Evento 18

Achievement of Planned Goals II


Summary of results

Technology Transfer


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

Nombre Evento 19


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



Summary of results

Technology Transfer

Summary of Results: Publications

Nombre Evento 20

7 PhD Thesis already defended, 8 will be defended in 2009 7 PhD Thesis already defended, 8 will be defended in 2009 (goals accomplished, at least one indexed publications + (goals accomplished, at least one indexed publications + int. conferences & other merits…), another 5 in progressint. conferences & other merits…), another 5 in progress

Several International Stays (Univ. Bari and Univ. Sannio, Several International Stays (Univ. Bari and Univ. Sannio, Italy; Univ. Ghent, Belgium)Italy; Univ. Ghent, Belgium)

3 3 FPI grant holders (1 Ministry of Education, 2 Regional FPI grant holders (1 Ministry of Education, 2 Regional Gov.)Gov.)

1 of the above FPI transferred to Centro Mixto de 1 of the above FPI transferred to Centro Mixto de Investigación y Desarrollo UCLM-IndraInvestigación y Desarrollo UCLM-Indra




- DEDALO: DEDALO: Security reqs, Security ontologiesSecurity reqs, Security ontologies

- MEDWSAMEDWSA: Metrics for UML Activity Diagrams, Metrics for : Metrics for UML Activity Diagrams, Metrics for

DSL.DSL.

- MOMENTMOMENT: MOMENT Platform, : MOMENT Platform, Definition of metrics at Definition of metrics at

metamodel level metamodel level ..


Summary of results

Technology Transfer

Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid) 21

Technology Transfer


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 ToledoQuality assesment of the system SIGTB_ORUS

Hospital General de Ciudad RealBusiness Process Modeling using BPMN

Creation of Alarcos Quality Center, S.L. (August 2008) Spinoff of the UCLM

CLIENTCLIENTSOFTWARE

FACTORY

SOFTWARE

FACTORY

Software

Product

INDEPENDENT QUALITY ASSESSMENT

CLIENTCLIENTSOFTWARE

FACTORY

SOFTWARE

FACTORY

Software

Product

INDEPENDENT QUALITY ASSESSMENT

MEDWSA: Conceptual Frameworks for Model Driven Development of Reactive Systems

Subproject leader: Dr. Pedro Sánchez-Palma. 12 researchers.

TIN2006-15175-C05-02

Nombre Evento 23

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

ToolsMod

el D

riven

Eng

inee

ring

Mod

el D

riven

Eng

inee

ring

Overview

Robotics

WSAN

Home Automation

Summary of results


Case studies for validating the META project proposals

Nombre Evento 24

Tele-operated service robots

Results:Results: A tool for developing architectural A tool for developing architectural

component models for service component models for service robots (V3Studio).robots (V3Studio).

Automatic model driven Automatic model driven transformations from component transformations from component to object-oriented models using to object-oriented models using design patterns.design patterns.

A tool for modeling ACROSET A tool for modeling ACROSET models using PRISMA CASE.models using PRISMA CASE.

Integration of PRISMA with Integration of PRISMA with V3Studio.V3Studio.

Overview

Robotics

WSAN

Home Automation

Summary of results


Nombre Evento 25

Wireless Sensor and Actuator Networks

An experiment deployed in an ecological crop

Results:Results: A Domain Specific Language A Domain Specific Language

for WSAN applications.for WSAN applications. Basic mappings to component Basic mappings to component

models.models. Automatic generation of code Automatic generation of code

for the Tiny-OS/NesC platform.for the Tiny-OS/NesC platform.

Overview

Robotics

WSAN

Home Automation

Summary of results


Nombre Evento 26

Home Automation Applications

Results:Results: A new methodology for developing A new methodology for developing

Home Automation Systems.Home Automation Systems. A catalogue of reusable A catalogue of reusable

requirements for reuse (integrated requirements for reuse (integrated into REMM-Studio tool).into REMM-Studio tool).

A Domain Specific Language A Domain Specific Language using Eclipse-GMF.using Eclipse-GMF.

Graph transformations to a Graph transformations to a component metamodel (V3Studio) component metamodel (V3Studio) integrated into the Eclipse integrated into the Eclipse environment.environment.

Correspondences with concrete Correspondences with concrete technologies (i.e. EIB-KNX technologies (i.e. EIB-KNX platform).platform).

Overview

Robotics

WSAN

Home Automation

Summary of results


Nombre Evento 27

2 defended PhD Thesis.2 defended PhD Thesis.

4 ongoing PhD Thesis.4 ongoing PhD Thesis.

1 1 FPI grant holder.FPI grant holder.

2 EU (VII FP) project proposals.2 EU (VII FP) project proposals.

3 pre/post-doctoral stays.3 pre/post-doctoral stays.

JCR International JournalsJCR International Journals Intl. ConferencesIntl. Conferences Spanish Conferences Spanish Conferences and Journalsand 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 06ECBS 06

IEEE A.Latina 06IFIP WSAN 072x ECSA 07

2x ICSOFT 07Ada Europe 07IEEE ISEC 07

TOOLS 07Serv. Robots 08

ECBS 08Ada Europe 08EMMSAD 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



- DEDALODEDALO: Home Automation Requirement Catalogue : Home Automation Requirement Catalogue

using REMM, requirement trazability, verification of using REMM, requirement trazability, verification of

properties.properties.

- MOMENTMOMENT: Study cases for Ambient Prisma, DSL for : Study cases for Ambient Prisma, DSL for

Robotics using Prisma-CASE.Robotics using Prisma-CASE.

- ESFINGEESFINGE: Metrics for UML Activity Diagrams, Metrics : Metrics for UML Activity Diagrams, Metrics

for DSL.for DSL.

Summary of results METAMOMENT DEDALO ESFINGE MEDWSA METAMETHOD TOTAL

Book Chapters 2 3 25 1 31

National Journals 1 3 4

International Journals

4 11 46 7 4 72

Latin American Journals

3 3

National Conferences

11 2 15 4 32

International Conferernces

37 6 80 16 1 140

Latin American Conferences

7 2 20 2 31

National Workshops 4 3 3 2 12

International Workshops

6 4 10 4 24

Technical reports 5 4 12 21

Thesis 4 6 2 2 14

Total 84 35 202 48 15 384


28

Nombre Evento1 Five subprojects/ research groups/ IP: MOMENT / Technical University Valencia / I....

Documents

Transcript of Nombre Evento1 Five subprojects/ research groups/ IP: MOMENT / Technical University Valencia / I....