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áticas
Nombre Evento
20/02/09, Boadilla del Monte (Madrid).
1
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 metamodelindependent 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áticas
Nombre Evento
20/02/09, Boadilla del Monte (Madrid)
2
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áticas
Nombre Evento
20/02/09, Boadilla del Monte (Madrid)
3
MOMENT: “Model Management”
TIN2006-15175-C01
Subproject leader: I. Ramos. 22 researchers (10 seniors, 11 juniors)
Achievement of Planned Goals I
Achiev.
Planned
Goals
Summary of
results
Technology
Transfer
 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, AspectOriented 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.
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas
Nombre Evento
20/02/09, Boadilla del Monte (Madrid)
5
Achievement of Planned Goals II
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
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas
Nombre Evento
20/02/09, Boadilla del Monte (Madrid)
6
Summary of Results: Publications
Contribution
Achiev.
Planned
Goals
Summary of
results
Technology
Transfer
-Book Chapters
-Journals
-Conferences
-Workshops
-Technical Reports
Summary
2
4 International, 3 Latin American, 1 National
29 International, 5 Latin American, 11 National
6 International, 3 National
3
JCR Int. Journals
Information and Software Technology (IST), Journal of Systems
and Software (JSS), International Journal of Cooperative
Information Systems, IEEE América Latina
Int. Confs.
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
Nombre Evento
20/02/09, Boadilla del Monte (Madrid)
7
Human resources training & education
 4 PhD Thesis already defended,
Achiev.
Planned
Goals
 Several International Stays
 Universidad de Leicester (UK), con Prof. Reiko Heikel
 Universidad de Illinois en Urbana-Champaign (USA), con Prof. José
Summary of
results
Technology
Transfer
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)
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.
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas
Nombre Evento
20/02/09, Boadilla del Monte (Madrid)
8
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áticas
20/02/09, Boadilla del Monte (Madrid)
9
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
Requs Reuse, RE Methods, Reqs Metamodels, Security Reqs,
Ontologies, CARE: SIRENTool, REMM-Studio…
Regulations, Law,
Standards,…
SIRENf/SIRENw
Catalogues
Overview
Reqs Eng.
Model Quality
Summary of
results
Security
PDP
TOS
Car Industry
Development for
reuse
Development
with reuse
Technology
Transfer
DCS — Domain Conceptual Schema
domain vocabulary: entities,
relationships, attributes, event types
 UML class model
FS — Functionality Specification
client’s view of product’s functionality
 feature model
C
o
a
t
i
n
g
R
e
m
o
v
a
l
behaviour: allowed sequences of events
 UML state machine
T
e
c
h
n
o
l
o
g
y
C
l
e
a
n
i
n
g
P
a S
i c
n h
t e
i d
n u
g l
i
n
g
S
i
m T
u o
l o
a l
t
i C
o o
n n
f
D A i
n g
i
g Ca R u
U
l
i
S C Sr
o
t
I
1a
B
g
a
R 7t
i
l
0i
2
c
o
.
n
0
S
e
r
v
i
c
e N
s a
T
v
o
e
oA
g
lc
a
tt
Oi
i
pv
o
ea
n
rt
aeC
to
l
DiTo
o
o
i r
gno
il
tC
ao
lm
m
a
n
d
s
D
e
a
c
t
i
v
a
t
eA
n
Ta
Pol
Ao
Llg
i
c
T
o
o
l
CC
oo
nn
tt
rr
oo
ll
l
e
r
C
N o
T n
F
f
S i
g
D
ev
ic
es
T
C
o
on
o T
tro
l o M
l
o o
Ml t
i
a
i C o
n a n
t l
e i C
n b o
n
r
a
n a f
c t i
e i g
o u
C n r
a
o
t
m
i
m
o
a
n
n
d
s
O
p
e
r
a
t
i
o
n
a
l
C
o
m
m
a
n
R
e
c
y
c
l
P i
o n
s g
.
SyTS
SRS
STST
C
a
l
scenarios urof useds ofib the system
a
(when a feature
is raexecuted)
t
t
i
 use case
modelio
o
n
SyRS
D
e
v
i
c
e
s
n
IRS
complex features that need
more details
 textual requirements
non-functional concerns, strategies
and mechanisms to handle them
 quality attribute templates
command specifications
 pre and post-conditions
Domain Knowledge (experts, previous
projects, docs,…)
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas
Nombre Evento
20/02/09, Boadilla del Monte (Madrid)
11
(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áticas
Nombre Evento
20/02/09, Boadilla del Monte (Madrid)
12
Overview
Reqs Eng.
Model Quality
Summary of
results
Technology
Transfer
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
( 1 ) Nats.
( 4 ) Workshops/Demo
( 5 ) Nats.
( 3+3+3 )*indexed (JCR)
( 2) Ints.
( 6+0+1) * Main confs.
( 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, …
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas
Nombre Evento
20/02/09, Boadilla del Monte (Madrid)
13
Human resources training & education
Overview
Reqs Eng.
Model Quality
Summary of
results
Technology
Transfer
 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
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
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas
Nombre Evento
20/02/09, Boadilla del Monte (Madrid)
14
GARTIC-CENTIC
coordination
Overview
GIS - UMU
(researcher)
Reqs Eng.
Model Quality
Summary of
results
Technology
Transfer
CARE Builders
Other sw dev. companies
(beneficiaries)
RE & CARE Advice, Proposals,
reviews, training,…
(Action&Observation)
coordination
Catalogs, Requests,…
(Action&Observation)
5 software companies
(researched
object)
Reusable
Catalogs
SIREN
SIRENTool
Catalogs
(Reference Critical Group)
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas
Nombre Evento
20/02/09, Boadilla del Monte (Madrid)
5 own catalogs produced, 4 in use
15
ESFINGE: “Evolution of Software Factories
using Empirical Software Engineering”
TIN2006-15175-C05-05
Subproject leader: M. Piattini. 20 researchers (14 seniors, 6 juniors)
Universidad de Murcia
Departamento de Informática y Sistemas
Achievement of Planned Goals I
1. To develop measures and indicators for different models
Achiev.
Planned
Goals
Summary of
results
Technology
Transfer
•
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.
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas
Nombre Evento
20/02/09, Boadilla del Monte (Madrid)
17
Achievement of Planned Goals II
Achiev.
Planned
Goals
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 pairdesigning
• Experiments with test-driven development and testafter-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
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas
Nombre Evento
20/02/09, Boadilla del Monte (Madrid)
18
Summary of Results: Publications
Achiev.
Planned
Goals
Summary of
results
Technology
Transfer
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
( 15 ) Nats.
( 10 ) Workshops/Demo
( 15 ) Nats.
( 30+6+8 )*indexed (JCR)
( 10 ) Ints.
( 80 ) Main confs.
( 20 ) Spanish-American
*-Caption: Published/Accepted + Accepted subject to new revision + Submitted
JCR Int. Journals
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, ...
Int. Confs.
TrustBus, BPM, QOIS, WISE, ICCI, IS, SEKE, QSIC, ICIQ, …
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas
Nombre Evento
20/02/09, Boadilla del Monte (Madrid)
19
Human resources training & education
Achiev.
Planned
Goals
Summary of
results
Technology
Transfer
 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
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áticas
Nombre Evento
20/02/09, Boadilla del Monte (Madrid)
20
Technology Transfer
Sistemas Técnicos de Loterías del Estado, S.A.
“Innovation of the Methodological Envirnoment for
Developing and Maintaining Software”.
Achiev.
Planned
Goals
Summary of
results
Technology
Transfer
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
Software
Hospital General de Ciudad Real
Business Process Modeling using BPMN
Product
SOFTWARE
SOFTWARE
FACTORY
FACTORY
CLIENT
CLIENT
Creation of Alarcos Quality Center, S.L.
(August 2008) Spinoff of the UCLM
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas
20/02/09, Boadilla del Monte (Madrid)
INDEPENDENT QUALITY ASSESSMENT
21
MEDWSA: Conceptual Frameworks for Model
Driven Development of Reactive Systems
Subproject leader: Dr. Pedro Sánchez-Palma. 12 researchers.
TIN2006-15175-C05-02
Overview
MEDWSA: Conceptual Frameworks for Model Driven
Development of Reactive Systems
WSAN
Home
Automation
Summary of
results
Model Driven Engineering
Robotics
Characterization
Tele-operated
service robots
Methodologies
Wireless Sensor and
Actor Networks
Models
Metrics
Home Automation
Applications
Tools
Case studies for validating the
META project proposals
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas
Nombre Evento
20/02/09, Boadilla del Monte (Madrid)
23
Overview
Robotics
WSAN
Home
Automation
Summary of
results
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas
Nombre Evento
20/02/09, Boadilla del Monte (Madrid)
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.
24
Wireless Sensor and Actuator Networks
Overview
Robotics
WSAN
Home
Automation
Summary of
results
Results:
 A Domain Specific Language
for WSAN applications.
 Basic mappings to component
models.
 Automatic generation of code
for the Tiny-OS/NesC platform.
An experiment deployed in
an ecological crop
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas
Nombre Evento
20/02/09, Boadilla del Monte (Madrid)
25
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
Home Automation Applications
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas
20/02/09, Boadilla del Monte (Madrid)
Nombre Evento
26
Collaborations with:
Overview
2 defended PhD Thesis.
Robotics
4 ongoing PhD Thesis.
WSAN
1 FPI grant holder.
Home
Automation
DEDALO: Home Automation Requirement Catalogue
using REMM, requirement trazability, verification of
properties.
2 EU (VII FP) project proposals.
MOMENT: Study cases for Ambient Prisma, DSL for
Robotics using Prisma-CASE.
3 pre/post-doctoral stays.
ESFINGE: Metrics for UML Activity Diagrams, Metrics
for DSL.
Summary of
results
-
JCR International 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)
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas
20/02/09, Boadilla del Monte (Madrid)
Nombre Evento
Intl. Conferences
Spanish Conferences
and Journals
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
27
Summary of results META
MOMENT
DEDALO
ESFINGE
MEDWSA
Book Chapters
2
3
25
1
31
National Journals
1
3
4
International
Journals
4
Latin American
Journals
3
National
Conferences
11
2
15
4
International
Conferernces
37
6
80
16
Latin American
Conferences
7
2
20
National Workshops
4
3
International
Workshops
6
4
Technical reports
5
4
Thesis
4
Total
84
11
46
7
METAMETHOD
4
TOTAL
72
3
35
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas
20/02/09, Boadilla del Monte (Madrid)
3
10
32
1
140
2
31
2
12
4
24
12
21
6
2
2
14
202
48
15
384
28