Javier Cubo PhD in Computer Science

Name: Javier Cubo Affiliation: Software Engineering Croup (GISUM) Address: Department of Computer Science (LCC) University of Malaga (UMA) Campus de Teatinos s/n, Boulevard Louis Pasteur E.T.S. Ingenieria Informatica Malaga 29071, Spain Supervisors: Ernesto Pimentel & Carlos Canal Email: cubo [at] lcc [dot] uma [dot] es Phone: (+34) 952 13 28 46 Fax: (+34) 952 13 13 17 Web: http://www.lcc.uma.es/~cubo

News & Events Date Info Sep 19-21, 2011 ESOCC 2012 - European Conference on Service-Oriented and Cloud Computing (Bertinoro, Italy) Oct 28, 2011 WAS4FI 2011 @ ServiceWave 2011 - International Workshop on Adaptive Services for the Future Internet (Poznan, Poland) Summer 2011 Visiting Research PostDoc (Fellowship) at Department of Computer Science, University of Pisa (UNIPI) Collaboration@UNIPI: Antonio Brogi Summer 2008 Visiting Research Student (Fellowship) -click to find out my data@UCL- at Department of Computer Science (CS), University College London (UCL) Supervisor@UCL: David S. Rosenblum (currently at National University of Singapore)

Work Experience

• December 2010 - Onwards: PostDoc - Research Associate. Service-Oriented Computing, Cloud Computing, Internet of Services, Self-*.
  • Department of Computer Science (LCC) – Group of Software Engineering (GISUM) – E.T.S. Computer Science - University of Malaga – Campus de Teatinos, Bulevard Louis Pasteur s/n, CP-29071 Malaga - http://www.lcc.uma.es


• Oct 2006 - December 2010: Ph.D Student, Doctoral Fellow- Education and Science Ministry (Spain). Ph.D Student doing the Thesis in “Context-Aware Composition and Adaptation of Web Services ”. Software Composition and Adaptation, Coordination, Web Services, Process Algebra (CCS), Finite State Machine (LTS, STS), .NET 3.0 (Windows Workflow Foundation), BPEL.
  • Department of Computer Science (LCC) – Group of Software Engineering (GISUM) – E.T.S. Computer Science - University of Malaga – Campus de Teatinos, Bulevard Louis Pasteur s/n, CP-29071 Malaga - http://www.lcc.uma.es


• Oct 2004 - Oct 2006: Researcher “Torres Quevedo”, Education and Science Ministry (Spain) & European Social Fund. Support Technologies for Software Development / Analyst. Projects I+D+I about e-Health or environment of cooperative work. Software and Hardware System for Data Control and Transmission, Software Engineering in general, Multi-agent Systems, Services Web, Distributing Systems.
  • Andalusian Centre of Innovation, Information Technology, and Communications (CITIC) - 6 Marie Curie Street, Andalusian Technologic Park, E-29590 Campanillas (Malaga) - http://www.citic.es

• Jul 2003 - Dec 2003: Researcher. Support Technologies and Software Development.
  • Biotechnology Studies Group (GEB) – University of Malaga – 4 Severo Ochoa Street, Andalusian Technologic Park, E-29590 Campanillas (Malaga) - http://www.geb.uma.es


• Dec 2002 - Jun 2003: Research Support Specialist. Integration of a Control System of Electro-physiologic Register and Acquisition of Neuroscience Data – Software Development for Analysis of Neuroscience Data.
  • The Research Foundation of State University of New York – State College of Optometry – Department of Biological Sciences, Laboratory of Visual Neuroscience - 33 West 42 nd Street, New York, NY E-10036 - http://www.sunyopt.edu

Education and Training

• Oct 2006 - December 2010: Ph.D Student, Doctoral Fellow- Education and Science Ministry (Spain). Ph.D Student doing the Thesis in “Context-Aware Composition and Adaptation of Web Services ”. Software Composition and Adaptation, Coordination, Web Services, Process Algebra (CCS), Finite State Machine (LTS, STS), .NET 3.0 (Windows Workflow Foundation), BPEL.
  • Department of Computer Science (LCC) – Group of Software Engineering (GISUM) – E.T.S. Computer Science - University of Malaga – Campus de Teatinos, Bulevard Louis Pasteur s/n, CP-29071 Malaga - http://www.lcc.uma.es

• Oct 2004 - Sep 2006: European Master in the Ph.D. Program “Software Engineering and Artificial Intelligence” ("DEA"). Subjects about Software Engineering, Neuronal and Neuro-diffuse Systems, Web Services, Software Composition and Adaptation, Distributing Systems in Real Time, Coordination Langs.
  • Department of Computer Science (LCC) - E.T.S. Ingenieria Informatica – University of Malaga - http://www.informatica.uma.es


• 2004: MSc. in Computer Science. Areas such as Languages and Systems of Computers (SW Engineering,...), Computation Science (Neural Networks, Automaton,...), Artificial Intelligence (Expert System,...), ...
  • E.T.S. Ingenieria Informatica - University of Malaga - http://www.informatica.uma.es

Research Interests

• Service-Oriented Computing, Cloud Computing, Internet of Services

• Model-Based Composition and Adaptation of Components and Web Services

• Component-Based Software Engineering

• Context-Aware Systems / Self Adaptive Systems / Dynanic Reconfiguration

• Ubiquitous and Pervasive Computing

Current Research Projects

• NESSoS: Network of Excellence on Engineering Secure Future Internet Software Services and Systems (FP7-256980) (Funded by European Commision FP7-ICT-2009.14 Trustworthy ICT)


• ReSCUE: Composición de Software Fiable en Entornos Ubicuos (TIN2008-05932) (Funded by Science and Innovation Ministry - Spain)
  • (ReSCUE: Reliable Software Composition in Ubiquitous Environments)

• CAReSS: Construcción y Adaptación de Servicios Software fiables (TIN2007-67134) (Funded by Education and Science Ministry - Spain)
  • (CAReSS: Contruction and Adaptation of Reliable Software Services)

• Técnicas para la Mejorara de la Calidad de los Servicios de Internet en Telefonía Móvil (P07-TIC-03131) (Funded by Junta de Andalucia)
  • (Techniques for Improving the Quality of Internet Services in Mobile Telecommunications)

• Servicios Web: Ingeniería, Tecnologías y Arquitecturas (TIN2007-29678-E) (Funded by Education and Science Ministry - Spain)
  • (Web Services: Engineering, Technologies and Architectures)

• PICASSO: Propuesta Integrada para la CAlidad de Sistemas SOftware (P06-TIC-02250) (Funded by Junta de Andalucia)
  • (PICASSO: Integrated Proporal for the Quality of Software Sistems)

Year 2012

• Ortiz, G., Cubo, J. (editors). Adaptive Web Services for Modular and Reusable Software Development: Tactics and Solutions (pages 1-411). Book IGI Global, Release Date: September 2012.

• Cubo, J., Pimentel E. Reusing Services through Context-Aware Discovery and Adaptation in Pervasive Systems. Ortiz, G., Cubo, J. (eds.) Adaptive Web Services for Modular and Reusable Software Development: Tactics and Solutions, chapter to appear. IGI Global, 2012.

Year 2011

• Gamez, N., Cubo, J., Fuentes, L., Pimentel, E. Modeling Context-Awareness in FamiWare. International Symposium of Ubiquitous Computing and Ambient Intelligence (UCAmI’11), Mexico 2011. IEEE Computer Society, Proceedings of UCAmI'11, 2011.

• Cubo, J.,Gamez, N., Martin, J.A., Fuentes, L. Contract-Based Discovery in Sensor Web. Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS’11), Málaga (Spain). Proceedings of FLACOS'11, pages 87-96, 2011.

• Cubo, J., Pimentel, E. DAMASCo: A Framework for the Automatic Composition of Component-Based and Service-Oriented Architectures. Fifth European Conference on Software Architecture (ECSA'07), Essen (Germany) 2011. Lecture Notes in Computer Science Editorial, Springer-Verlag, vol. 6903, pages 388-404, 2011.

• Cubo, J., Canal, C., Pimentel, E. Context-Aware Composition and Adaptation Based on Model Transformation. Journal of Universal Computer Science (J.UCS), vol. 17, no. 5, pages 777-806. Graz University of Technology, 2011.

• Cubo, J., Canal, C., Pimentel, E. Model-Based Dependable Composition of Self-Adaptive Systems. Informatica (An International Journal of Computing and Informatics), vol. 35, no. 1, págs. 51-62. Slovenian Society Informatika, 2011.

• Cubo, J., Canal, C., Pimentel, E. Context-Aware Composition and Adaptation Based on Model Transformation. Proceedings of the 11th Conference on Programming and Languages (PROLE'11) - Relevant Work Dissemination Track, A Coruña (Spain) 2011 (SISTEDES'11). Servicio de Publicacións da Universidade da Coruña, pages 241-241, 2011.

Year 2010

• Cubo, J., Pimentel, E., Salaün, G., Canal, C. Handling Data-Based Concurrency in Context-Aware Service Protocols. Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'10), Paris (France) 2010 (CONCUR'10). Electronic Proceedings in Theoretical Computer Science, vol. 30, pages 62-77. CoRR, 2010.

• Cubo, J., Sama, M., Raimondi, F., Rosenblum, D. A Model to Design and Verify Context-Aware Adaptive Service Composition. Proceedings of the 15th Conference on Software Engineering and Databases (JISBD'10) - Relevant Work Dissemination Track, Valencia (Spain) 2010 (CEDI'10). LibroTeX & Grupo Editorial Garceta, pages 259-259, 2010.

• Cubo, J., Canal, C., Pimentel, E. Context-Aware Service Discovery and Adaptation Based on Semantic Matchmaking. Fifth International Conference on Internet and Web Applications and Services (ICIW'10), Barcelona (Spain) 2010. IEEE Computer Society Press, pages 554-561, 2010.

Year 2009

• Cansado A., Canal, C., Salaün, G., Cubo, J. A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation. Sixth International Workshop on Formal Aspects of Component Software (FACS'09), Eindhoven (The Netherlands) 2009. Electronic Notes in Theoretical Computer Science, vol. 263, pages 95-110. Elsevier, 2010.

• Cubo, J., Sama, M., Raimondi, F., Rosenblum, D. A Model to Design and Verify Context-Aware Adaptive Service Composition. Sixth IEEE International Conference on Services Computing (SCC'09), Bangalore (India) 2009. IEEE Computer Society Press, pages 184-191, 2009.

• Cubo, J., Salaün, G, Canal, C., Pimentel, E. A Formal Model and Composition Language for Context-Aware Service Protocols. First International Workshop on Context-Aware Software Technology and Applications (CASTA'09), Amsterdam (The Netherlands) 2009 (ESE/FSE'09). ACM Digital Library, pages 17-20, 2009.

• Cámara, J., Martín, J.A., Salaün, G, Cubo, J., Ouderni, M., Canal, C., Pimentel, E. ITACA: An Integrated Toolbox for the Automatic Composition and Adaptation of Web Services (formal demo paper). Thirty-First International Conference on Software Engineering (ICSE'09), Vancouver (Canada) 2009. IEEE Computer Society Press, pages 627-630, 2009.

Year 2008

• Cubo, J., Canal, C., Pimentel, E. Modelando la Composición y Adaptación de Servicios Web dependientes del Contexto. Actas de las Cuartas Jornadas Científico-Técnicas en Servicios Web y SOA (JSWEB'08), Sevilla (Spain) 2008. J.M. López, A. Vallecillo, A. Ruíz (Eds.), pages. 56-69, 2008

• Cubo, J., Canal, C., Pimentel, E. Supporting Context-Awareness in Adaptive Service Composition. Proceedings of the First Workshop on Autonomic and SELF-Adaptive Systems (WASELF'08), Gijón (Spain) 2008 (JISBD'08). Sistedes, pages 64-73, 2008.

• Cubo, J., Canal, C., Pimentel, E. Towards a Model-Based Approach for Context-Aware Composition and Adaptation: A Case Study using WF/.NET. Fifth International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES'08), Budapest (Hungary) 2008 (ETAPS'08) . IEEE Computer Society Press, pages 3-13, 2008.

Year 2007

• Cubo, J., Salaün, G, Canal, C., Pimentel, E., Poizat, P. A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. Fourth International Workshop on Formal Aspects of Component Software (FACS'07), Sophia-Antipolis (France) 2007. Electronic Notes in Theoretical Computer Science, vol. 215, pages 39-55. Elsevier, 2008.

• Cubo, J., Salaün, G, Canal, C., Pimentel, E., Poizat, P. Relating Model-Based Adaptation and Implementation Platforms: A Case Study with WF/.NET 3.0. Proceedings of the Twelfth International Workshop on Component Oriented Programming (WCOP'07), Berlin (Germany) 2007 (ECOOP'07). How dark should a component black-box be? Interner Bericht 2007-11, pages. 9-13, 2007.

• Cámara, J., Canal, C., Cubo, J., Murillo, J.M. Enabling Adaptivity in User Interfaces. First European Conference on Software Architecture (ECSA'07), Madrid (Spain) 2007. Lecture Notes in Computer Science Editorial, Springer-Verlag, vol. 4758, pages 106-114, 2007.

• Cubo, J., Salaün, G, Cámara, J., Canal, C., Pimentel, E. Context-Based Adaptation of Component Behavioural Interfaces. Ninth International Conference on Coordination Models and Languages (Coordination'07), Paphos (Cyprus) 2007 (DisCoTeC'07). Lecture Notes in Computer Science Editorial, Springer-Verlag, vol. 4467, pages 305-323, 2007.

Year 2006

• Cámara, J., Canal, C., Cubo, J., Murillo, J.M. AOP and Dynamic Software Adaptation. Actas del Cuarto Taller de Desarrollo de Software Orientado a Aspectos (DSOA‘06), Sitges (Spain) 2006 (JISBD'06). Informe Técnico TR 24/06. Escuela Politécnica, Universidad de Extremadura, pages 27-34, 2006.

• Brogi, A., Cámara, J., Canal, C., Cubo, J., Pimentel, E. Dynamic Contextual Adaptation. Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'06), Bonn (Germany) 2006 (CONCUR'06). Electronic Notes in Theoretical Computer Science, vol. 175(2), pages 81-95, Elsevier, 2007.

• Cámara, J., Canal, C., Cubo, J., Murillo, J.M. An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution. Special Issue of the Third International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT'06), Nantes (France) 2006 (ECOOP'06). Electronic Notes in Theoretical Computer Science, vol. 189, pages 21-34 Elsevier, 2007.

• Cámara, J., Canal, C., Cubo, J., Pimentel, E. Dynamic Adaptation Using Contextual Environments. Proceedings of the Third International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT'06), Nantes (France) 2006 (ECOOP'06). Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation, Technical Report IBISC RR 2006-03, IBISC – FRE 2873, CNRS / Université d'Évry, pages 32-35, 2006.

• Cámara, J., Canal, C., Cubo, J., Murillo, J.M. An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution. Proceedings of the Third International Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'06) , Nantes (France) 2006 (ECOOP'06). Preprint Nr. 13, pages 59-70, 2006.

Year 2005

• Cámara, J., Canal, C., Cubo, J., Vallecillo, A. Formalizing WSBPEL Business Processes using Process Algebra. Fourth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'05), San Francisco (USA) 2005 (CONCUR'05). Electronic Notes in Theoretical Computer Science, vol. 154(1), pages 159-173, Elsevier, 2006.

• Cámara, J., Canal, C., Cubo, J. Issues in the Formalization of Web Service Orchestrations. Proceedings of the Second International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT'05), Glasgow (UK) 2005 (ECOOP'05). New Issues on Coordination and Adaptation Techniques, Tr 119/2005 LaMI UMR 8042, CNRS / Université d'Évry, pages 81-88, 2005.

Year 2010

• DAMASCo: Discovery, Adaptation and Monitoring of Context-Aware Services and Components. PhD Thesis 2010. Universisty of Málaga. Supervisors: Dr. Ernesto Pimentel and Dr. Carlos Canal.

ITACA

• ITACA is a toolbox that fully supports the adaptation process, including:

  • Different methods to construct adaptation contracts involving several services.
  • Simulation and verification techniques which help to identify and correct erroneous behaviours or deadlocking executions.
  • Techniques for the generation of centralized or distributed adaptor protocols based on the aforementioned contracts.

  

  Overview of the adaptation process supported by ITACA

• Our toolbox relates our models with implementation platforms, starting with the automatic extraction of behavioural models from existing interface descriptions, until the final adaptor implementation is generated for the target platform.

DAMASCo

• DAMASCo is a framework made up a set of tools: WF2CAST, CASTS2WF (model transformation from Windows Workflow Foundation .NET to a transition system called Context-Aware Symbolic Transition System; and vice versa); CASTS2OBDD (verification of CASTS using Ordered-Binary Decision Diagram OBDD); and ConTexTive.

Overview of the DAMASCo framework

ConTexTive

• ConTexTive is a prototype tool developed in Python that implements a framework for semantic-based discovery and run-time monitoring of context-aware service protocols. This tool aims at being incorporated inside a user's device, and consists of two parts:

  • Service discovery process (SDP): semantic matching and protocol compatibility of service protocols.
  • Service monitoring engine (SME): handling of the service composition, and verification techniques to automatically check that deadlocks situations do not occur when executing protocols concurrently.

  

  Overview of the ConTexTive framework

• Our tool uses services obtained by means of ITACA using context information and OWL-S ontologies.