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
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid)
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
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid)
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
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
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), …
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid)
Achiev. Planned Goals
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
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid)
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.
Achiev. Planned Goals
Summary of results
Technology Transfer
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/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
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
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid)
Nombre Evento 12
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)
(UML, WIS…) V&V Process, usability, MDE, Model consistency,,…- Maude/Eclipse
Nombre Evento 13
Contribution Summary
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áticas20/02/09, Boadilla del Monte (Madrid)
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
Human resources training & education
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)
Collaborations with:Collaborations with:
- 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
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid)
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
Achiev. Planned Goals
Summary of results
Technology Transfer
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/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.
Nombre Evento 18
Achievement of Planned Goals II
Achiev. Planned Goals
Summary of results
Technology Transfer
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/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
Nombre Evento 19
Contribution Summary
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áticas20/02/09, Boadilla del Monte (Madrid)
Achiev. Planned Goals
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
Human resources training & education
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid)
Collaborations with:Collaborations with:
- 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 ..
Achiev. Planned Goals
Summary of results
Technology Transfer
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/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 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
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid)
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
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid)
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
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid)
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
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid)
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
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid)
Collaborations with:Collaborations with:
- 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
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas20/02/09, Boadilla del Monte (Madrid)
28