|
Research
I'm a Ph.D. in Computer Science (Universidad Autónoma de Madrid,
2000), Engineer in Computer Science (Universidad Autónoma de
Madrid,
1996) and Technical Engineer in Computer Science (Universidad de
Castilla la Mancha, 1994).
I coordinate the modelling and software engineering research group (miso)
Research interests:
- Model-Driven Software Development, model transformation, generative techniques in software development.
- Modelling, meta-modelling and domain specific (visual) languages.
- Formal methods in software engineering, foundations of software design.
- Simulation, especially agent-based simulation.
Scientific Events I'm involved in (out of date):
- I was co-chair of FASE'12 with Andrea Zisman and ICMT'12 with Zhenjiang Hu.
- 2010 2nd Int. Workshop on Visual Formalisms for Patterns VFfP'10.
Satellite event of VL/HCC'10. Madrid (Spain).
- 2010 4th Int. Workshop on Graph Based Tools GraBaTs'10.
Satellite event of ICGT 2010.
- 2011 27th IEEE Symposium on Visual Languages and Human-Centric Computing VL/HCC'11. Pittsburgh (USA).
- 2011 International Workshop and
Symposium on Applications of Graph Transformation with Industrial
Relevance AGTIVE'11 (Budapest, Hungary)
- 2011 GT-VMT, 10th International Workshop on Graph Transformation and Visual Modeling Techniques, satellite event of FASE'11.
- 2011 Fundamental Approaches to Software Engineering, FASE'11, at ETAPS, 26 March-4th April, 2011, Saarbrücken, Germany.
- 2011 International Conference on Objects, Models, Components and Patterns TOOLS Europe 2011 Zurich.
- 2011 International Conference Model Transformation ICMT 2011 Zurich.
- I'm on the steering committee of ETAPS.
Recent Past:
- AGTIVE (International Workshop and
Symposium on Applications of Graph Transformation with Industrial
Relevance): AGTIVE'07 (Kassel, Germany)
- ASE (IEEE/ACM International Conference on Automated Software Engineering): ASE'09 (Auckland,
New Zealand).
- AVI (International Working Conference on Advanced Visual Interfaces): AVI'10 (Rome),
AVI'2008 (Naples).
- ESM (European Simulation Multiconference): ESM'09, ESM'08,
ESM'2007) (Malta).
- FASE (Fundamental Approaches to Software Engineering): FASE'10 (Paphos, Cyprus).
- GT-VMT (International Workshop on Graph Transformation and Visual Modeling Techniques): GT-VMT'10 (Paphos, Cyprus),
GT-VMT'09 (York, UK), GT-VMT'08 (Co-Chair, Budapest).
- ICECCS (IEEE International Conference on Engineering of Complex Computer Systems): ICECCS'10 (Oxford).
- ICGT (International Conference on Graph Transformation): ICGT 2010 (Enschede, The Netherlands),
ICGT'2008 (Leicester, UK).
- MEDES (The International ACM Conference on Management of Emergent Digital
EcoSystems ):
MEDES'10,
MEDES'09.
- MODELS (ACM/IEEE International Conference on Model Driven Engineering Languages and Systems):
MODELS'10 (Oslo, Norway),
MODELS'09 (Denver, USA), .
- MONET (Workshop on MObile and NEtworking Technologies for social applications):
MONET'10 (Crete, Greece),
MONET'09 (Algarve, Portugal),
MONET'08 (Monterrey, Mexico),
MONET´07 (Algarve, Portugal).
- VL/HCC (IEEE Symposium on Visual Languages and Human-Centric Computing): VL/HCC'10 (Madrid),
Computing, VL/HCC 2009 (Corvallis, Oregon),
Computing, VL/HCC 2008 (Herrsching am Ammersee, Germany).
- JISBDs (Jornadas de Ingeniería del Software y Bases de Datos):
JISBD'10 (Valencia),
JISBD'09 (San Sebastián Tool
Demos chair).
- DSDM (Taller sobre Desarrollo de Software Dirigido por Modelos):
DSDM'2010 (Valencia),
DSDM'2009 (San Sebastián),
DSDM'2008 (Gijón).
DSDM'2007 (Zaragoza).
- 1st International Workshop on Visual Formalisms for Patterns, to be held at the 2009 IEEE VL/HCC 2009. Co-chair with Paolo Bottoni and Esther Guerra.
- Special Issue of Simulation:
Transactions of the SCS on "Multi-Paradigm Modeling: Concepts and
Tools". See the CFP here. Guest editor together
with Pieter Mosterman and Tihamer Levendovszky.
- CSTST'08, 5th IEEE
Int. Conference on Soft Computing as Transdisciplinary
Science and Technology, Paris.
- GRAMOT'08,
Graph and Model Transformation, Workshop at ICSE'08.
- HCI For
Emergencies Workshop at CHI 2008
(Florence).
- The fourth International Workshop on Software Language Engineering
(ATEM 2007) at MoDELS 2007.
- Co-chair of the second workshop on Multi-Paradigm
Modelling: Concepts and Tools (MPM'07) at MoDELS 2007.
- 2007 Industrial Simulation Conference, (ISC'2007),
Delft, the Netherlands.
- Simposio Nacional de Tecnologías de la
Información y
las Comunicaciones en la Educación (SINTICE'07), Zaragoza.
- I Taller sobre Procesos de Negocio e Ingeniería del
Software (PNIS'2007),
Zaragoza.
Invited Talks:
- NWPT'12: 24th Nordic Workshop on Programming Theory.
- GTVMT'12: 11th International Workshop on Graph Transformation and Visual Modeling Techniques. Joint talk with
BX'12: First international workshop on Bidirectional Transformations (satellite events of ETAPS'12).
"Inter-modelling with graph constraints: Foundations and applications" (see slides here)
- GRAPHITE'12: First Workshop on GRAPH Inspection and Traversal Engineering (satellite event of ETAPS'12).
Graph Transformation with Time for Domain-Specific Modelling and Simulation.
Ex-PhD. Students:
- Pedro Pablo Pérez Velasco. Title: "Matrix Graph
Grammars".
April 2008. See his web site about Matrix
Graph
Grammars.
- Esther
Guerra.
Title: "Especificación, Análisis y Generación de
Entornos para
Lenguajes Visuales de Dominio Específico". December
2007, co-directed with Paloma Díaz.
Research collaborations:
- I usually collaborate with the Modelling,
Simulation and Design Lab (MSDL) at the School
of Computer Science McGill
University
in Montreal (Canada), headed by Prof.
Hans Vangheluwe, where I spent a year doing postdoctoral research.
You can have a look at my
web page there.
- I have spent several periods (in 2003 and 2004) at the
Technical
University
of Berlin (Computer Science), at Institut
für Softwaretechnik und Theoretische Informatik, Theoretische
Informatik / Formale Spezifikation (TFS) group, headed by Harmut
Ehrig,
working on graph transformation and its combination with meta-modelling.
- In the area of (multi-view) Visual Languages,
meta-modelling and graph transformation, I work with Esther
Guerra from my department.
- I spent a sabbatical (academic year 2009/10) at the computer science department
of the University of York (UK), working with the group of Richard Paige.
- In the area of analysis of Visual Languages, I work with Jordi Cabot (INRIA) and Robert
Clariso (Open University of Catalonia) and Antonio Vallecillo
(Universidad de Malaga).
- In the area of Visual Languages, we work with some people
of the HCI Lab from the University of Rome "La Sapienza",
in particular with Paolo
Bottoni and Alessio
Malizia.
- In the area of modelling and simulation with DEVS, I work
with Alexandre Muzy,
from the SPE lab (Systèmes
Physiques pour l'Environnement) Università
di Corsica – Pasquale Paoli.
TOOLS:
We have built several tools at UAM, sometimes in colaboration with
other
Universities, among them (in cronological inverse order):
- MetaDepth: This is a tool for deep meta-modelling
that we are developing in the context of the MICINN project METEORIC, built in collaboration
with Esther Guerra. See its
web page here.
- PAMOMO: A tool for declarative inter-modelling, built in collaboration
with Esther Guerra. See its web page
here.
- Colouring: Set of code generators to provide support for QVT-Relations based on Coloured Petri Nets,
built in collaboration
with Esther Guerra. See its web page
here.
- MEST: (Multipactor Electron Simulation
Tool) In
the context
of a project sponsored by the European
Space
Agency, we are building a simulator to detect the occurrence of
multipactor
discharge between parallel plates. The tool uses a micro-level explicit
representation of the electrons, and includes a detailed model of
Secondary
Emission Yield in the plates.
- AToM3: AToM3 (A Tool
for
Multi-formalism
and Meta-Modelling, built in colaboration with Hans Vangheluwe, from
McGill
University) is used to describe formalisms commonly used in the
simulation
of dynamical systems, as well as to generate custom tools to process
(create,
edit, transform, simulate, optimize, ... ) models expressed in the
corresponding
formalism. AToM3 relies on meta-modelling for the
description
of the language syntax and on graph rewriting techniques and graph
grammars
to define the operational semantics, perform transformations between
formalisms
as well as for other tasks, such as code generation or optimization.
You
can find more information and download the tool here.
- OOCSMP: Together with Manuel
Alfonseca, we developed an object-oriented continuous simulation
language,
called OOCSMP (you can download the compiler from here.)
This compiler can generate Java and C++ code from the models, and also
HTML pages to include the simulation applets and create web documents.
These are some documents (courses, interactive articles, presentations)
that we have generated automatically using OOCSMP:
|
