Ongoing Projects for Antonio Vallecillo (this page is always under construction :-)

Back to my home page

Tools, etc.

• Orchestration of ATL tranformation with Wires*
• Model and Metamodel Management with Maudeling
• Visual specification of DSL behavior using e-Motions
• Formal Specification and Analysis of DSLs using Maude (see also "Maudeling")
• A Metamodel for Maude
• UML and UWE viewpoint synchronization with reSynch
• Building correct ODP specifications with the MagicDraw v15+ plugin for RM-ODP and UML4ODP
• Visualization of Component-based Software Systems for Design Anomalies Detection with VIASCO
• Queuing Network Models (QNM) simulation (xQNM)  
• Tracts tool  
• Tracts constraint matcher 
• LinTra tools.

For further information about the tools and other resources produced by our research group, please visit the Atenea web site.

Editorial

• Member of the Editorial Board of The Journal of Object Technology .
• Member of the Editorial Board of Software and Systems Modeling (SoSym), Springer.
• Member of the Editorial Board of the Journal of Software, Academy Publisher (until Dec 2010).

Guest edited special issues :

• Special issue with the best papers of ECMFA 2012 at the SoSym journal. Guest Editors:  Juha-Pekka Tolvanen and Antonio Vallecillo.
• Special issue with the best papers of CompArch 2012 at the Science of Computer Programming journal. Guest editors: Nenad Medvidovic, Javier López, Jorge Cuellar, Bara Buhnova, Magnus Larsson and Antonio Vallecillo.
• Guest editor of the special issue with the best papers of TOOLS Europe 2011 at JOT. With Judith Bishop.
• Guest editor of the special issue on "The Reference Model of Open Distributed Processing: Foundations, Experiences and Applications". Computer Standards & Interfaces journal, 2013. With Haim Kilov, Peter Linington, José R. Romero and Akira Tanaka (CFP).
• Guest editor of the special issue of the IEEE America Latina and Novática journals with the best papers of JISBD 2009.
• Guest editor of the special issue on "Model Transformations", SoSym journal, 2009.With Alfonso Pierantonio and Jeff Gray. (Selected papers from ICMT 2008)
• Guest editor of the special issue of the  IEEE America Latina journal (Vol.6, Issue 3, July 2008) about the XI Workshop de Ingeniería de Requisitos y Ambientes de Software, IDEAS 2008. With João Falcão e Cunha.
• Guest editor of the special issue on "Theory and Practice of Model Transformations", SoSym journal, 2008.With Jean Bézivin, Alfonso Pierantonio and Jeff Gray. (selected papers from ICMT 2007)
• Guest editor of the special issue on “Model Driven Development”. UPGRADE/Novática, Vol IX, No. 2, July 2008. With G. Rossi, J. García-Molina and J. Bézivin
• Guest editor of the special issue on "Model Driven Engineering" of the IET Software journal, 2007. With Nora Koch and Geert-Jan Houben.
• Guest editor of the special issue on "Model Transformation" of the Science of Computer Programming journal, Elsevier. With Bran Selic, Alfonso Pierantonio and Jeff Gray.

Conference Organization

PC Chair of International Conferences

• PC Chair of ICSOC 2017, Málaga, Spain, November 13-16, 2017.
• PC Chair of ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012.
• PC Chair of QoSA 2012, Italy, June 24-26 2011.
• PC Chair of TOOLS Europe 2011. Zurich, June 27-1 July 2011.
• PC Chair of ICMT 2008: International Conference on Model Transformation, Zurich, Switzerland, July 2008.

PC Chair of Iberoamerican/National Conferences

• PC Chair of JISBD 2009: XIV Jornadas de Ingeniería del Software y Bases de Datos, San Sebastián, Septiembre 2009.
• PC Chair of JSWEB 2008: IV Jornadas Científico-Técnicas de Servicios Web y SOA 2008. Sevilla, Octubre 2008.
• PC Chair of IDEAS 2008: X Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes Software, Recife, Brasil, Febrero 2008.

General chair

• General Chair, ECOOP 2017. Barcelona, Spain, June 19 to 23, 2017.
• General Chair (with Jeff Gray), MODELS 2013. Miami, Florida, Sept 29 to October 4, 2013.

Organizing chair

• Organizing Chair TOOLS Federated Conferences 2010 (TOOLS Europe 2010, ICMT 2010, SC2010 y TAP2010), Málaga, 28 Junio – 2 julio 2010
• Organizing Chair of the 16th European Conference on Object-Oriented Programming (ECOOP 2002). Málaga, June 2002.
• Organizer of Model Transformation (MT2007). Track at the ACM SAC 2007 conference. Seoul, Korea, March 2007. Co-organized with Jean Bézivin, Alfonso Pierantonio and Jeff Gray.
• Organizer of Model Transformation (MT2006). Track at the ACM SAC 2006 conference. Dijon, France, April 2006. Co-organized with Jean Bézivin, and Alfonso Pierantonio.

Other roles

• Tutorials Chair at MODELS 2012, Insbruck, Austria, September 30 to October 5, 2012.
• Demo Chair at ICWE 2009: IX International Conference on Web Engineering, San Sebastián, 24-26 Junio 2009
• Dissemination Papers Chair at JISBD 2008: XIII Jornadas de Ingeniería del Software y Bases de Datos, Gijón, Oct 2007
• Workshop Chair at EDOC 2008: 12th International IEEE EDOC Conference, Munich, Sept 2008
• Publicity Chair at ICWE 2007: 7th International Conference on Web Engineering, Como, Italy, July 16-20, 2007.
• Demo chair at JISBD 2007: XII Jornadas de Ingeniería del Software y Bases de Datos, Zaragoza, Septiembre 2007.
• Workshop Chair at EDOC 2006: 10th International IEEE EDOC Conference, Hong Kong, 16-20 October 2006.
• Member of organizing chair of ESSLLI 2006: 18th European Summer School in Logic, Language and Information. Málaga, Spain 31 July-11 August, 2006.

Workshop Organization

• VAO 2013: 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling. In Conjunction with ECOOP, ECMFA and ECSA, 2 July 2013, Montpellier, France..
• MDI 2010: Model Driven Interoperabiltiy. In conjunction with MoDELS 2010. Oslo, 6 October 2010.
• MDWE 2010: Model-driven Web Engineering. In conjunction with ICWE 2010. Vienna, 5 Julio 2010
• WODPEC 2010: 6th IEEE International Workshop on ODP for Enterprise Computing. In conjunction with EDOC 2010 (“The Enterprise Computing Conference”) October 25, 2010, Vitória, Brazil.
• MDWE 2008: Workshop on Model-driven Web Engineering. In conjunction with MoDELS 2008, Tolouse, France, Sept 30 2008.
• DSDM 2007: IV Taller sobre "Desarrollo de Software Dirigido por Modelos", junto con las JISBD 2007, Zaragoza, Septiembre 2007.
• WODPEC2007: 4th International Workshop on ODP for Enterprise Computing. In conjunction with EDOC2007, October 2007, Maryland, USA.
• MDWE 2007: Workshop on Model-driven Web Engineering. In conjunction with ICWE 2007, Como, Italy, July 16, 2007.
• Model Transformation (MT2007): Track at ACM's SAC 2007, Seoul, Korea, March 11-15, 2007.
• MDWE 2006: II Workshop on Model-driven Web Engineering. In conjunction with ICWE 2006, July 10, 2006, Palo Alto, CA, USA.
• DSDM 2006: III Taller sobre "Desarrollo de Software Dirigido por Modelos, MDA y Aplicaciones", junto con las JISBD 2006, Sitges, Octubre 2006.
• Model Transformation: Track at ACM's SAC 2006, Dijon, France, April 2006.
• DSDM 2005, Taller "Desarrollo de Software dirigido por Modelos. MDA y Aplicaciones", in conjunction with JISBD 2005, Granada (Spain), September 13, 2005.
• WODPEC 2005: 2nd International Workshop on ODP for Enterprise Computing. In conjunction with EDOC 2005, September 19, 2005, Enschede, The Netherlands.
• MDWE 2005: I Workshop on Model-driven Web Engineering. In conjunction with ICWE 2005, July 26, 2005, Sydney, Australia.
• JISBD 2004, IX Jornadas de Ingeniería del Software y Bases de Datos, Málaga, 9-12 Noviembre 2004.
• DSDM 2004, Taller "Desarrollo de Software dirigido por Modelos. MDA y Aplicaciones", in conjunction with JISBD 2004, Málaga (Spain), November 9, 2004.
• NCIS 2004, Taller "Normalización y Calidad en la Ingeniería del Software", in conjunction with JISBD 2004, Málaga (Spain), November 9, 2004.
• Workshop on ODP for Enterprise Computing (WODPEC 2004), in conjunction with EDOC 2004, Monterey, California, 20 September 2004.
• IScDIS 2001, 2nd Workshop on Distributed Component-Based Software Engineering, in conjunction with JISBD 2001, Ciudad Real (Spain), November 2001.
• IScDIS 2000, 1st Workshop on Distributed Component-Based Software Engineering, in conjunction with JISBD 2000, Valladolid (Spain), November 2000.
• ECOOP'00 Workshop on Object Interoperability (WOI'00), Cannes (France), June 2000.
• ECOOP'99 Workshop on Object Interoperability (WOI'99), Lisboa (Portugal), June 1999.

ISO Meetings Organization

• Organizer of the 19th ISO/IEC JTC1 SC7 WG19 Editing Meeting, Málaga, 14-18 November 2011.
• Organizer of ISO/IEC JTC1 SC7 WG19 Editing Meetings in October 2009, April 2006, November 2004
• Organizer of ISO/IEC JTC1 SC7 WG17 Editing Meeting in September 2002.

Ongoing Research projects

• POLYCIMS: Un marco dirigido por modelos para el diseño e integración de Sistemas Inalámbricos de Gestión de Infraestructuras Críticas. MICINN Project TIN2014-52034-R. 1/1/2015 to 31/12/2018.
• Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS). EU COST Action number IC1404, 25/11/2014 to 24/11/2018.
• Work on RM-ODP

Previous:

• "SeaClouds: Seamless adaptive multi-cloud management of service-based applications". EC-FP7-ICT-610531. 1/10/2013 - 30/3/2016.
• "Sistemas Inalambricos de Gestión de Información Crítica". MEC Project TIN2011-23795. 1/1/2012-30/6/2015.
• MEC Project TIN2008-03107. "MDD-MERTS: Diseño y Monitorización Dirigido por Modelos de Sistemas Empotrados y de Tiempo Real". 1/1/2009-30/6/2012.
• MEC Project TIN2008-00889-E. "Red de Desarrollo de software dirigido por modelos (DSDM)". 01/11/2008-01/11/2011.
• JA Project P07-TIC-03184. "MOVIS: Modernización y visualización de sistemas de información complejos". 01/02/2008-31/1/2012.
• UCLM Project PAC08-0024-5991. "IVISCUS: Indicadores para la Visualización de la Calidad en Uso de Sistemas Software". 2008-2010.
• PETRI Project PET2006-0682-00. "VIASCO: Visualización de anomalías en aplicaciones software basadas en componentes". 01/12/2007-01/12/2009.
• Edition of ISO/IEC 19793, ITU-T X.906 "Use of UML for specification of ODP systems". Joint project ISO/IEC and ITU-T, 2004-2009 (mail exploder, RM-ODP resource site)
• Edition of ISO/IEC 10746-2 and ISO/IEC 10746-3 (ITU-T Rec. X.902 and X.903). Joint project ISO/IEC and ITU-T, 2006-2010 (RM-ODP resource site).
• MEC Project TIN2007-29678-E. "Red sobre Servicios Web: Ingeniería, Tecnologías y Arquitecturas Entidad financiadora". 2008-2009.
• MEC Project TIN2005-09405-C02-01. "Desarrollo de software para sistemas distribuidos P2P". 1/1/2006 - 31/12/2008.
• MEC Project TIN2006-27690-E. "Red de Líneas de Producto". 2007 - 2009.
• MEC Project TIN2005-24055-E. "Calidad del Producto y Proceso Software (CALIPSO)". 1/1/2006 - 31/12/2008.
• MEC Project TIN2006-26882-E. "Red de Maude". 1/1/2007-1/1/2009"
• MEC Project TIN2005-25866-E. "Red de Desarrollo de software dirigido por modelos (DSDM)". 6/7/2006 - 6/1/2008. (wiki)
• MDWEnet
• ISO/IEC Study Group on the revision of RM-ODP. 2004-2006. RM-ODP resource site.
• MEC Project TIC2002-04309-C02-02. "Metodologías y herramientas para el desarrollo de software basado en Componentes y Aspectos". 1/1/2003 - 31/12/2005.
• CYTED Project "WEST: Web-Oriented Software Technology" (CYTED subroyecto VII, codigo VII.18). Julio 2000 - Julio 2003. En particular, el grupo de Málaga es responsable de la Tarea 4.
• Acción Integrada "Typing the Behavior of CORBA Objects" (HP2001-0077), con la Universidad de Lisboa, Portugal. 2002-2003.
• CICYT Project TIC99-1083-C02-01. “Diseño Software basado en componentes. Metodologías y herramientas para el desarrollo de aplicaciones distribuidas” (Component-based software design. Methods and tools for the development of distributed applications). 1999-2002.
• FEDER Project 1FD-97-850. “Desarrollo de un Marco de Trabajo para la Comunicación Segura entre las Administraciones Públicas y los Ciudadanos a Través de Internet” (Development of a software framework for the secure communication between Public Administrations and citizens using the Internet). 1999-2001.
• Acción Integrada "Lenguajes y Modelos para la Interacción de Componentes Software", con la Universidad de Pisa, Italia. 1998-2000.
• CICYT Project (TIC98-1049-C02-01). “Arquitecturas Software de Sistemas Abiertos. Un enfoque basado en el paradigma de la Coordinación” (Software Architectures for Open Systems. An Approach based on Coordination). 1998-99.
• Proyecto de Innovación Educativa para la Simulación de Algoritmos Paralelos de Exploración de Grafos 
• The SC Component model. Java prototype. Documentation

Current Membership

• President of SISTEDES
• Member of the Spanish Technical Normalization Committee AEN/CTN 71/SC7 (“Ingeniería del Software y Sistemas”) of AENOR
• Member of AITO (Association Internationale pour les Technologies Objets).
• Spanish representative at ISO/IEC JTC1 SC7 –
  • WG17 (Enterprise Language) [mail exploder]
  • WG19 (Techniques for the specification of IT Systems) [mail exploder]
  • ITTF: ISO/IEC Information Technology Task Force
  • ISO Publicly Available Standards
• Spanish representative at IFIP TC-2 "Software: Theory and Practice". (see also http://ifip-tc2.net)
• Joint work with SG17, ITU-T
• UMA representative at OMG
  • ADM wiki
• Member of ATI (Asociación de Técnicos en Informática).
• Member of ALIA (Asociación de Licenciados e Ingenieros en Informática).
• Member of IASA (International Association of Software Architects)
• Member of ACM
• Member of SRII (The Service Research and Innovation Institute)

Invited courses, tutorials and talks

• La ética del Ingeniero de Pruebas: Necesidad de un código ético. Charla invitada en el Primer Congreso del Comité Español de Empresas de Pruebas Software (SSTQB). Sevilla, 16/6/2016 (slides).
• Globalizing Modeling Languages: Issues and Challenges. Talk at the Dagstuhl Seminar on The Globalization of Modeling Languages (GEMOC), Oct. 2014. Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany.
• Accountable objects: Modeling Liability in Open Distributed Systems. Invited talk at the TU Wien, Vienna, Austria, January 28, 2013 (slides).
• Formal Specification and Testing of Model Transformations. Lecture at SMF-12: 12th International School on Formal Methods: Model-Driven Engineering. Bertinoro, Italy, 18-23 June 2012.
• Performance Analysis of Domain Specific Visual Models. Keynote talk at the ICPE 2011 conference. Karlsruhe, Germany, March 2011.
• Normalización en Ingeniería del Software. Conferencia invitada en la Universidad de Almería. 15 de Diciembre de 2010.
• Assigning Meaning to Models. Talk at the MtATL 2009 Workshop. Nantes, France, 8-9 July 2009 (slides).
• Some Uses and Challenges of (Bi-directional?) Model Transformations. Talk at the GRACE International Meeting on Bi-directional Transformations. Shanon Village Center, Japan, 13-19 December 2008. (slides)
• Realizing Correspondences in Multi-viewpoint Specifications. Talk at the GRACE International Meeting on Bi-directional Transformations. Shanon Village Center, Japan, 13-19 December 2008. (slides)
• Simulation and Analysis of Domain Specific Languages. Charla invitada en la Universidad del Pais Vasco, San Sebastián, 5 Noviembre 2008. (abstract, slides)
• MDA tutorial: from a model to Web Services. Tutorial invitado en el 3rd Italian MDA Forum, Milán 21 Noviembre 2008.
• Domain Specific Modelling. Conferencia invitada en el curso de doctorado de la Universidad Rey Juan Carlos. Madrid, España, 8 de Abril de 2008 (abstract).
• UML for ODP system specifications – current status. Conferencia invitada en el 3rd International Workshop on ODP and Enterprise Computing (WODPEC 2006), Hong Kong, October 2006
• Desarrollo de software dirigido por modelos: ¿Quién quiere escribir código? Ciudad Real, Abril 2006.
• MDA: ¿mito o realidad?. II Jornadas de Ingeniería del Software. Tenerife, Diciembre 2005 (resumen, slides).
• Modelado de aplicaciones software (con MDA). Univ. Alicante, Nov. 2005.
• . ITU-T Headquarters, Geneva, October 11, 2005.
• El futuro de los servicios web. Mesa redonda en las Jornadas de Servicios Web (JSWEB 2005), Granada, Septiembre 2005.
• UML for ODP system specifications. Universidad Carlos III, Junio 2005.
• Experiencias en la medición de la calidad de los componentes software. Universidad de Castilla-La mancha, Mayo 2005.
• UML for ODP system specifications. Presentation at the CCSDS's Architecture Working Group (SAWG) meeting, Athens (Greece), April 2005.
• Using the MDA^® for Designing and Implementing Web-based Applications. Tutorial at ICWE 2004. Munich, Germany, July 26, 2004.
• Uso de MDA para el desarrollo de aplicaciones Web. Universidad de Alicante, Junio 2004.
• Calidad de Componentes Software. Universidad de Castilla-La Mancha, Ciudad Real, Junio 2004. (slides)
• Servicios Web y Model Driven Architecture (MDA). Universidad de Extremadura, Mayo 2003.
• WebServices: una tecnología para el desarrollo de aplicaciones para Internet. Universidad de Castilla la Mancha, Ciudad Real, Febrero 2002. (resumen, slides)
• Desarrollo de aplicaciones basado en componentes y frameworks. Cartagena de Indias, Colombia, Agosto 2001 (parte1: arquitecturas, parte 2: frameworks, parte 3: componentes).
• Arquitecturas software y marcos de trabajo. Universidad Carlos III, Madrid, Mayo 2001. (resumen, slides)
• Desarrollo de software basado en componentes. Tutorial en la Escuela de Verano de la Universidad de Castilla la Mancha. Ciudad Real, Junio 2000.
• Nuevos paradigmas para el desarrollo de aplicaciones distribuidas. Tutorial en SEID’99. Santiago de Compostela, Febrero 1999.

Comments to av@lcc.uma.es